The OK BDI Architecture

The design of a belief-desire-intention (BDI) architecture is presented. The architecture is defined using a unified object-based knowledge representation formalism, called the OK formalism, and a unified reasoning and acting module, called the OK rational engine. Together they form the OK BDI architecture for modeling rational agents endowed with beliefs, desires, and intentions.

[1]  Deepak Kumar.  A unified model of acting and inference , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[2]  Deepak Kumar,et al.  Acting in Service of Inference ( and vice versa ) , 1994 .

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

[4]  Charles Rich.  CAKE: an implemented hybrid knowledge representation and limited reasoning system , 1991, SGAR.

[5]  Stuart C. Shapiro,et al.  Architecture of an intelligent agent in SNePS , 1991, SGAR.

[6]  Stuart C. Shapiro,et al.  Deductive efficiency, belief revision and acting , 1993, J. Exp. Theor. Artif. Intell..

[7]  Deepak,et al.  An AI Architecture Based on Message Passing , 1993 .

[8]  Deepak Kumar.  The SNePS BDI architecture , 1996, Decis. Support Syst..

[9]  Deepak Kumar.  From beliefs and goals to intentions and actions: an amalgamated model of inference and acting , 1993 .

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

[11]  Stuart C. Shapiro.  Case studies of SNePS , 1991, SGAR.

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

[13]  M. Pollack.  Overloading Intentions for Eecient Practical Reasoning , 1991 .

[14]  James F. Allen.  The RHET system , 1991, SGAR.

[15]  Susan M. Haller,et al.  Towards a unified AI formalism , 1994, 1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.

[16]  Martha E. Pollack,et al.  Overloading Intentions for Efficient Practical Reasoning , 1991 .

[17]  Ramanathan V. Guha,et al.  The evolution of CycL, the Cyc representation language , 1991, SGAR.

[18]  Stuart C. Shapiro,et al.  A Model for Belief Revision , 1988, Artif. Intell..

[19]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[20]  M. Lynn.  Hawaii International Conference on System Sciences , 1996 .

[21]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[22]  Mark Drummond,et al.  A representation of action and belief for automatic planning systems , 1987 .

[23]  M.P. Georgeff,et al.  Procedural knowledge , 1986, Proceedings of the IEEE.

[24]  John McCarthy.  Mental Situation Calculus , 1986, TARK.

[25]  Amy L. Lansky,et al.  A Procedural Logic , 1985, IJCAI.

[26]  Stuart C. Shapiro,et al.  SNePS Considered as a Fully Intensional Propositional Semantic Network , 1986, AAAI.

[27]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.