A BDI agent programming language with failure handling, declarative goals, and planning
A BDI agent programming language with failure handling, declarative goals, and planning
复制标题
DOI：
10.1007/s10458-010-9130-9
复制
发表时间：
2011-07
影响因子：
1.9
通讯作者：
Sebastian Sardiña;L. Padgham
中科院分区：
文献类型：
--
作者：
Sebastian Sardiña;L. Padgham
Agent是一种重要的技术，它有可能取代当代分析、设计和实现复杂软件的方法。信念-愿望-意图（BDI）Agent范式已被证明是智能Agent系统的主要方法之一，无论是在学术界还是在工业界。典型的BDI面向代理的编程语言依赖于用户提供的“计划库”来实现目标，并在线选择和扩展上下文敏感的子目标。这些允许开发非常灵活和响应环境的系统，因此非常适合具有（软）实时推理和控制要求的复杂应用。尽管如此，复杂的决策制定，超越，但兼容，运行时上下文相关的计划选择是在这项技术中最自然和重要的下一步之一。在本文中，我们开发了一个典型的BDI风格的面向代理的编程语言，增强了通常的BDI编程风格与三个显着的特点：声明性目标，前瞻性规划，和故障处理。首先，为了对目标的重要属性进行推理，并将计划与这些计划旨在实现的目标脱钩，有必要对目标的程序性和声明性方面进行混合描述。第二，在许多情况下，对一种扩展选择的影响进行前瞻性审议显然是可取的，甚至是强制性的，以保证目标的可实现性，避免不希望出现的情况。最后，一个失败的处理机制，适当地集成与声明性目标和规划，是需要的，以模拟一个足够的承诺水平的目标，以及与大多数真实的BDI implementedsystems一致。
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, andonlinecontext 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, andfailure 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 BDIimplementedsystems.