Representing and reasoning about communicative conditional commitments

Authors:
Warda El Kholy;Mohamed El Menshawy;Jamal Bentahar;Hongyang Qu;Rachida Dssouli
Affiliations:
Concordia University, Montreal, PQ, Canada;Concordia University, Montreal, PQ, Canada;Concordia University, Montreal, PQ, Canada;Oxford University, London, United Kingdom;Concordia University, Montreal, PQ, Canada
Venue:
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Year:
2013

Citing 3
Cited 0

Reasoning about knowledge

Reasoning about knowledge
Semantical considerations on dialectical and practical commitments

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Communicative commitments: Model checking and complexity analysis

Knowledge-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.