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

Full description

Bibliographic Details
Corporate Author:	ScienceDirect (Online service)
Other Authors:	Bobrow, Daniel G. (Daniel Gureasko), 1935-
Format:	eBook
Language:	English
Published:	Amsterdam ; New York : Cambridge, MA : North-Holland ; Sole distributors for the U.S.A. and Canada, MIT Press, 1984.
Subjects:	Artificial intelligence. Qualitative reasoning. Intelligence artificielle. Raisonnement qualitatif. artificial intelligence. REFERENCE > Questions & Answers. Artificial intelligence Qualitative reasoning Künstliche Intelligenz Physikalisches System Qualitatives Schließen Electronic books. Aufsatzsammlung.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

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.