Table of contents

  1. Front Matter
  2. Pages 1-12
  3. Pages 33-59
  4. Pages 87-118
  5. Pages 119-144
  6. Pages 189-196
  7. Pages 197-200
  8. Back Matter

About this book


This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions.
This monograph investigates the problem of selecting adequate models for reasoning about physical systems and applications to engineering problem solving. An elegant treatment of both the theoretical and practical sides are presented: the problem is precisely formalized, its computational complexity is analyzed in detail, and an efficient algorithm for finding adequate models is derived; on the practical side, a methodology for building systems that automatically construct adequate models is provided, and implementational aspects and tests are described.


Model-Based Diagnosis Modellbasierte Diagnose Physical Systems Physikalische Systeme Qualitative Reasoning System Modelling Systemmodellierung algorithms modeling problem solving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60641-3
  • Online ISBN 978-3-540-48520-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book