UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

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

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 Green open access

[thumbnail of EFEC_LPAR_19_with_citation_annotation.pdf]
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
Downloads since deposit
143Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item