Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions

Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individual agents. These ''mentalistic'' approaches are, when applicable, very powerful, but become problematic in open environments like the Semantic Web, Peer2Peer systems and open multiagent systems populated by truly autonomous, self-interested grey- or black-box agents with limited trustability. In this work, we propose communication attitudes in form of dynamic, revisable ostensible beliefs (or opinions) and ostensible intentions as foundational means for the logical, external description of agents obtained from the observation of communication processes, in order to retain the advantages of mentalistic agent models as far as possible, but with verifiable results without the need to speculate about covert agent internals. As potential applications, communication attitudes allow for a simultaneous reasoning about the (possibly inconsistent) ''public image(-s)'' of a certain agent and her mental properties without blurring interferences, new approaches to communication language semantics, and a fine-grained, statement-level concept of trustability. As a further application of communicative attitudes, we introduce multi-source opinions and opinion bases. These allow for the computational representation of semantically heterogeneous knowledge, including the representation of inconsistent knowledge in a socially reified form, and a probabilistic weighting of possibly indefinite and inconsistent assertions explicitly attributed to different provenances and social contexts.

[1]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[2]  H. Maibom.  Social Systems , 2007 .

[3]  Matthew Richardson,et al.  Building large knowledge bases by mass collaboration , 2003, K-CAP '03.

[4]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[5]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[6]  James A. Hendler,et al.  Trust Networks on the Semantic Web , 2003, WWW.

[7]  Michael Rovatsos,et al.  Empirical-rational semantics of agent communication , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[8]  Dominique Longin,et al.  A Logical Framework for Grounding-based Dialogue Analysis , 2006, LCMAS.

[9]  Aldo Franco Dragoni,et al.  Belief Revision Through the Belief-Function Formalism in a Multi-Agent Environment , 1996, ATAL.

[10]  Gerhard Weiß,et al.  A Framework for the Social Description of Resources in Open Environments , 2003, CIA.

[11]  Frank Dignum,et al.  Issues in Agent Communication , 2000, Lecture Notes in Computer Science.

[12]  Dominique Longin,et al.  A logic of intention with cooperation principles and with assertive speech acts as communication primitives , 2002, AAMAS '02.

[13]  Michael Wooldridge,et al.  Intelligent Agents III , 1997 .

[14]  S. Brison.  The Intentional Stance , 1989 .

[15]  Gerhard Weiss,et al.  Towards Modeling the Social Layer of Emergent Knowledge Using Open Ontologies , 2004 .

[16]  Michael Rovatsos,et al.  Expectation-oriented modeling , 2005, Eng. Appl. Artif. Intell..

[17]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[18]  Xavier Parent,et al.  Conventional Signalling Acts and Conversation , 2003, Workshop on Agent Communication Languages.

[19]  Munindar P. Singh.  A Social Semantics for Agent Communication Languages , 2000, Issues in Agent Communication.

[20]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.