Download PDFOpen PDF in browser

An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future

13 pagesPublished: July 28, 2014

Abstract

We present a generalisation of the Event Calculus, specified in classical logic and implemented in ASP, that facilitates reasoning about non-binary-valued fluents in domains with non-deterministic, triggered, concurrent, and possibly conflicting actions. We show via a case study how this framework may be used as a basis for a "possible-worlds" style approach to epistemic and causal reasoning in a narrative setting. In this framework an agent may gain knowledge about both fluent values and action occurrences through sensing actions, lose knowledge via non-deterministic actions, and represent plans that include conditional actions whose conditions may be initially unknown.

Keyphrases: answer set programming, epistemic reasoning, event calculus, reasoning about action

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 75-87.

BibTeX entry
@inproceedings{LPAR-19:Epistemic_Event_Calculus_ASP,
  author    = {Jiefei Ma and Rob Miller and Leora Morgenstern and Theodore Patkos},
  title     = {An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future},
  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/sJ7},
  doi       = {10.29007/zswj},
  pages     = {75-87},
  year      = {2014}}
Download PDFOpen PDF in browser