Representing and monitoring social commitments using the event calculus
Representing and monitoring social commitments using the event calculus
复制标题
使用事件演算来表示和监控社会承诺
DOI：
10.1007/s10458-012-9202-0
复制
发表时间：
2013
影响因子：
1.9
通讯作者：
Paolo Torroni
中科院分区：
文献类型：
--
作者：
F. Chesani;P. Mello;M. Montali;Paolo Torroni
多智能体社会承诺为智能体交互提供了一个原则性的基础，并作为解决设计歧义的自然工具。事实上，十多年来，它们一直是相当多的研究对象。然而，社会承诺模式尚未被接受。为了解释这一负面结果，我们指出了一些缺陷，本文旨在解决这些缺陷。我们扩展了当前的承诺建模语言，从而利用了以前形式化所排除的表达可能性。在一阶事件演算框架中，我们提出了一种新的承诺操作公理，它适应了数据和度量时间的推理。最后，我们将说明如何利用公开可用的$${\mathcal{REC}}$实现来实现承诺监控。
Multiagent social commitments provide a principled basis for agent interactions, and serve as a natural tool to resolve design ambiguities. Indeed, they have been the subject of considerable research for more than a decade. However, the take-up of the social commitments paradigm is yet to come. To explain this negative result, we pinpoint a number of shortcomings, which this article aims to address. We extend current commitment modelling languages, thus leveraging expressive possibilities that were precluded by previous formalizations. We propose a novel axiomatization of commitment operations in a first order Event Calculus framework, that accommodates reasoning with data and metric time. Finally, we illustrate how publicly available $${\mathcal{REC}}$$ implementations can be exploited for commitment monitoring purposes.