A logic-based calculus of events
New Generation Computing
Planning for conjunctive goals
Artificial Intelligence
Intention is choice with commitment
Artificial Intelligence
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
The computational complexity of propositional STRIPS planning
Artificial Intelligence
Fast planning through planning graph analysis
Artificial Intelligence
Why interaction is more powerful than algorithms
Communications of the ACM
On agent-based software engineering
Artificial Intelligence
Deduction systems for BDI logics using sequent calculus
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Reasoning with Logic Programming
Reasoning with Logic Programming
An architecture for Real-Time Reasoning and System Control
IEEE Expert: Intelligent Systems and Their Applications
Temporal Planning with Mutual Exclusion Reasoning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Planning at the Intention Level
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference
BDI Models and Systems: Bridging the Gap
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The Computational Complexity of Agent Design Problems
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
The control of reasoning in resource-bounded agents
The Knowledge Engineering Review
On the compilability and expressive power of propositional planning formalisms
Journal of Artificial Intelligence Research
Efficient implementation of the plan graph in STAN
Journal of Artificial Intelligence Research
Mapping Mental States into Propositional Planning
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
An agent model for fault-tolerant systems
Proceedings of the 2005 ACM symposium on Applied computing
Goal generation with relevant and trusted beliefs
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Simulating socially intelligent agents in semantic virtual environments
The Knowledge Engineering Review
First principles planning in BDI systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Augmenting BDI agents with deliberative planning techniques
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Composing high-level plans for declarative agent programming
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Background sensing control for planning agents working in the real world
International Journal of Intelligent Information and Database Systems
Temporal planning in dynamic environments for mobile agents
Proceedings of the 7th International Conference on Frontiers of Information Technology
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
| Hi-index | 0.00 |
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we define a mapping from BDI mental states to propositional planning problems and from propositional plans back to mental states. In order to test the viability of such mapping, we have implemented it in an extension of a BDI agent model through the use of Graphplan as the propositional planning algorithm. The implementation was applied to model a case study of an agent controlled production cell.