
Knowledge in Action
Logical Foundations for Specifying and Implementing Dynamical Systems
Raymond Reiter(Author)
MIT Press
Published on 10. September 2001
Book
Hardback
448 pages
978-0-262-18218-8 (ISBN)
Description
Specifying and implementing dynamical systems with the situation calculus.Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community.This book presents a comprehensive treatment of these ideas, basing its theoretical and implementation foundations on the situation calculus, a dialect of first-order logic. Within this framework, it develops 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 for writing control programs for dynamical systems. Finally, it includes situation calculus specifications 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. This code is available on the book's Web site.
More details
Series
Language
English
Place of publication
Cambridge, Mass.
United States
Publishing group
MIT Press Ltd
Target group
Professional and scholarly
Interest Age: From 18 years
Product notice
Cloth over boards
Dimensions
Height: 229 mm
Width: 178 mm
Thickness: 38 mm
Weight
885 gr
ISBN-13
978-0-262-18218-8 (9780262182188)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Raymond Reiter
Knowledge in Action
Logical Foundations for Specifying and Implementing Dynamical Systems
Book
07/2001
MIT Press
€45.90
Article exhausted; check different version
Person
Raymond Reiter is Professor and Co-Director of the Cognitive Robotics Project in the Department of Computer Science at the University of Toronto.