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
Tabla de Contenidos:
  • 1. Introduction
  • 2. Logical preliminaries
  • 3. Introduction to the situation calculus
  • 4. Foundations of the situation calculus
  • 5. Implementing basic action theories
  • 6. Complex actions, procedures, and Golog
  • 7. Time, concurrency, and processes
  • 8. Exogenous actions, interrupts, and reactive Golog
  • 9. Progression
  • 10. Planning
  • 11. Sensing and knowledge
  • 12. Probability and decision theory
  • 13. Concluding remarks.

Ejemplares similares