Reasoning about social commitments in the presence of uncertainty

Interaction among autonomous agents in Multi-Agent Systems (MASs) is a key aspect for agents to coordinate with one another. Social approaches, as opposite to the mentalistic approaches, have received a considerable attention in the area of agent communication recently. They exploit observable social commitments to develop a verifiable formal semantics by which communication protocols can be specified. However, treating social commitments in stochastic systems is entirely missing in the literature. In this paper, we present a new logical language called Probabilistic Computation Tree Logic of Commitments, PCTLC for short, to specify and reason about social commitments in systems exhibiting uncertainty. The proposed modal logic extends PCTL with modalities for commitments and their fulfillments. We model MASs using two extended versions of interpreted systems to capture the probabilistic behavior of MASs, and account for the communication between the interacting agents.