Ma, J;
Miller, R;
Morgenstern, L;
Patkos, T;
(2014)
An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future.
In: Mcmillan, K and Middeldorp, A and Sutcliffe, G and Voronkov, A, (eds.)
Proceedings of the LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning.
(pp. pp. 75-87).
EasyChair
Preview |
Text
EFEC_LPAR_19_with_citation_annotation.pdf - Published Version Download (620kB) | Preview |
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.
| Type: | Proceedings paper |
|---|---|
| Title: | An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future |
| Event: | LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.29007/zswj |
| Publisher version: | https://doi.org/10.29007/zswj |
| Language: | English |
| Additional information: | This version is the version of record. For information on re-use, please refer to the publisher’s terms and conditions. |
| Keywords: | Artificial Intelligence, Answer Set Programming, Epistemic Reasoning, Event Calculus, Reasoning About Action |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL SLASH UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities > Dept of Information Studies |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10070908 |
Archive Staff Only
 |
View Item |
