ML Anthology

Commitment Tracking via the Reactive Event Calculus

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
IJCAI 2009 pp. 91-96
/ijcai/2009/chesani2009ijcai-commitment/

Abstract

Runtime commitment verification is an important, open issue in multiagent research. To address it, we build on Yolum and Singh's formalization of commitment operations, on Chittaro and Montanari's cached event calculus, and on the SCIFF abductive logic programming proof-procedure. We propose a framework consisting of a declarative and compact language to express the domain knowledge, and a reactive and complete procedure to track the status of commitments effectively, producing provably sound and irrevocable answers. Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni

PDF Semantic Scholar

Cite

Text

Chesani et al. "Commitment Tracking via the Reactive Event Calculus." International Joint Conference on Artificial Intelligence, 2009.

Markdown

[Chesani et al. "Commitment Tracking via the Reactive Event Calculus." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/chesani2009ijcai-commitment/)

BibTeX

@inproceedings{chesani2009ijcai-commitment,
  title     = {{Commitment Tracking via the Reactive Event Calculus}},
  author    = {Chesani, Federico and Mello, Paola and Montali, Marco and Torroni, Paolo},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {91-96},
  url       = {https://mlanthology.org/ijcai/2009/chesani2009ijcai-commitment/}
}