Intention is choice with commitment
Artificial Intelligence
Logic and information
Artificial Intelligence
Communication and cooperation in agent systems: a pragmatic theory
Communication and cooperation in agent systems: a pragmatic theory
A logical and operational model of scalable knowledge- and perception-based agents
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
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
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Reasoning with Logic Programming
Reasoning with Logic Programming
Belief Revision in Non-Monotonic Reasoning
EPIA '95 Proceedings of the 7th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
A Computational Approach to Situation Theory Based on Logic Programming to Design Cognitive Agents
SBIA '95 Proceedings of the 12th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues
A Deliberative and Reactive Diagnosis Agent Based on Logic Programming
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
On the Relationship Between BDI Logics and Standard Logics of Concurrency
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Intention Reconsideration Reconsidered
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
A representationalist theory of intention
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
ITS, Agents, BDI, and Affection: Trying to Make a Plan Come Together
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
ITS, Agents, BDI, and Affection: Trying to Make a Plan Come Together
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Agent Communication Language: Toward a Semantics Based on Success, Satisfaction, and Recursion
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Propositional planning in BDI agents
Proceedings of the 2004 ACM symposium on Applied computing
Mapping Mental States into Propositional Planning
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Incorporating BDI Agents into Human-Agent Decision Making Research
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Augmenting BDI agents with deliberative planning techniques
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Temporal planning in dynamic environments for P-CLAIM agents
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
GOAL agents instantiate intention logic
Logic Programs, Norms and Action
An agent-based distributed collaborative decision support system
Intelligent Decision Technologies - Various forms of intelligence
Hi-index | 0.00 |
Beliefs-Desires-Intentions models (or BDI models) of agents have been around for quit a long time. The purpose of these models is to characterize agents using anthropomorphic notions, such as mental states and actions. However, despite the fact that many systems have been developed based on these models, it is a general concern that there is a gap between those powerful BDI logics and practical systems. The purpose of this paper is to present a BDI model that, besides being a formal model of agents, is also suitable to be used to implement agents. Instead of defining a new BDI logic or choosing an existing one, and extending it with an operational model, we define the notions of belief, desires and intentions using a logic formalismthat is both well-defined and computational.