Reiter, Raymond - Knowledge in Action - Logical Foundations for
| Schrijver: | Reiter, Raymond |
|---|---|
| Titel: | Knowledge in Action - Logical Foundations for Specifying & Implementing Dynamical Systems / Logical Foundations for Specifying and Implementing Dynamical Systems |
| ISBN: | 9780262182188 |
| Taal: | Engels |
| Uitgever: | MIT Press |
| Bijzonderheden: | 2001, cloth hardcover with dust jacket, stain on dust jacket, good copy |
| Prijs: | € 37,10 |
| Verzendkosten: | € 4,20 (binnen Nederland) |
| Meer info: |
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. |
De verkoper zal binnen 3 werkdagen contact met u opnemen om de koop verder af te handelen.
Afbeeldingen (Klik om te vergroten)
