Avancerad sökning

Visar resultat 1 - 5 av 30 avhandlingar som matchar ovanstående sökkriterier.

1. 1. Efficient Temporal Reasoning with Uncertainty

   Författare :Mikael Nilsson; Patrick Doherty; Jonas Kvarnström; Félix Ingrand; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Temporal Reasoning; Dynamic Controllability; Simple Temporal Network with Uncertainty; Incremental Algorithms; Temporal Networks;

   Sammanfattning : Automated Planning is an active area within Artificial Intelligence. With the help of computers we can quickly find good plans in complicated problem domains, such as planning for search and rescue after a natural disaster. When planning in realistic domains the exact duration of an action generally cannot be predicted in advance. LÄS MER

3. 2. Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation

   Författare :Daniel de Leng; Fredrik Heintz; Patrick Doherty; Emanuele Della Valle; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; stream reasoning; stream processing; temporal reasoning; spatial reasoning; configuration planning; intelligent robotics;

   Sammanfattning : A lot of today's data is generated incrementally over time by a large variety of producers. This data ranges from quantitative sensor observations produced by robot systems to complex unstructured human-generated texts on social media. With data being so abundant, making sense of these streams of data through reasoning is challenging. LÄS MER

4. 3. Robust Stream Reasoning Under Uncertainty

   Författare :Daniel de Leng; Fredrik Heintz; Patrick Doherty; Nick Hawes; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; stream reasoning; stream processing; temporal reasoning; spatial reasoning; configuration planning; intelligent robotics;

   Sammanfattning : Vast amounts of data are continually being generated by a wide variety of data producers. This data ranges from quantitative sensor observations produced by robot systems to complex unstructured human-generated texts on social media. LÄS MER

5. 4. A Study in the Computational Complexity of Temporal Reasoning

   Författare :Mathias Broxvall; Peter Jonsson; Ulf Nilsson; Anders Haraldsson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; temporal and spatial information; artificiell intelligens; algebra; tractable fragments; temporal formalisms; formalism STP; Computer science; 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

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

   Författare :Jens Agerström; Institutionen för psykologi; []
   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