Sökning: "temporal reasoning"

Visar resultat 1 - 5 av 23 avhandlingar innehållade orden temporal reasoning.

  1. 1. A Study in the Computational Complexity of Temporal Reasoning

    Detta är en avhandling från Linköping : Linköping University Electronic Press

    Författare :Mathias Broxvall; Peter Jonsson; Ulf Nilsson; Anders Haraldsson; [2002]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; temporal and spatial information; artificiell intelligens; algebra; tractable fragments; temporal formalisms; formalism STP; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Sammanfattning : Reasoning about temporal and spatial information is a common task in computer science, especially in the field of artificial intelligence. The topic of this thesis is the study of such reasoning from a computational perspective. LÄS MER

  2. 2. Temporal Distance and Morality: Moral Concerns Loom Larger in the Distant Future

    Detta är en avhandling från Department of Psychology, Lund University

    Författare :Jens Agerström; [2009]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; moral concerns; morality; moral judgment; Construal Level Theory; temporal distance; moral reasoning;

    Sammanfattning : The aim of this dissertation was to examine whether the temporal distance of moral events affects the moral judgments and decisions people make in response to those events. Drawing upon Construal Level Theory (CLT; Trope & Liberman, 2003) which posits that the distant future is represented at a higher, more abstract level of mental construal than the near future, and that high-level mental construals shift attention to core values and higher-order principles, the main proposition of this dissertation was that people would show greater moral concerns in response to distant future events than near future events. LÄS MER

  3. 3. Extending temporal action logic

    Detta är en avhandling från Linköping : Linköpings universitet

    Författare :Joakim Gustafsson; [2001]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik 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

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

    Detta är en avhandling från Institutionen för datavetenskap

    Författare :Martin Magnusson; Patrick Doherty; John-Jules Meyer; [2007]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Temporal Action Logic; deductive planning; composite actions; interval algebra; constraint logic programming; execution monitoring; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap 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

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

    Detta är en avhandling från Linköping : Linköpings universitet

    Författare :Jonas Kvarnström; [2005]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik 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