Intention and Rationality for PRS-Like Agents

In this paper, we elaborate on our earlier work on modelling the mental states of PRS-like agents by considering the logical properties of intentions and various rationality postulates for PRS-like agents that are a consequence of this modelling, in particular Bratman's asymmetry thesis, the side effect problem for intentions and Rao and Georgeff's nontransference principles. We show that PRS-like agents do enjoy many of the accepted logical properties of intention and rationality postulates as automatic consequences of our approach, though, as we have argued before, PRS-like agents do not have intentions in the sense required by Bratman's theory.

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

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

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

[4]  Mitsuru Ishizuka,et al.  Trends in Artificial Intelligence , 1991, Lecture Notes in Computer Science.

[5]  Vaughan R. Pratt,et al.  Semantical consideration on floyo-hoare logic , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).

[6]  Michael P. Georgeff,et al.  Decision-Making in an Embedded Reasoning System , 1989, IJCAI.

[7]  Anand S. Rao,et al.  Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics , 1991, IJCAI.

[8]  Vaughan R. Pratt,et al.  SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.

[9]  Anand S. Rao,et al.  Bringing About Rationality: Incorporating Plans Into a BDI Agent Architecture , 1996, PRICAI.

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

[11]  Wayne Wobcke,et al.  Modelling PRS-Like Agents' Mental States , 2002, PRICAI.

[12]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[13]  Edmund M. Clarke,et al.  Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..

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

[15]  Wayne Wobcke,et al.  An Operational Semantics for a PRS-Like Agent Architecture , 2001, Australian Joint Conference on Artificial Intelligence.