From Message Exchanges to Communicative Acts to Commitments

TL;DR: This paper proposes a common ontology for both approaches based on public mental attitudes attributed to role instances, and illustrates how to extend the ontology to a semantics for agent communication and how to define mappings from existing semantics to the new one.

TL;DR: In this article, the authors propose a commitment-based framework for the main FIPA communicative acts and provide a semantics which overcomes some of the problems that are currently affecting the standard.

TL;DR: This paper reformalize the meta-theory underlying the FIPA semantics for agent communication, focusing on inform and propose, and shows how composed speech acts can be formalized, and extend the semantics with an account of persuasion.

TL;DR: This thesis addresses the challenges of specifying and verifying communications among autonomous and possibly heterogeneous agents by developing a new branching-time temporal logic that extends CTL with modal operators for representing and reasoning about commitments and all associated actions and develops a new symbolic model checking algorithm.

TL;DR: In this approach to software development, application programs are written as software agents, i.e. software “components” that communicate with their peers by exchanging messages in an expressive agent communication language.

TL;DR: The book shows how LORA can be used to capture many components of a theory of rational agency, including such notions as communication and cooperation.