Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Intention is choice with commitment
Artificial Intelligence
The semantics of programming languages: an elementary introduction using structural operational semantics
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
An overview of agent-oriented programming
Software agents
Hybrid planning for partially hierarchical domains
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Heterogeneous active agents, I: semantics
Artificial Intelligence
JAM: a BDI-theoretic mobile agent architecture
Proceedings of the third annual conference on Autonomous Agents
An agent-based approach for building complex software systems
Communications of the ACM
The BOID architecture: conflicts between beliefs, obligations, intentions and desires
Proceedings of the fifth international conference on Autonomous agents
IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment
Annals of Mathematics and Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
An architecture for Real-Time Reasoning and System Control
IEEE Expert: Intelligent Systems and Their Applications
An Operational Semantics for a PRS-Like Agent Architecture
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Propice-Plan: Toward a Unified Framework for Planning and Execution
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
A Planning Component for RETSINA Agents
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Programming agent deliberation: an approach illustrated using the 3APL language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Agent programming in dribble: from beliefs to goals using plans
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Detecting & exploiting positive goal interaction in intelligent agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Rational action in agent programs with prioritized goals
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
On the Semantics of Deliberation in Indigolog—from Theory to Implementation
Annals of Mathematics and Artificial Intelligence
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Applications of SHOP and SHOP2
IEEE Intelligent Systems
Semantics of declarative goals in agent programming
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 types in agent programming
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Belief revision for AgentSpeak agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Commercial applications of agents: lessons, experiences and challenges
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Making a strong business case for multiagent technology
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Goals in the context of BDI plan failure and planning
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
Suspending and resuming tasks in BDI agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Leveraging New Plans in AgentSpeak(PL)
Declarative Agent Languages and Technologies VI
First principles planning in BDI systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
The 3rd international planning competition: results and analysis
Journal of Artificial Intelligence Research
Abstract reasoning for planning and coordination
Journal of Artificial Intelligence Research
SHOP: simple hierarchical ordered planner
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Detecting & avoiding interference between goals in intelligent agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
NoA: a normative agent architecture
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Commitment and effectiveness of situated agents
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Total-order planning with partially ordered subtasks
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Planning executing sensing and replanning for information gathering
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
What robots can do: robot programs and effective achievability
Artificial Intelligence
Augmenting BDI agents with deliberative planning techniques
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Dynamics of declarative goals in agent programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
A comparison of BDI based real-time reasoning and HTN based planning
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Programming declarative goals using plan patterns
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Acting on norm constrained plans
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
An integrated formal framework for reasoning about goal interactions
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Measuring plan coverage and overlap for agent reasoning
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Revising conflicting intention sets in BDI agents
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Logical foundations for a rational BDI agent programming language
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Situational preferences for BDI plans
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Declarative planning in procedural agent architectures
Expert Systems with Applications: An International Journal
An operational semantics for the goal life-cycle in BDI agents
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
Agents are an important technology that have the potential to take over contemporary methods for analysing, designing, and implementing complex software. The Belief-Desire-Intention (BDI) agent paradigm has proven to be one of the major approaches to intelligent agent systems, both in academia and in industry. Typical BDI agent-oriented programming languages rely on user-provided "plan libraries" to achieve goals, and online context sensitive subgoal selection and expansion. These allow for the development of systems that are extremely flexible and responsive to the environment, and as a result, well suited for complex applications with (soft) real-time reasoning and control requirements. Nonetheless, complex decision making that goes beyond, but is compatible with, run-time context-dependent plan selection is one of the most natural and important next steps within this technology. In this paper we develop a typical BDI-style agent-oriented programming language that enhances usual BDI programming style with three distinguished features: declarative goals, look-ahead planning, and failure handling. First, an account that mixes both procedural and declarative aspects of goals is necessary in order to reason about important properties of goals and to decouple plans from what these plans are meant to achieve. Second, lookahead deliberation about the effects of one choice of expansion over another is clearly desirable or even mandatory in many circumstances so as to guarantee goal achievability and to avoid undesired situations. Finally, a failure handling mechanism, suitably integrated with both declarative goals and planning, is required in order to model an adequate level of commitment to goals, as well as to be consistent with most real BDI implemented systems.