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...
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | |
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.