An Event Calculus Production Rule System for Reasoning in Dynamic and Uncertain Domains

@article{Patkos2015AnEC,
  title={An Event Calculus Production Rule System for Reasoning in Dynamic and Uncertain Domains},
  author={Theodore Patkos and Dimitris Plexousakis and Abdelghani Chibani and Yacine Amirat},
  journal={TPLP},
  year={2015},
  volume={16},
  pages={325-352}
}
Action languages have emerged as an important field of Knowledge Representation for reasoning about change and causality in dynamic domains. This article presents Cerbere, a production system designed to perform online causal, temporal and epistemic reasoning based on the Event Calculus. The framework implements the declarative semantics of the underlying logic theories in a forward-chaining rule-based reasoning system, coupling the high expressiveness of its formalisms with the efficiency of… CONTINUE READING
4
Twitter Mentions

Citations

Publications citing this paper.

An event detection framework for the representation of the AGGIR variables

  • 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob)
  • 2018

References

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