To trust information sources: a proposal for a modal logical framework
Trust and deception in virtual societies
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Role-assignment in open agent societies
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A logical model of social commitment for agent communication
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The cognitive coherence approach for agent communication pragmatics
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation
Artificial Intelligence
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Commitment-based and dialogue-game-based protocols: new trends in agent communication languages
The Knowledge Engineering Review
Achieving Dynamic Interfaces with Agent Concepts
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Foundations of organizational structures in multiagent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages
IAT '05 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Protocol conformance for logic-based agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A Logical Framework for Grounding-based Dialogue Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Formulating agent communication semantics and pragmatics as behavioral expectations
AC'04 Proceedings of the 2004 international conference on Agent Communication
Organizations as socially constructed agents in the agent oriented paradigm
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Modelling flexible social commitments and their enforcement
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
A game theoretic approach to contracts in multiagent systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Security policies for sharing knowledge in virtual communities
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Dynamic semantics for agent communication languages
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Applied Ontology - Formal Ontologies for Communicating Agents
How to Program Organizations and Roles in the JADE Framework
MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
Merging Roles in Coordination and in Agent Deliberation
Agent Computing and Multi-Agent Systems
A middleware for modeling organizations and roles in jade
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Applied Ontology - Formal Ontologies for Communicating Agents
| Hi-index | 0.00 |
There are two main traditions in defining a semantics for agent communication languages, based either on mental attitudes or on social commitments. In this paper, we translate both traditions in a different approach in which the dialogue state is represented by the beliefs and goals publicly attributed to the roles played by the dialogue participants. On the one hand, this approach avoids the problems of mentalistic semantics, such as the unverifiability of private mental states. On the other hand, it allows to reuse the logics and implementations developed for FIPA compliant approaches.