Robotics, Temporal Logic and Stream Reasoning

10 pages•Published: July 28, 2014

Patrick Doherty, Fredrik Heintz and Jonas Kvarnström

Abstract

The area of AI robotics offers a set of fundamentally challenging problems when attempting to integrate logical reasoning functionality in such systems. The problems arise in part from the high degree of complexity in such architectures which include realtime behaviour, distribution, concurrency, various data latencies in operation and several levels of abstraction. For logic to work practically in such systems, traditional theorem proving, although important, is often not feasible for many of the functions of reasoning in such systems. In this article, we present a number of novel approaches to such reasoning functionality based on the use of temporal logic. The functionalities covered include, automated planning, stream-based reasoning and execution monitoring.

Keyphrases: automated planning, autonomous systems, execution monitoring, knowledge representation, stream reasoning, temporal logic, unmanned aerial vehicles

In: Ken Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors). LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol 26, pages 42-51.

Links:	https://easychair.org/publications/paper/V1C
	https://doi.org/10.29007/pmj5

BibTeX entry

@inproceedings{LPAR-19:Robotics_Temporal_Logic_Stream,
  author    = {Patrick Doherty and Fredrik Heintz and Jonas Kvarnström},
  title     = {Robotics, Temporal Logic and Stream Reasoning},
  booktitle = {LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {26},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/V1C},
  doi       = {10.29007/pmj5},
  pages     = {42-51},
  year      = {2014}}

Download PDF Open PDF in browser