Sökning: "action logic"

Visar resultat 1 - 5 av 94 avhandlingar innehållade orden action logic.

1. 1. Organiseringens logik : en studie av kommunal näringslivspolitik

   Författare :Anders Söderholm; Umeå universitet; []
   Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; municipal industrial policy; social action theory; organizing; action- processes; action-patterns; logic of action; environment focusing; individual interpretation;

   Sammanfattning : How are the processes of shaping and developing municipal industrial policies built up over time? With this basic question as the starting point, this study deals with the complex every-day life of the industrial policy makers. Policy making is believed to be constituted by actions linked together by the participants' definitions and attitudes. 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 :HUMANITIES; HUMANIORA; 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. Extending temporal action logic

   Författare :Joakim Gustafsson; Linköpings universitet; []
   Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

7. 5. TALplanner and other extensions to Temporal Action Logic

   Författare :Jonas Kvarnström; Linköpings universitet; []
   Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : Though the exact definition of the boundary between intelligent and non-intelligent artifacts has been a subject of much debate, one aspect of intelligence that many would deem essential is deliberation: Rather than reacting "instinctively" to its environment, an intelligent system should also be capable of reasoning about it, reasoning about the effects of actions performed by itself and others, and creating and executing plans, that is, determining which actions to perform in order to achieve certain goals. True deliberation is a complex topic, requiring support from several different sub-fields of artificial intelligence. LÄS MER