Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems

Raymond Reiter

ISBN 10: 0262182181 / ISBN 13: 9780262182188

Published by MIT Press, 2001

About this Item

As new copy. Black cloth boards, with an unclipped DW. A tight, bright, and clean copy with no inscriptions, no annotations/notes, and no foxing to pages. Fantastic condition book. 424pp. (18.5x23.5cm). Please contact us for any more information.

Seller Inventory # 7786

Bibliographic Details

• Title: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
• Publisher: MIT Press
• Publication Date: 2001
• Language: English
• ISBN 10: 0262182181
• ISBN 13: 9780262182188
• Binding: Hardcover
• Edition: 1st Edition
• Condition: Fine
• Weight: 1.5 kilograms
• Seller catalogs:
  • Computing

About this title

Synopsis

Modeling and implementing dynamical systems is a central problem in artificialintelligence, robotics, software agents, simulation, decision and control theory, and many otherdisciplines. In recent years, a new approach to representing such systems, grounded in mathematicallogic, has been developed within the AI knowledge-representation community.

Thisbook presents a comprehensive treatment of these ideas, basing its theoretical and implementationfoundations on the situation calculus, a dialect of first-order logic. Within this framework, itdevelops many features of dynamical systems modeling, including time, processes, concurrency,exogenous events, reactivity, sensing and knowledge, probabilistic uncertainty, and decision theory.It also describes and implements a new family of high-level programming languages suitable forwriting control programs for dynamical systems. Finally, it includes situation calculusspecifications for a wide range of examples drawn from cognitive robotics, planning, simulation,databases, and decision theory, together with all the implementation code for these examples. Thiscode is available on the book's Web site.

About the Author

Raymond Reiter is Professor and Co-Director of the Cognitive Robotics Project in the Department of Computer Science at the University of Toronto.