Formal specification of advanced AI architectures
Formal specification of advanced AI architectures
The Z notation: a reference manual
The Z notation: a reference manual
Representing and executing agent-based systems
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
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
Engagement and Cooperating in Motivated Agent Modelling
Proceedings of the First Australian Workshop on DAI: Distributed Artificial Intelligence: Architecture and Modelling
From Agent Theory to Agent Construction: A Case Study
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
A Formal Specification of dMARS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Development and Application of a Formal Agent Framework
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Interaction Protocols in Agentis
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
From definition to deployment: What next for agent-based systems?
The Knowledge Engineering Review
Agent Systems and Applications
The Knowledge Engineering Review
Formalisms for multi-agent systems
The Knowledge Engineering Review
| Hi-index | 0.00 |
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophisticated logics for reasoning about agent systems on the other. Our own view is that work on formal models of agent-based systems are valuable inasmuch as they contribute to a fundamental goal of computing of practical agent development. In an ongoing project that has been running for several years, we have sought to do exactly that through the development of a formal framework that provides a conceptual infrastructure for the analysis and modelling of agents and multi-agent systems on the one hand, and enables implemented and deployed systems to be evaluated and compared on the other. In this paper, we describe our research programme, review its achievements to date, and suggest directions for the future.