Search for dissertations about: "normative"

Showing result 1 - 5 of 589 swedish dissertations containing the word normative.

  1. 1. Norms and Alternatives : Logical Aspects of Normative Reasoning

    Author : Karl Nygren; Valentin Goranko; Dag Westerståhl; Ivano Ciardelli; Stockholms universitet; []
    Keywords : 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;

    Abstract : 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. READ MORE

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

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

    Abstract : 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. READ MORE

  3. 3. Analysing normative contracts

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

    Abstract : 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. READ MORE

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

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

    Abstract : 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. READ MORE

  5. 5. The Collective Archives of Mind : An Exploration of Reasons from Metaethics to Social Ontology

    Author : Gloria Mähringer; Praktisk filosofi; []
    Keywords : HUMANIORA; HUMANITIES; Reasons Fundamentalism; constitutivism; constructivism; realism; error theory; domain of reasons; self-determination; normative harmony; normative instability; disruption of thought; normative transformation; social ontology; critical realism; affordances of thought; reason relations; collective archive;

    Abstract : This monograph discusses the question of what it is to be a reason – mainly in practical ethics – and proposes an original contribution to metaethics.It critically examines theories of metaethical realism, constructivism and error theory and identifies several misunderstandings or unclarities in contemporary debates. READ MORE