Text

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

---

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.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

: Cambridge, Mass. : MIT Press,., 2001

Collation

-

Language

English

ISBN/ISSN

9780262282314

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

1

Subject(s)

COMPUTER SCIENCE/Artificial Intelligence

Specific Detail Info

-

Statement of Responsibility

Reiter, Raymond.

Other Information

Cataloger

Suwardi

Source

https://direct.mit.edu/books/book/2080/Knowledge-in-ActionLogical-Foundations-for

Validator

Suwardi

Digital Object Identifier (DOI)

https://doi.org/10.7551/mitpress/4074.001.0001

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment