Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems | 
 enlarge | Author: Raymond Reiter
Publisher: The MIT Press
Category: Book
List Price: $60.00
Buy New: $49.99
You Save: $10.01 (17%)
New (7) Used (3) from $49.99
Rating:  1 reviews
Sales Rank: 891201
Media: Hardcover
Pages: 448
Number Of Items: 1
Shipping Weight (lbs): 2
Dimensions (in): 9.4 x 7.1 x 1.1
ISBN: 0262182181
Dewey Decimal Number: 006.332
EAN: 9780262182188
Publication Date: September 1, 2001
Availability: Usually ships in 1-2 business days
Shipping: International shipping available
Condition: Brand new item. Over 3.5 million customers served. Order now. Selling online since 1995. Few left in stock - order soon. Code: M20080813113714T
| |
| Similar Items:
|
| Editorial Reviews:
Product Description
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.
|
| Customer Reviews:
Must read for everyone interested in AI or philosophy June 29, 2004
Randall Helzerman (campbell, ca)
7 out of 8 found this review helpful
It is rare that a book appears which presents a solution to a major outstanding problem. It is even rarer when a book presents a solution which is both theoretically sound and undeniably practical. But this is such a book. The frame problem, which went unnoticed for the first 70 years of logic, and unsolved for the next 30, here gets a solution.This book is the distillation of Reiter's lifeswork. Unlike many other such books, however, it is not a mere cut-n-paste of conference papers and tech reports. Instead of being a pastiche, it is rather a continuous, sustained argument, persuasively and clearly presented. A masterpiece. There is something here to infuriate everybody. Those who think that AI shouldn't be using logic-based methods will be infuriated because Reiter has here, for the first time, made them work. Those who think that first-order logic is the only true logic will be infuriated, because Reiter shows how 2nd order logic is key. Those who think that AI is too theoretical will be infuriated because this is a practical book. Those who think that AI shouldn't worry about being practical will be infuriated, because Reiter has shown that the best theory leads to the most practical solution. Those who are LISP fans will be infuriated because his methods lead inexorably to PROLOG. Read the book, be infuriated by it, and humbly learn from it. The master speaks. If you've made it to this web page or this far in the review, you have to buy and read this book :-)
|
|
|
