Reasoning About Knowledge and Action in an Epistemic Event Calculus
Ross Miller, Leora Morgenstern, Theodore Patkos · 2013
We present a generalization of classical-logic Event Calculus that facilitates reasoning about non-binary-valued fluents in domains with non-deterministic, triggered, concurrent, and possibly conflicting actions. We show 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 or events, and represent plans that include conditional actions whose conditions maybe initially unknown.