20% off all books with the code: BOOKS
  • check 10+ million books
  • check New arrivals every day
  • check Trusted by 1M+ customers
  • check Great prices & discounts
  • check Shipping across Europe

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

English
2001-07-27
€71.72 €89.65

-20% with code BOOKS

In stock at our supplier

Shipping in 15-21 days

30-day return policy

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-representa ... Full description

You May Also Like

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 Information

Author Raymond Reiter
Publisher MIT Press
Release year 2001
Cover type Softcover
EAN 9780262527002
Write Your Own Review
You're reviewing: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
Your Rating:

Goodreads Reviews

€71.72 €89.65