## Reasoning about Rational Agents (Google eBook) |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

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

### Popular passages

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.

Page 214 - HJ Levesque, F. Lin, D. Marcu, R. Reiter, and RB Scherl. Foundations of a logical approach to agent programming. In M. Wooldridge, JP Müller, and M.

Page 214 - HJ Levesque, PR Cohen, and JHT Nunes. On acting together. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pages 94-99, Boston, MA, 1990.