TY - BOOK ID - 1716956 TI - Reasoning about rational agents PY - 2000 SN - 0262232138 9780262232135 0262257238 1423725514 9780262257237 9780262515566 9781423725510 PB - Cambridge London : MIT Press, DB - UniCat KW - Computer architecture. Operating systems KW - Legal theory and methods. Philosophy of law KW - Intelligent agents (Computer software) KW - Computer Science KW - Engineering & Applied Sciences KW - Intelligent agents (Computer software). KW - Agents, Autonomous (Computer software) KW - Agents, Cognitive (Computer software) KW - Agents, Intelligent (Computer software) KW - Assistants, Cognitive (Computer software) KW - Assistants, Intelligent software KW - Autonomous agents (Computer software) KW - Cognitive agents (Computer software) KW - Cognitive assistants (Computer software) KW - IAs (Computer software) KW - Intelligent agent software KW - Intelligent software agents KW - Intelligent software assistants KW - Software agents (Computer software) KW - Special agents (Computer software) KW - Artificial intelligence KW - Computer programs KW - E-books KW - COMPUTER SCIENCE/Robotics & Agents UR - https://www.unicat.be/uniCat?func=search&query=sysid:1716956 AB - 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. ER -