Reasoning About Communication - A Practical Approach Based on Empirical Semantics

Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can operate on such a specification is a very important one. In open systems, the problem is complicated even further by the fact that adherence to such a supposedly agreed specification cannot be ensured on the side of other agents. In this paper, we present an architecture for dealing with communication patterns that encompass both a surface structure of admissible message sequences as well as logical constraints for their application. This architecture is based on the InFFrA social reasoning framework and the concept of interaction frames. It assumes an empirical semantics standpoint by which the meaning of communication is pragmatically interpreted through decision-theoretic optimality considerations of ing agent. We introduce the abstract architecture and a formal model and present experimental results from a ...

• Type: Conference
• Year: 2004
• Where: CIA
• Authors: Felix A. Fischer, Michael Rovatsos
• Keywords: Admissible Message Sequences, CIA 2004, Decision-theoretic Optimality Considerations, Empirical Semantics Standpoint