Sökning: "action logic"
Visar resultat 1 - 5 av 94 avhandlingar innehållade orden action logic.
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
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
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
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
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