Intention is choice with commitment
Artificial Intelligence
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Communications of the ACM
A semantics approach for KQML—a general purpose communication language for software agents
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Controlling cooperative problem solving in industrial multi-agent systems using joint intentions
Artificial Intelligence
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Towards a fault-tolerant multi-agent system architecture
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Denotational semantics for agent communication language
Proceedings of the fifth international conference on Autonomous agents
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
Agent Communication Languages: The Current Landscape
IEEE Intelligent Systems
Principles of Trust for MAS: Cognitive Anatomy, Social Importance, and Quantification
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Verifiable Semantics for Agent Communication Languages
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Computationally Grounded Theories of Agency
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Model Checking Rational Agents
IEEE Intelligent Systems
Belief revision for AgentSpeak agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
IEEE Transactions on Computers
Journal of Artificial Intelligence Research
Using Jason to implement a team of gold miners
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Agent-Oriented programming with underlying ontological reasoning
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
ELMS: an environment description language for multi-agent simulation
E4MAS'04 Proceedings of the First international conference on Environments for Multi-Agent Systems
A general framework for parallel BDI agents in dynamic environments
Web Intelligence and Agent Systems
Norm-based behaviour modification in BDI agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions)
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A computational semantics for communicating rational agents based on mental models
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Ontology reasoning in agent-oriented programming
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Methodology for engineering affective social applications
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Annals of Mathematics and Artificial Intelligence
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Agent-driven integration architecture for component-based software development
Transactions on Computational Collective Intelligence VIII
Declarative planning in procedural agent architectures
Expert Systems with Applications: An International Journal
Towards benchmarking actor- and agent-based programming languages
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services
Web Intelligence and Agent Systems
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services
Web Intelligence and Agent Systems
Hi-index | 0.00 |
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communication have several serious disadvantages as a foundation for communication in artificial agent systems. In particular, it has proved to be extremely difficult to give a satisfactory semantics to speech-act based agent communication languages. In part, the problem is that speech-act semantics typically make reference to the "mental states" of agents (their beliefs, desires, and intentions), and there is in general no way to attribute such attitudes to arbitrary computational agents. In addition, agent programming languages have only had their semantics formalised for abstract, stand-alone versions, neglecting aspects such as communication primitives. With respect to communication, implemented agent programming languages have tended to be rather ad hoc. This paper addresses both of these problems, by giving semantics to speech-act based messages received by an AgentSpeak agent. AgentSpeak is a logic-based agent programming language which incorporates the main features of the PRS model of reactive planning systems. The paper builds upon a structural operational semantics to AgentSpeak that we developed in previous work. The main contributions of this paper are as follows: an extension of our earlier work on the theoretical foundations of AgentSpeak interpreters; a computationally grounded semantics for (the core) performatives used in speech-act based agent communication languages; and a well-defined extension of AgentSpeak that supports agent communication.