Cargando…

Commonsense reasoning /

To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. I...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Mueller, Erik T.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; Boston : Elsevier Morgan Kaufmann, ©2006.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • The event calculus
  • The effects of events
  • The triggering of events
  • The commonsense law of inertia
  • Indirect effects of events
  • Continuous change
  • Concurrent events
  • Nondeterministic effects of events
  • Space
  • The mental states of agents
  • Default reasoning
  • The discrete event calculus reasoner
  • Applications
  • Logics for commonsense reasoning
  • Nonlogical methods for commonsense reasoning.