Sökning: "Normative system"

Visar resultat 1 - 5 av 171 avhandlingar innehållade orden Normative system.

1. 1. Norm-Regulation of Agent Systems : Instrumentalizing an algebraic approach to agent system norms

   Författare :Magnus Hjelmblom; Magnus Boman; Jan Odelstad; Kim Solin; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Agent System; Norm-regulated; Norm-governed; Normative MAS; Normative Positions; Normative system; Transition system; Computer and Systems Sciences; data- och systemvetenskap;

   Sammanfattning : An architecture for norm-regulated multi-agent systems based on an algebraic approach to normative systems is instrumentalized and further developed. The core of the instrumentalization is a Prolog module, which together with a Java library can be used for creating client/server-based runtime systems. LÄS MER

3. 2. Norms and Alternatives : Logical Aspects of Normative Reasoning

   Författare :Karl Nygren; Valentin Goranko; Dag Westerståhl; Ivano Ciardelli; Stockholms universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; alternative semantics; norms; normative systems; deontic logic; modal logic; inquisitive semantics; inquisitive logic; semantics of questions; disjunction; free choice; obligation; permission; action; normative reasoning; ignorance; axiomatic system; completeness; Philosophy; filosofi;

   Sammanfattning : In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deontic logic concerns the logical aspects of normative reasoning. In particular, it concerns reasoning about what is required, allowed and forbidden. I focus on two main issues: free-choice reasoning and the role of norms in deontic logic. LÄS MER

4. 3. Analysing normative contracts : On the semantic gap between natural and formal languages

   Författare :John J. Camilleri; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; contract analysis; controlled natural language; formal methods; timed automata; model checking;

   Sammanfattning : Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions of the penalties which must be payed when the main norms are violated. We encounter such texts frequently in our daily lives in the form of privacy policies, software licenses, and service agreements. LÄS MER

5. 4. Analysing normative contracts

   Författare :John J. Camilleri; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; timed automata; model checking; contract analysis; formal methods; controlled natural language;

   Sammanfattning : Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions of the penalties which must be payed when the main norms are violated. We encounter such texts frequently in our daily lives in the form of privacy policies, software licenses, and service agreements. LÄS MER

7. 5. Normstödjande strukturer : Miljötematiken börjar slå rot i skolan

   Författare :Per Wickenberg; Rättssociologiska institutionen; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; schools; environmental education; lifeworld; very dedicated actors souls of fire ; environment; sustainable development; advanced practice; system; phronesis; normative action; norm supporting structures; law; sociology of law; Sociology; act on education; learning for sustainability; norm; teachers; Agenda 21; Sociologi; rättssociologiska enheten;

   Sammanfattning : This thesis explores the various influence processes that take place in connection with the dawn of a new theme - the environment - in today's society. Society has declared that schools, a place designed for the intentional influence of children and youths, shall utilise the new environmental theme in its practice. LÄS MER