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
An architecture for mobile BDI agents
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
ViP: a visual programming language for plan execution systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
Ten Commandments of Formal Methods
Computer
Motivational Attitudes of Agents: On Desires, Obligations, and Norms
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Semantics of BDI Agents and Their Environment
PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues
A Formal Specification of dMARS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Operational Semantics of Multi-agent Organizations
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
From definition to deployment: What next for agent-based systems?
The Knowledge Engineering Review
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Mapping Mental States into Propositional Planning
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Programming Mobile Intelligent Agents: An Operational Semantics
IAT '04 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Information and Computation
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Commercial applications of agents: lessons, experiences and challenges
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A General Framework for Parallel BDI Agents
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A Model-Theoretic Analysis Of Knowledge: Preliminary Report
SFCS '84 Proceedings of the 25th Annual Symposium onFoundations of Computer Science, 1984
An unified framework for programming autonomous, intelligent and mobile agents
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Agent oriented software engineering with INGENIAS
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
A practical agent programming language
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Learning in BDI multi-agent systems
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
A comparison of BDI based real-time reasoning and HTN based planning
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Suitability assessment framework of agent-based software architectures
Information and Software Technology
| Hi-index | 0.00 |
Agent-Oriented Software Engineering (AOSE) poses several challenges to the traditional theory and practice of software engineering with the emergence of a variety of theories and tools proposed to deal with this challenge. Agent frameworks with formal foundations have an important role to play in this scenario by allowing analysis based on a mathematical model. It is our contention that the available frameworks and languages do not fulfil all aspects of agent-based system analysis and development. We perform a survey of the available formal theories and tools for Multi-Agent Systems (MAS) and derive a strong motivation for a new formal framework to support AOSE. Several aspects of agent behaviour in this framework have been inspired by the popular Belief-Desire-Intention (BDI) model of cognitive agents. The new framework introduced concisely in the second half tackles the issues raised in the first half, including those regarding mobility, proactive behaviour, organisation and inter-agent communication.