What people are saying - Write a review
We haven't found any reviews in the usual places.
accessibility relations achieve Achvs action expression affairs agent control loop agent's beliefs Artificial Intelligence assume attempt axiom axiomatization Barcan formula basic BDI logic BDI model belief revision belief-desire-intention Can0 capture chapter characterize COKA commitment component computer science consider the following correspondence COTiA decision theory defined definition deliberation denote desires developed dynamic logic E-Bel environment epistemic logic example execution FIPA first-order logic formal formula schema function Georgeff goal group of agents hearer implement inform intentional stance intentions interpretation Intuitively J-Can KQML M-Bel g means-ends reasoning mental meta-language modal connectives modal operators multiagent systems multimodal logics mutual belief normal modal logic options path formula path quantifier perform possible worlds potential for cooperation practical reasoning predicate programming language proof property of rational rational agents reactive systems represent request satisfied semantics simply speech acts structure techniques temporal logic THEOREM true Wooldridge
Page 218 - AS Rao and MP Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473-484.