Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (The MIT Press) - Tapa blanda

Reiter, Raymond

 
9780262527002: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (The MIT Press)
Tapa blanda
ISBN 10: 0262527006 ISBN 13: 9780262527002
Editorial: MIT Press, 2001

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Raymond Reiter is Professor and Co-Director of the Cognitive Robotics Project in the Department of Computer Science at the University of Toronto.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
MIT Press
Año de publicación
2001
Idioma
Inglés
ISBN 10 
0262527006
ISBN 13 
9780262527002
Encuadernación
Tapa blanda
Número de páginas
445
Contacto del fabricante
no disponible
Persona responsable
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  0262182181 ISBN 13:  9780262182188
Editorial: MIT Press, 2001
Tapa dura