Qualitative reasoning about physical systems: An introduction

摘要

This volume brings together current work on qualitative reasoning. Previous publication has been primarily in scattered conference proceedings. The appearance of this volume 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, from heat flow, to transistors, to digital computation. Anyone concerned with automated reasoning about the real (physical) world should read and understand this material.