Reasoning about Rational Agents

Front Cover
MIT Press, Jan 1, 2003 - Computers - 241 pages
0 Reviews

This book focuses on the belief-desire-intention (BDI) model of rational agents, which recognizes the primacy of beliefs, desires, and intentions in rational action.

One goal of modern computer science is to engineer computer programs that can act as autonomous, rational agents; software that can independently make good decisions about what actions to perform on our behalf and execute those actions. Applications range from small programs that intelligently search the Web buying and selling goods via electronic commerce, to autonomous space probes. This book focuses on the belief-desire-intention (BDI) model of rational agents, which recognizes the primacy of beliefs, desires, and intentions in rational action. The BDI model has three distinct strengths: an underlying philosophy based on practical reasoning in humans, a software architecture that is implementable in real systems, and a family of logics that support a formal theory of rational agency.The book introduces a BDI logic called LORA (Logic of Rational Agents). In addition to the BDI component, LORA contains a temporal component, which allows one to represent the dynamics of how agents and their environments change over time, and an action component, which allows one to represent the actions that agents perform and the effects of the actions. The book shows how LORA can be used to capture many components of a theory of rational agency, including such notions as communication and cooperation.

 

What people are saying - Write a review

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

Contents

Rational Agents
1
The BeliefDesire Intention Model
21
Introduction LORA
47
LOKA Defined
69
Properties of Rational Agents
91
Collective Mental States
113
Communication
125
operat Cooperation
147
Logic and Agent Theory
163
Summary of Notation
179
Formal Foundations
181
References
205
Index
223
Copyright

Other editions - View all

Common terms and phrases

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.

References to this book

All Book Search results »

About the author (2003)

Ronald C. Arkin is Professor and Director of the Mobile Robot Laboratory, College of Computing, Georgia Institute of Technology.

Bibliographic information