A flexible architecture for autonomous agents

A generic architecture for autonomous agents is presented. In common with other current proposals the agent is capable of reacting to and reasoning about events which occur in its environment, executing actions and plans in order to achieve goals in its environment, and communicating with other agents. The work described here proposes certain advances on other systems, notably the ability to reason about and make decisions under uncertainty, including decisions about competing beliefs and alternative actions. The framework is grounded in a non-classical decision model, the ‘domino’ model. This is formalized to ensure continuity with classical decision theory and avoid ad hoc features. The domino model is embodied in a well-defined knowledge representation language, R2L, which explicitly supports the central concepts of decisions and plans, and associated constructs of goals, arguments, commitments, obligations and constraints. The availability of such a language provides a sound basis for building knowled...

[1]  Joseph Y. Halpern,et al.  A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft , 1985, IJCAI.

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

[3]  Yoav Shoham,et al.  Temporal Logics in AI: Semantical and Ontological Considerations , 1987, Artif. Intell..

[4]  S. I. Herbert.  Informatics for care protocols and guidelines: towards a European knowledge model. , 1995, Studies in health technology and informatics.

[5]  M. Howard Williams,et al.  A Path Finding Method for Constraint Checking in Deductive Databases , 1989, Data Knowl. Eng..

[6]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[7]  John Fox,et al.  A Unified Framework for Hypothetical and Practical Reasoning (2): Lessons from Medical Applications , 1996, FAPR.

[8]  Hemant K. Bhargava,et al.  Editor's introduction to the special issue on logic modeling , 1994, Decis. Support Syst..

[9]  J C Wyatt,et al.  Safety and Decision Support in Oncology , 1994, Methods of Information in Medicine.

[10]  J. Hintikka.  Knowledge and belief , 1962 .

[11]  N. Malcolm.  On Knowledge and Belief , 1954 .

[12]  John Fox,et al.  A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations , 1996, FAPR.

[13]  D. McDermott.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[14]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[15]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[16]  John Fox,et al.  Qualitative frameworks for decision support: lessons from medicine , 1992, The Knowledge Engineering Review.

[17]  John Fox,et al.  A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY , 1995, Comput. Intell..

[18]  Lloyd Humberstone,et al.  Interval semantics for tense logic: Some remarks , 1979, Journal of Philosophical Logic.

[19]  P Taylor.  Decision Support for Image Interpretation: A Mammography Workstation , 1995 .

[20]  Joseph Y. Halpern,et al.  “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.

[21]  Yoav Shoham.  Agent-Oriented Programming , 1993, Artif. Intell..

[22]  Brian A. Haugh,et al.  Non-Standard Semantics for the Method of Temporal Arguments , 1987, IJCAI.

[23]  Paul Krause,et al.  Representing Uncertain Knowledge , 1993, Springer Netherlands.

[24]  Nicholas R. Jennings,et al.  Cooperation in Distributed Medical Care , 1994 .

[25]  S. K. Das,et al.  A logical reasoning with preference , 1995, Decis. Support Syst..

[26]  Subrata Kumar Das,et al.  Deductive Databases and Logic Programming , 1992 .

[27]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[28]  Andrew B. Whinston,et al.  NEW IDEAS IN DECISION SUPPORT , 1981 .

[29]  Nancy G Leveson,et al.  Software safety: why, what, and how , 1986, CSUR.

[30]  Lawrence J. Henschen,et al.  On the use and internal structure of logic-based decision support systems , 1985, Decis. Support Syst..

[31]  J. Fox,et al.  On the soundness and safety of expert systems , 1993, Artif. Intell. Medicine.

[32]  Jacques Wainer.  Yet another Semantics of Goals and Goal Priorities , 1994, ECAI.

[33]  Dominic A. Clark,et al.  Representing uncertain knowledge - an artificial intelligence approach , 1993 .

[34]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[35]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[36]  Peter Hammond,et al.  Managing tasks using an interval-based temporal logic , 1996, Applied Intelligence.

[37]  John Fox,et al.  Decision making and plan management by autonomous agents: theory, implementation and applications , 1997, AGENTS '97.

[38]  K P Jones,et al.  Guidelines on the management of asthma. , 1993, Thorax.

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

[40]  Johan van Benthem,et al.  The Logic of Time , 1983 .

[41]  Timothy W. Bickmore,et al.  A basic agent , 1990, Comput. Intell..

[42]  Yoav Shoham,et al.  A propositional modal logic of time intervals , 1991, JACM.

[43]  Herbert Si.  Informatics for care protocols and guidelines: towards a European knowledge model. , 1995 .

[44]  Hans Weigand,et al.  Specifying Dynamic and Deontic Integrity Constraints , 1989, Data Knowl. Eng..

[45]  John Fox,et al.  Arguments, Contradicitions and Practical Reasoning , 1992, ECAI.