“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Intention is choice with commitment
Artificial Intelligence
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Formal specification of advanced AI architectures
Formal specification of advanced AI architectures
The Z notation: a reference manual
The Z notation: a reference manual
A practical approach to software engineering using Z and the refinement calculus
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
This is MYWORLD: the logic of an agent-oriented DAI testbed
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Using Z for network modelling: an industrial experience report
Computer Standards & Interfaces - Special issue on formal description techniques
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
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
Belief-desire-intention agent architectures
Foundations of distributed artificial intelligence
JAM: a BDI-theoretic mobile agent architecture
Proceedings of the third annual conference on Autonomous Agents
Communicating sequential processes
Communications of the ACM
Understanding agent systems
The B Language and Method: A Guide to Practical Formal Development
The B Language and Method: A Guide to Practical Formal Development
Communication and Concurrency
Specification Case Studies
An architecture for Real-Time Reasoning and System Control
IEEE Expert: Intelligent Systems and Their Applications
A profile of the Australian Artificial Intelligence Institute
IEEE Expert: Intelligent Systems and Their Applications
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Experiences with PiZA, an Animator for Z
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Combining Statecharts and Z for the Design of Safety-Critical Control Systems
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
From Agent Theory to Agent Construction: A Case Study
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Formal Semantics for an Abstract Agent Programming Language
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Paradigma: Agent Implementation through Jini
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
A Specification of the Soar Cognitive Architecture in Z
A Specification of the Soar Cognitive Architecture in Z
Practical and theoretical innovations in multi-agent systems research
The Knowledge Engineering Review
Formalisms for multi-agent systems
The Knowledge Engineering Review
A Manifesto for Agent Technology: Towards Next Generation Computing
Autonomous Agents and Multi-Agent Systems
An agent model for fault-tolerant systems
Proceedings of the 2005 ACM symposium on Applied computing
A Logging-Based Approach for Building More Robust Multi-agent Systems
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Decision support for ethical problem solving: A multi-agent approach
Decision Support Systems
Modeling adaptive multi-agent organizations for naval missions
AIKED'06 Proceedings of the 5th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases
Integrating Social Commitment-Based Communication in Cognitive Agent Modeling
Agent Communication II
Engineering Societies in the Agents World VIII
Leveraging New Plans in AgentSpeak(PL)
Declarative Agent Languages and Technologies VI
Building more robust multi-agent systems using a log-based approach
Web Intelligence and Agent Systems
Modelling intelligent agents for autonomic computing in the PNagent framework
International Journal of Autonomic Computing
Framework for model-based design of multi-agent systems
International Journal of Autonomic Computing
Reasoning intra-dependency in commitments for robust scheduling
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Knowledge Management to Support Situation-aware Risk Management in Autonomous, Self-managing Agents
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
A Correlation-Driven Reactive Layer for Situation-Aware BDI Agent Architecture
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
An approach based on BDI architecture for space occupation
CIT'09 Proceedings of the 3rd International Conference on Communications and information technology
Composing high-level plans for declarative agent programming
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Distributed traffic signal control approach based on multi-agent
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 5
ANGLE: An autonomous, normative and guidable agent with changing knowledge
Information Sciences: an International Journal
Abstract mental descriptions for agent design
Intelligent Decision Technologies
Evaluation of virtual agents utilizing theory of mind in a real time action game
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A multiagent architecture for controlling the Palamede satellite
Web Intelligence and Agent Systems
A framework of cognitive situation modeling and recognition
MILCOM'06 Proceedings of the 2006 IEEE conference on Military communications
Evaluating probability of default: Intelligent agents in managing a multi-model system
Expert Systems with Applications: An International Journal
A BDI agent programming language with failure handling, declarative goals, and planning
Autonomous Agents and Multi-Agent Systems
Dialectical theory for multi-agent assumption-based planning
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Reasoning with the outcomes of plan execution in intentional agents
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Achieving competence by argumentation on rules for roles
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Characterising agents' behaviours: selecting goal strategies based on attributes
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Weaving a fabric of socially aware agents
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Programming MAS with artifacts
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Artificial Intelligence
Formal modelling of agents acting under artificial emotions
Proceedings of the Fifth Balkan Conference in Informatics
Modeling social groups in crowds using common ground theory
Proceedings of the Winter Simulation Conference
Declarative planning in procedural agent architectures
Expert Systems with Applications: An International Journal
Formal modeling of robot behavior with learning
Neural Computation
Communicating open systems (extended abstract)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault diagnosis on the space shuttle to air traffic management and business process control. The theory of PRS-like systems has also been widely studied: within the intelligent agents research community, the belief-desire-intention (BDI) model of practical reasoning that underpins PRS is arguably the dominant force in the theoretical foundations of rational agency. Despite the interest in PRS and BDI agents, no complete attempt has yet been made to precisely specify the behaviour of real PRS systems. This has led to the development of a range of systems that claim to conform to the PRS model, but which differ from it in many important respects. Our aim in this paper is to rectify this omission. We provide an abstract formal model of an idealised dMARS system (the most recent implementation of the PRS architecture), which precisely defines the key data structures present within the architecture and the operations that manipulate these structures. We focus in particular on dMARS plans, since these are the key tool for programming dMARS agents. The specification we present will enable other implementations of PRS to be easily developed, and will serve as a benchmark against which future architectural enhancements can be evaluated.