Goal generation in the BOID architecture

In this paper we consider goal generation in cognitive agent architectures. We show how goal generation can be described in terms of interaction between mental attitudes biased by agent types such as realistic, social, selfish and stable. We introduce a generic BOID architecture and agent type specific BOID architectures, in which goals are generated from conditional beliefs, obligations, intentions and desires. We implement the BOID architectures by relating conditional mental attitudes to components, goal generation to extension construction, and agent types to constraints on priority functions.

[1]  F. Dignum,et al.  Deliberate Normative Agents: Principles and Architectures , 1999 .

[2]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[3]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[4]  Mehdi Dastani,et al.  BDI and QDT: a comparison based on classical decision theory , 2001 .

[5]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

[6]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[7]  Thomas Eiter,et al.  Preferred Answer Sets for Extended Logic Programs , 1999, Artif. Intell..

[8]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

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

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

[11]  B. V. Fraassen.  Values and the Heart's Command , 1973 .

[12]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[13]  F. Dignum,et al.  From Desires, Obligations and Norms to Goals , 2002 .

[14]  B. Hansson.  An analysis of some deontic logics , 1969 .

[15]  Nicholas R. Jennings,et al.  The Cooperative Problem-solving Process , 1999, J. Log. Comput..

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

[17]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[18]  Frank Dignum,et al.  Towards socially sophisticated BDI agents , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[19]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[20]  Mehdi Dastani,et al.  Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires , 2001, ECSQARU.

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

[22]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[23]  Leon van der Torre,et al.  Contrary‐to‐duty reasoning with preference‐based dyadic obligations , 1999, Annals of Mathematics and Artificial Intelligence.

[24]  F. S. deBoer.  Agent Programming in 3APL , 1999 .

[25]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[26]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[27]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[28]  Mehdi Dastani,et al.  What is a joint goal? Games with beliefs and defeasible desires , 2002, NMR.

[29]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

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

[31]  Roel Wieringa,et al.  Deontic logic in computer science: normative system specification , 1994 .

[32]  Leon van der Torre,et al.  Utilitarian Desires , 2002, Autonomous Agents and Multi-Agent Systems.

[33]  Guido Boella,et al.  A Game Theoretic Approach to Norms and Agents , 2001 .

[34]  Barbara Dunin-Keplicz,et al.  Collective Intentions , 2002, Fundam. Informaticae.

[35]  John F. Horty,et al.  Moral dilemmas and nonmonotonic logic , 1994, J. Philos. Log..