Ex-Library Book - will contain Library Markings. Book has appearance of light use with no easily noticeable wear. Bookseller Inventory #
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.
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.
Title: Knowledge in Action: Logical Foundations for...
Publisher: The MIT Press
Book Condition: Very Good
Book Description Book Condition: Very Good. Book Condition: Very Good. Bookseller Inventory # 97802621821883.0
Book Description The MIT Press, 2001. Hardcover. Book Condition: Good. Item may show signs of shelf wear. Pages may include limited notes and highlighting. Includes supplemental or companion materials if applicable. Access codes may or may not work. Connecting readers since 1972. Customer service is our top priority. Bookseller Inventory # mon0000688893
Book Description The MIT Press, 2001. Hardcover. Book Condition: Used: Like New. Bookseller Inventory # Sq1312
Book Description The MIT Press 2001-09-01, 2001. Hardcover. Book Condition: good. 0262182181. Bookseller Inventory # 701836
Book Description MIT Press. Book Condition: New. Brand New. Bookseller Inventory # 0262182181
Book Description The MIT Press, 2001. Hardcover. Book Condition: Used: Very Good. Bookseller Inventory # SONG0262182181
Book Description Book Condition: Good. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. Bookseller Inventory # Amz4782498
Book Description Book Condition: Good. Book Condition: Good. Bookseller Inventory # 97802621821884.0
Book Description The MIT Press, 2001. Hardcover. Book Condition: Very Good. Bookseller Inventory # P020262182181
Book Description The MIT Press, 2001. Hardcover. Book Condition: New. Bookseller Inventory # P110262182181