Download PDFOpen PDF in browser

Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions

6 pagesPublished: March 25, 2013

Abstract

In a recent paper, Baumann et al. provided a comprehensive framework for default reasoning in action theories. Yet, the approach was only defined for a very basic class of domains where all actions have only unconditional, local effects. In this paper, we show that the framework can be substantially extended to domains with action effects that are conditional (i.e. are context-sensitive to the state in which they are applied) and non-local (i.e. the range of effects is not pre-determined by the action arguments). Notably, these features can be carefully added without sacrificing important nice properties of the basic framework, such as modularity of domain specifications or the existence of default extensions. In the last part of the paper, we demonstrate how (a subclass of) the framework can be straightforwardly implemented using the answer set programming paradigm.

Keyphrases: answer set programming, non monotonic reasoning, reasoning about actions and change

In: Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors). LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning., vol 13, pages 58-63.

BibTeX entry
@inproceedings{LPAR-17-short:Default_Reasoning_Action_Domains,
  author    = {Hannes Strass and Michael Thielscher},
  title     = {Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions},
  booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
  editor    = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
  series    = {EPiC Series in Computing},
  volume    = {13},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/dD},
  doi       = {10.29007/xz7v},
  pages     = {58-63},
  year      = {2013}}
Download PDFOpen PDF in browser