A logic-based calculus of events
New Generation Computing
Logics of time and computation
Logics of time and computation
Intention is choice with commitment
Artificial Intelligence
Artificial Intelligence
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Dynamic Logic
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Belief Revision Through the Belief-Function Formalism in a Multi-Agent Environment
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Empirical-Rational Semantics of Agent Communication
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Applied Ontology - Formal Ontologies for Communicating Agents
Time and Defeasibility in FIPA ACL Semantics
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
A modal framework for relating belief and signed information
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Applied Ontology - Formal Ontologies for Communicating Agents
An obligation-based framework for web service composition via agent conversations
Web Intelligence and Agent Systems
Hi-index | 0.00 |
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.