Wyniki wyszukiwania - BazTech

1

Sytuacje konfliktowe reprezentowane za pomocą grafów prostych

Pomykała J. A.

Studia Bezpieczeństwa Narodowego

|

2017

|

R. 7, Nr 12

377--392

PL

W pracy rozważam klasyfikację sytuacji konfliktowych za pomocą grafów prostych. Motywacją dla proponowanego podejścia jest potrzeba zaprojektowania i budowy systemów i agencji antyterrorystycznych uwzględniających nowe rodzaje zagrożeń. Celem jest także przewidywanie przyszłych konfliktów w Europie i w innych miejscach. Przeciwdziałanie konfliktom jest również ważnym zadaniem teorii. Uzyskane wyniki można uważać za początek budowy modelu konfliktów społecznych.

EN

In this article the author considers the classification of conflict situations described by simple graphs. Motivation for the proposed approach is based on the constructions of antiterrorist systems and agencies. It is also very important to foresee future conflicts in Europe and in other places. My results are in the starting point for the model of conflicts situations in the society.

2

Miasto – „oikos” – dom

Cichy-Pazder E. M.

Środowisko Mieszkaniowe

|

2013

|

nr 11

74--79

PL

Przyjmując za Arystotelesem, że miasto to ludzie różnego rodzaju, miasto jutra- to w moim przekonaniu „miasto dla ludzi”. Miasto tworzone na miarę i potrzeby człowieka, którego przestrzenne ramy tworzą szeroką ofertę dla realizacji potrzeb społecznych . Opracowanie dotyczy zatem bycia i życia człowieka w przestrzeni miejskiej i jej doświadczania wielozmysłowego wyrażonego w społecznych zachowaniach. Badania, dotyczą potencjalnego oddziaływania atrybutów, sytuacji i zakresów przestrzennych na motywacje, wybory, aktywności i kontakty społeczne. Mają też na celu zwiększenie zainteresowanie architektów tym problemem.

EN

Aristotle treated the city as a collection of various people. In my opinion, tomorrow’s city is “a city for the people”, a city created for human qualities and needs whose spatial frames produce a broad offer for the realization of social demand. Therefore, this paper concerns man’s existence and residence in an urban space and its sensory experience expressed in social behaviours. My research concerns the potential impact of spatial attributes, situations and scopes on social motivations, choices, activities and contacts. It also aims at increasing architects’ interest in this problem.

3

Formalizing context in intuitionistic type theory

Boldini P.

Fundamenta Informaticae

|

2000

|

Vol. 42, Nr 2

105-127

EN

The article discusses formal aspects of the notion of context as needed in AI applications. We advocate the use of Martin-Löf's intuitionistic type theory to formalize and implement contexts. Through many examples belonging to the domains of computational semantics and knowledge based systems, we show that the built-in notion of context in intuitionistic type theory is a structure rich enough for representing most of the features that characterize contexts in an AI perspective. The fact that many recent theorem provers are built on the different theories of types suggests new perspectives in the development of AI applications.