An Extension of BDICTL with Functional Dependencies and Components

This paper discusses the formal specification of properties that determine the behavior of component based BDI agents, i.e. classical BDI agents in which the mental attitudes are conditional and represented by interconnected components. Some properties, such as realism and commitment strategies, have already been discussed in the BDI literature and can be formally specified by for example Rao and Georgeff's BDICTL formalism. Other properties are specific to component based cognitive agents and cannot be specified by existing BDICTL formalisms. We focus here on the so-called functional dependencies between mental attitudes where a mental attitude is considered to be a function of one or more other mental attitudes. To formally specify the properties of functional dependencies we extend Rao and Georgeff's BDICTL formalism. In particular, for functional dependencies we introduce 'only belief', 'only desire'and 'only intend' operators in the tradition of Levesque's 'all I know' operator, and for components we distinguish between 'belief in' and 'belief out', 'desire in' and 'desire out', and 'intention in' and 'intention out' operators. We show how our extended formalism can be used to specify functionality properties such as conservativity, monotonicity, and self-boundedness, as well as properties related to the connections between and control of the components.

[1]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[2]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[3]  Klaus Schild.  On the Relationship Between BDI Logics and Standard Logics of Concurrency , 1998, ATAL.

[4]  Catholijn M. Jonker,et al.  Principles of component-based design of intelligent agents , 2002, Data Knowl. Eng..

[5]  C. E. Alchourrón,et al.  Philosophical foundations of deontic logic and the logic of defeasible conditionals , 1994 .

[6]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[7]  Mehdi Dastani,et al.  The BOID architecture: conflicts between beliefs, obligations, intentions and desires , 2001, AGENTS '01.

[8]  Jan Treur,et al.  Semantic formalization of interactive reasoning functionality , 2002, Int. J. Intell. Syst..

[9]  Jan Treur,et al.  Declarative Functionality Descriptions of Interactive Reasoning Modules , 1991, PDK.

[10]  Klaus Schild.  On the Relationship Between BDI Logics and Standard Logics of Concurrency , 2004, Autonomous Agents and Multi-Agent Systems.

[11]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[12]  Mehdi Dastani,et al.  Conflicts Between Beliefs, Obligations, Intentions and Desires , 2001 .

[13]  Richmond H. Thomason,et al.  Desires and Defaults: A Framework for Planning with Inferred Goals , 2000, KR.

[14]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[15]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic , 1998, J. Log. Lang. Inf..

[16]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[17]  Mehdi Dastani,et al.  Specifying the Merging of Desires into Goals in the Context of Beliefs , 2002, EurAsia-ICT.

[18]  Mehdi Dastani,et al.  Realistic desires , 2002, J. Appl. Non Class. Logics.

[19]  Anand S. Rao,et al.  The Semantics of Intention Maintenance for Rational Agents , 1995, IJCAI.