Representing and reasoning about communicative conditional commitments
Representing and reasoning about communicative conditional commitments
复制标题
表达和推理交际条件承诺
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
R. Dssouli
中科院分区：
文献类型：
--
作者：
W. E. Kholy;M. El;J. Bentahar;Hongyang Qu;R. Dssouli
社会承诺提供了一个强大的表示建模多代理交互，而不放弃部分代理的自主性和灵活性。然而，尚未考虑区分不同但相关类型的有条件承诺，这是社会承诺的一个自然框架。在本文中，我们定义了一个新的逻辑语言，CTLcc，扩展CTL的方式来表示有条件的承诺和他们的履行使用解释系统的形式主义。这样的语言排除了困扰文献中履行承诺语义的悖论。我们提出了一套规则来推理有条件的承诺及其履行。
Social commitments provide a powerful representation for modeling multi-agent interactions without relinquishing part of agents autonomy and flexibility. However, distinguishing between different but related types of conditional commitments, a natural frame of social commitments, is not considered yet. In this paper, we define a new logical language, CTLcc, which extends CTL with modalities to represent conditional commitments and their fulfillments using the formalism of interpreted systems. Such a language excludes the paradox that plagues the semantics of fulfilling commitments in the literature. We present a set of rules to reason about conditional commitments and their fulfillments.