Cargando…

Qualitative reasoning about physical systems /

This volume brings together current work on qualitative reasoning. Its publication reflects the maturity of qualitative reasoning as a research area and the growing interest in problems of reasoning about physical systems. The papers present knowledge bases for a number of very different domains, in...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Bobrow, Daniel G. (Daniel Gureasko), 1935-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : Cambridge, MA : North-Holland ; Sole distributors for the U.S.A. and Canada, MIT Press, 1984.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Qualitative reasoning about physical systems / D.G. Bobrow
  • A qualitative physics based on confluences / J. de Kleer and J.S. Brown
  • Qualitative process theory / K.D. Forbus
  • Commonsense reasoning about causality / B. Kuipers
  • How circuits work / J. de Kleer
  • Qualitative analysis of MOS circuits / B.C. Williams
  • Diagnostic reasoning based on structure and behavior / R. Davis
  • The use of design descriptions in automated diagnosis / M.R. Genesereth
  • VERIFY, a program for proving correctness of digital hardware designs / H.G. Barrow.