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
Theory for coordinating concurrent hierarchical planning agents using summary information
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Evaluating new options in the context of existing plans
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
An architecture for Real-Time Reasoning and System Control
IEEE Expert: Intelligent Systems and Their Applications
Agent Programming with Declarative Goals
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Knowledge, action, and the frame problem
Artificial Intelligence
ECASL: a model of rational agency for communicating agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Hierarchical planning in BDI agent programming languages: a formal approach
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Goal Change in the Situation Calculus*
Journal of Logic and Computation
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Agent programming with temporally extended goals
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Abstract reasoning for planning and coordination
Journal of Artificial Intelligence Research
Dynamic interactions between goals and beliefs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Detecting & avoiding interference between goals in intelligent agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Planning as model checking for extended goals in non-deterministic domains
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A logical framework for prioritized goal change
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A BDI agent programming language with failure handling, declarative goals, and planning
Autonomous Agents and Multi-Agent Systems
SR-APL: a model for a programming language for rational BDI agents with prioritized goals
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Prioritized goals and subgoals in a logical account of goal change – a preliminary report
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |
To provide efficiency, current BDI agent programming languages with declarative goals only support a limited form of rationality --- they ignore other concurrent intentions of the agent when selecting plans, and as a consequence, the selected plans may be inconsistent with these intentions. In this paper, we develop logical foundations for a rational BDI agent programming framework with prioritized declarative goals that addresses this deficiency. We ensure that the agent's chosen declarative goals and adopted plans are consistent with each other and with the agent's knowledge. We show how agents specified in our language satisfy some key rationality requirements.