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 develope...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Reiter, Raymond
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, Mass. : MIT Press, ©2001.
©2001
Temas:
Knowledge representation (Information theory)
Expert systems (Computer science)
Logic, Symbolic and mathematical.
Information theory.
Logic.
Information Theory
Expert Systems
Logic
Représentation des connaissances.
Systèmes experts (Informatique)
Logique symbolique et mathématique.
Théorie de l'information.
Logique.
logic.
COMPUTERS > Expert Systems.
Information theory
Logic, Symbolic and mathematical
Kennisrepresentatie.
Logisch programmeren.
COMPUTER SCIENCE/Artificial Intelligence
Acceso en línea:Texto completo
Descripción
Sumario: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.
Descripción Física:1 online resource (xvi, 424 pages) : illustrations
Bibliografía:Includes bibliographical references (pages 409-418) and index.
ISBN:9780262282314
0262282313
0585448302
9780585448305
0262182181
9780262182188
0262527006
9780262527002

Ejemplares similares