Reasoning About Knowledge and Action in an Epistemic Event Calculus

@inproceedings{Miller2013ReasoningAK,
  title={Reasoning About Knowledge and Action in an Epistemic Event Calculus},
  author={Rob Miller and Leora Morgenstern and Theodore Patkos},
  year={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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-9 OF 9 CITATIONS

A Demo for Smart City Operation Center

VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Situation Calculus for Multiple Action Representation

  • CompSysTech
  • 2017
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 41 REFERENCES