Search for dissertations about: "logic of action"

Showing result 1 - 5 of 73 swedish dissertations containing the words logic of action.

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

  4. 2. Extending temporal action logic

    Author : Joakim Gustafsson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : An autonomous agent operating in a dynamical environment must be able to perform several "intelligent" tasks, such as learning about the environment, planning its actions and reasoning about the effects of the chosen actions. For this purpose, it is vital that the agent has a coherent, expressive, and well understood means of representing its knowledge about the world. READ MORE

  5. 3. The Resilience of Diplomacy : Adaptation and Continuity of Diplomatic Practice in Crises

    Author : August Danielson; Anna Michalski; Ludvig Norman; Frédéric Mérand; Uppsala universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; diplomacy; practices; European Union; G20; crises; international organizations; Statskunskap; Political Science;

    Abstract : In this thesis, I study how crises impact diplomatic norms and practices. Diplomacy plays a fundamental role in enabling peaceful and constructive relations between states. READ MORE

  6. 4. Deductive Planning and Composite Actions in Temporal Action Logic

    Author : Martin Magnusson; Patrick Doherty; John-Jules Meyer; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Temporal Action Logic; deductive planning; composite actions; interval algebra; constraint logic programming; execution monitoring; Computer science; Datalogi;

    Abstract : Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the application of temporal constraint solvers. READ MORE

  7. 5. Lefschetz Properties of Monomial Ideals

    Author : Nasrin Altafi; Mats Boij; Alicia Dickenstein; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Weak Lefschetz property; monomial ideals; group actions; almost linear resolution; Mathematics; Matematik;

    Abstract : This thesis concerns the study of the Lefschetz properties of artinian monomial algebras. An artinian algebra is said to satisfy the strong Lefschetz property if multiplication by all powers of a general linear form has maximal rank in every degree. If it holds for the first power it is said to have the weak Lefschetz property (WLP). READ MORE