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

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

by Raymond Reiter
     
 

View All Available Formats & Editions

Specifying and implementing dynamical systems with the situation calculus.  See more details below

Overview

Specifying and implementing dynamical systems with the situation calculus.

Product Details

ISBN-13:
9780262182188
Publisher:
MIT Press
Publication date:
09/01/2001
Pages:
448
Product dimensions:
7.00(w) x 9.00(h) x 1.25(d)
Age Range:
18 Years

What People are saying about this

Johan van Benthem
This book is a masterful integration of several decades of work on first-order logic, situation calculus, logic programming, and semantics of time and knowledge. The result is a unified, well-thought-out, and systematic approach to dynamical systems that spans much of modern computer science and AI.

John McCarthy
This book describes a thoroughly developed logic- and situation-calculus-based system for problem solving and planning. Its emphasis on theory is especially important for the ambitious student who wants to look beyond immediate applications toward the goal of human-level artificial intelligence.

From the Publisher
"Human cognition sparkles brightest in the theatre of communication. This book takes you there the 'Edinburgh Way': that is, with a sound mix of psychology, logic, linguistics, computer science, and always-lively philosophical debate."—Johan van Benthem, University ofAmsterdam

"This book is a masterful integration of several decades of work on first-order logic, situation calculus, logic programming, and semantics of time and knowledge. The result is a unified, well-thought-out, and systematic approach to dynamical systems that spans much of modern computer science and AI."—Johan van Benthem, University of Amsterdam

"This book describes a thoroughly developed logic- and situation-calculus-based system for problem solving and planning. Its emphasis on theory is especially important for the ambitious student who wants to look beyond immediate applications toward the goal of human-level artificial intelligence."—John McCarthy, Professor Emeritus of Computer Science, StanfordUniversity

"This outstanding work should be on the shelf of anyone concerned with logical control of physical processes."—Anil Nerode, Goldwin Smith Professor of Mathematics, CornellUniversity

Anil Nerode
This outstanding work should be on the shelf of anyone concerned with logical control of physical processes.

Read More

Meet 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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >