Commitment Tracking via the Reactive Event Calculus
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence. Pages 91-95.
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
@inproceedings{ijcai2009p26,
title = {Commitment Tracking via the Reactive Event Calculus},
author = {Chesani, Federico and Mello, Paola and Montali, Marco and Torroni, Paolo},
booktitle = {Proceedings of the Twenty-First International Joint Conference on
Artificial Intelligence, {IJCAI-09}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Hiroaki Kitano},
pages = {91--95},
year = {2009},
url = {https://ijcai.org/proceedings/2009/26},
}
TY - CPAPER TI - Commitment Tracking via the Reactive Event Calculus AU - Chesani, Federico AU - Mello, Paola AU - Montali, Marco AU - Torroni, Paolo T2 - Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09 PB - International Joint Conferences on Artificial Intelligence PY - 2009 SP - 91 EP - 95 UR - https://ijcai.org/proceedings/2009/26 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
