Temporary Store Closure, Keep Supporting Online!

We are currently closed until further notice due to COVID-19.

PLEASE keep supporting us so we can be here for you for years to come. Here is an easy way:

 

https://bookshop.org/shop/page2books

 

Order through this link, support Page 2 Books, and have your books shipped directly to your front door.

Note: Make sure you type the ENTIRE address in, or we will not receive credit for your purchase!

 

You can also support us through purchasing audiobooks at Libro.fm

https://libro.fm/page2books

You are here

Back to top

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

Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems Cover Image
$52.00
Usually Ships in 1-5 Days

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.


Product Details
ISBN: 9780262527002
ISBN-10: 0262527006
Publisher: MIT Press
Publication Date: July 27th, 2001
Pages: 446
Language: English