Intention is choice with commitment
Artificial Intelligence
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
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Agent-oriented software engineering: the state of the art
First international workshop, AOSE 2000 on Agent-oriented software engineering
The Design of Intelligent Agents: A Layered Approach
The Design of Intelligent Agents: A Layered Approach
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Autonomous Agents and Multi-Agent Systems
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Emotions and Personality in Agent Design and Modeling
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Formalizing a Language for Institutions and Norms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Issues in Multiagent System Development
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Semantics of declarative goals in agent programming
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Modal logic investigations in the semantics of counts-as
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A dialogue game to offer an agreement to disagree
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Optimal communication vocabularies and heterogeneous ontologies
AC'04 Proceedings of the 2004 international conference on Agent Communication
Enacting and deacting roles in agent programming
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Dynamics of declarative goals in agent programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Dynamic logic for plan revision in intelligent agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
A compositional semantics of plan revision in intelligent agents
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Programming deliberative agents for mobile services: the 3APL-M platform
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Verifying norm compliancy of protocols
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Hi-index | 0.00 |
Although there is a lot of theory around about cognitive agents since the seminal work by researchers such as Bratman, Cohen & Levesque and Rao & Georgeff practice of programming ’truly’ cognitive agents is still in its infancy. Of course, several architectures have been proposed and even occasionally been implemented, and there is a prospect of many potential applications of agent-based systems, but is there a truly systematic way of programming agents with cognitive / mental attitudes such beliefs, desires, intentions, goals, plans, commitments, emotions...? We believe that for this dedicated agent-oriented languages are needed. A number of these have been developed in the last decade or so. But programming in them is still hard. Is there a methodology for agent-oriented programming? Can one structure agent programs better making use of cognitive notions? And how to verify that an agent program is correct? And how is this combined with programming multi-agent systems and agent societies where coordination of these autonomous agents and more generally social notions such as norms seem most important? In this paper a number of the issues related to programming cognitive (multi) agents will be discussed on the basis of work done in Utrecht around the agent language 3APL.