Search for dissertations about: "logic of action"
Showing result 1 - 5 of 73 swedish dissertations containing the words logic of action.
-
1. Norms and Alternatives : Logical Aspects of Normative Reasoning
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. Extending temporal action logic
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
-
3. The Resilience of Diplomacy : Adaptation and Continuity of Diplomatic Practice in Crises
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
-
4. Deductive Planning and Composite Actions in Temporal Action Logic
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
-
5. Lefschetz Properties of Monomial Ideals
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