Wyniki wyszukiwania - Biblioteka Nauki

1

A Norm-Giver Meets Deontic Action Logic

100%

Trypuz R. , Kulicki P.

Logic and Logical Philosophy

|

2011

|

tom 20

|

nr 1-2

59-72

EN

In the paper we present a formal system motivated by a specific methodology of creating norms. According to the methodology, a norm- giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of them. The set of norms created for each situation should respect (1) generally valid deontic principles being the the- ses of our logic and (2) facts from the ontology of action whose relevance for the systems of norms we postulate.

2

Formalizing context in intuitionistic type theory

75%

Boldini P.

Fundamenta Informaticae

|

2000

|

tom 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.

3

Sytuacje konfliktowe reprezentowane za pomocą grafów prostych

51%

Pomykała J. A.

Studia Bezpieczeństwa Narodowego

|

2017

|

tom 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.

4

Технології професійної підготовки студентів Педагогічного Університету до соціально-правової діяльності під час лекційних занять

38%

Kowczina I.

Zeszyty Naukowe Uczelni Warszawskiej im. Marii Skłodowskiej-Curie

|

2014

|

nr 1(43)

105-120

UK

У статті розглядаються проблемні питання технологій професійної підготовки студентів – соціальних педагогів до соціально-правової діяльності під час лекційних занять. На прикладі викладання дисципліни «Основи соціально-правового захисту особистості» автор показує, яким чином підготувати майбутнього фахівця до професійної роботи. Лекція «Соціально-правова діяльність у притулках для неповнолітніх» поділяється на чотири етапи, на кожному з яких студент засвоює певну кількість інформації. По ходу викладання визначаються понятійні терміни та ключові елементи. У статті наводяться експериментальні дані констатувального характеру. Подається аналіз проблемних ситуацій, з якими стикаються соціальні педагоги у практичній роботі.

EN

The article deals with issues of technology training of students - social workers for social and legal activities during lectures. On the example of teaching "Principles of social and legal protection of the individual," the author shows how to prepare the future professional to professional work. Lecture "Social-legal work in shelters for minors "is divided into four stages each of which the student learns a certain amount of information. In the course of teaching defined conceptual terms and key elements. The article presents experimental data. The analysis of problem situations faced by educators in social practice.

PL

Artykuł zajmuje się problematyką kształcenia studentów – przyszłych pracowników socjalnych do działań społecznych i prawnych. Na przykładzie nauczania “Zasad ochrony socjalnej i prawnej jednostki”, autorka, pokazuje, jak przygotować się w przyszłości do pracy zawodowej. Wykład “Praca socjalna i prawna w schroniskach dla nieletnich” jest podzielony na cztery etapy, z których każdy student uczy się pewnej ilości informacji.

5

Miasto – „oikos” – dom

38%

Cichy-Pazder E. M.

Środowisko Mieszkaniowe

|

2013

|

tom 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.