Sökning: "temporal reasoning"
Visar resultat 6 - 10 av 31 avhandlingar innehållade orden temporal reasoning.
6. Extending temporal action logic
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
7. Deductive Planning and Composite Actions in Temporal Action Logic
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
8. Algorithms and Complexity for Temporal and Spatial Formalisms
Sammanfattning : The problem of computing with temporal information was early recognised within the area of artificial intelligence, most notably the temporal interval algebra by Allen has become a widely used formalism for representing and computing with qualitative knowledge about relations between temporal intervals. However, the computational properties of the algebra and related-formalisms are known to be bad: most problems (like satisfiability) are NP-hard. LÄS MER
9. TALplanner and other extensions to Temporal Action Logic
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
10. Aktör och struktur i historieundervisning. Om utveckling av elevers historiska resonerande
Sammanfattning : Historical reasoning is the organizing of information about the past in order to describe, compare, and/or explain historical phenomena. In this study I investigate the ability to reason historically in terms of agent and structure in an educational context. LÄS MER
