{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T18:51:52Z","timestamp":1767034312431,"version":"build-2065373602"},"reference-count":86,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444522115"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1016\/s1574-6526(07)03010-6","type":"book-chapter","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T16:06:55Z","timestamp":1221235615000},"page":"395-465","source":"Crossref","is-referenced-by-count":20,"title":["Chapter 10 Model-based Problem Solving"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(07)03010-6_bib001","volume":"34","author":"Biswas","year":"2005","journal-title":"IEEE SMC Transactions, Part B"},{"key":"10.1016\/S1574-6526(07)03010-6_bib002","doi-asserted-by":"crossref","DOI":"10.1049\/ise.1993.0002","article-title":"A model-based approach to fault localization in power transmission networks","volume":"2","author":"Beschta","year":"1993","journal-title":"Intelligent Systems Engineering"},{"key":"10.1016\/S1574-6526(07)03010-6_bib003","doi-asserted-by":"crossref","DOI":"10.1017\/S1471068403001807","article-title":"Diagnostic reasoning with a-Prolog","volume":"3","author":"Balduccini","year":"2003","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.1016\/S1574-6526(07)03010-6_bib004","unstructured":"B. Bredeweg and P. Struss (guest eds.). Qualitative reasoning. AI Magazine, 2004"},{"key":"10.1016\/S1574-6526(07)03010-6_bib005","series-title":"Handbook of Knowledge Representation","article-title":"Nonmonotonic reasoning","author":"Brewka","year":"2007"},{"key":"10.1016\/S1574-6526(07)03010-6_bib006","unstructured":"M. Chantler, S. Daus, T. Vikatos, and G. Coghill. The use of quantitative dynamic models and dependency recording engines. In 7th International Workshop on Principles of Diagnosis (DX-96), 1996"},{"key":"10.1016\/S1574-6526(07)03010-6_bib007","unstructured":"J.W. Collins. Process-based diagnosis: An approach to understanding novel failures. PhD thesis, Institute for the Learning Sciences, Northwestern University, 1993"},{"key":"10.1016\/S1574-6526(07)03010-6_bib008","unstructured":"J. Crow and J. Rushby. Model-based reconfiguration: Toward an integration with diagnosis. In Proceedings of AAAI-91, 1991"},{"issue":"3","key":"10.1016\/S1574-6526(07)03010-6_bib009","doi-asserted-by":"crossref","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","article-title":"A spectrum of logical definitions of model-based diagnosis","volume":"7","author":"Console","year":"1991","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(07)03010-6_bib010","unstructured":"A. Darwiche. Compiling devices: A structure-based approach. In Principles of Knowledge Representation and Reasoning (KR 98), 1998"},{"issue":"2","key":"10.1016\/S1574-6526(07)03010-6_bib011","article-title":"Expert systems: Where are we? and where do we go from here?","volume":"3","author":"Davis","year":"1982","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03010-6_bib012","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(84)90042-0","article-title":"Diagnostic reasoning based on structure and behavior","author":"Davis","year":"1984","journal-title":"Artificial Intelligence"},{"year":"2003","series-title":"Constraint Processing","author":"Dechter","key":"10.1016\/S1574-6526(07)03010-6_bib013"},{"key":"10.1016\/S1574-6526(07)03010-6_bib014","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based TMS","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03010-6_bib015","unstructured":"D. Dvorak and B.J. Kuipers. Model-based monitoring of dynamic systems. In International Joint Conference on Artificial Intelligence, 1989"},{"key":"10.1016\/S1574-6526(07)03010-6_bib016","unstructured":"J. de Kleer. Modeling when connections are the problem. In Twentieth International Joint Conference on Artificial Intelligence, 2007"},{"key":"10.1016\/S1574-6526(07)03010-6_bib017","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(84)90037-7","article-title":"A qualitative physics based on confluences","volume":"24","author":"de Kleer","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03010-6_bib018","doi-asserted-by":"crossref","unstructured":"J. de Kleer and J. Kurien. Fundamentals of model-based diagnosis. In Proceedings of SafeProcess03, 2003","DOI":"10.1016\/S1474-6670(17)36467-4"},{"key":"10.1016\/S1574-6526(07)03010-6_bib019","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(92)90027-U","article-title":"Characterizing diagnoses and systems","volume":"56","author":"de Kleer","year":"1992","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/S1574-6526(07)03010-6_bib020","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(87)90063-4","article-title":"Diagnosing multiple faults","volume":"31","author":"de Kleer","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03010-6_bib021","series-title":"Recent Advances in Qualitative Physics","article-title":"Compiling devices: Locality in a TMS","author":"de Kleer","year":"1992"},{"key":"10.1016\/S1574-6526(07)03010-6_bib022","unstructured":"J. de Kleer and B.C. Williams. Diagnosis with behavioral modes. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, 1993. Also in [39]"},{"key":"10.1016\/S1574-6526(07)03010-6_bib023","unstructured":"O. Dressler. On-line diagnosis and monitoring of dynamic systems based on qualitative models and dependency-based diagnostic engines. In Proceedings of the European Conference on Artificial Intelligence, 1996"},{"key":"10.1016\/S1574-6526(07)03010-6_bib024","unstructured":"O. Dressler and P. Struss. Back to defaults: Characterizing and computing diagnoses as coherent assumption sets. In Proceedings of the European Conference on Artificial Intelligence (ECAI-92), 1992"},{"key":"10.1016\/S1574-6526(07)03010-6_bib025","unstructured":"O. Dressler and P. Struss. Model-based diagnosis with the default-based diagnostic engine: Effective control strategies that work in practise. In 11th European Conference on Artificial Intelligence, 1994"},{"key":"10.1016\/S1574-6526(07)03010-6_bib026","unstructured":"O. Dressler and P. Struss. A toolbox integrating model-based diagnosability analysis and automated generation of diagnostics. In Proceedings of the 14th International Workshop on Principles of Diagnosis, June 2003"},{"key":"10.1016\/S1574-6526(07)03010-6_bib027","unstructured":"M. Esser and P. Struss. Fault-model-based test generation for embedded software. In International Joint Conference on Artificial Intelligence, 2007"},{"issue":"4","key":"10.1016\/S1574-6526(07)03010-6_bib028","article-title":"Configuring large systems using generative constraint satisfaction","volume":"13","author":"Fleischanderl","year":"1998","journal-title":"Intelligent Systems Archive"},{"key":"10.1016\/S1574-6526(07)03010-6_bib029","doi-asserted-by":"crossref","DOI":"10.1016\/S0004-3702(03)00117-6","article-title":"Consistency-based diagnosis of configuration knowledge bases","volume":"152","author":"Felfernig","year":"2004","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03010-6_bib030","unstructured":"G. Friedrich, G. Gottlob, and W. Nejdl. Formalizing the repair process. In Proceedings of the 10th European conference on Artificial intelligence, 1992"},{"key":"10.1016\/S1574-6526(07)03010-6_bib031","unstructured":"G. Friedrich, G. Gottlob, and W. Nejdl. Physical impossibility instead of fault models. In [39], 1992"},{"key":"10.1016\/S1574-6526(07)03010-6_bib032","series-title":"Handbook of Knowledge Representation","article-title":"Temporal representation and reasoning","author":"Fisher","year":"2007"},{"key":"10.1016\/S1574-6526(07)03010-6_bib033","unstructured":"G. Friedrich and F. Lackinger. Diagnosing temporal misbehavior. In IJCAI-91, 1991"},{"key":"10.1016\/S1574-6526(07)03010-6_bib034","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(84)90038-9","article-title":"Qualitative process theory","volume":"24","author":"Forbus","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03010-6_bib035","series-title":"Handbook of Knowledge Representation","article-title":"Qualitative reasoning","author":"Forbus","year":"2008"},{"year":"1992","series-title":"Recent Advances in Qualitative Physics","author":"Faltings","key":"10.1016\/S1574-6526(07)03010-6_bib036"},{"key":"10.1016\/S1574-6526(07)03010-6_bib037","article-title":"Model-based diagnosis of hardware designs","volume":"3","author":"Friedrich","year":"1999","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03010-6_bib038","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(89)90079-9","article-title":"A correction to the algorithm in Reiters theory of diagnosis","volume":"41","author":"Greiner","year":"1989","journal-title":"Artificial Intelligence"},{"year":"1992","series-title":"Readings in Model-based Diagnosis: Diagnosis of Designed Artifacts Based on Descriptions of their Structure and Function","key":"10.1016\/S1574-6526(07)03010-6_bib039"},{"key":"10.1016\/S1574-6526(07)03010-6_bib040","unstructured":"U. Heller. Process-oriented consistency-based diagnosis-theory, implementation and applications. PhD thesis, Akademische V.-G., 2001"},{"key":"10.1016\/S1574-6526(07)03010-6_bib041","doi-asserted-by":"crossref","DOI":"10.1111\/1467-8667.00257","article-title":"Consistency-based problem solving for environmental decision support","volume":"17","author":"Heller","year":"2002","journal-title":"Computer-Aided Civil and Infrastructure Engineering"},{"key":"10.1016\/S1574-6526(07)03010-6_bib042","series-title":"Software-Enabled Control: Information Technologies for Dynamical Systems","article-title":"Towards fault-adaptive control of complex dynamic systems","author":"Karsai","year":"2003"},{"key":"10.1016\/S1574-6526(07)03010-6_bib043","series-title":"International Conference on Fundamental Approaches to Software Engineering (FASE)","article-title":"Fundamentals of debugging using a resolution calculus","volume":"vol. 3922","author":"Koeb","year":"2006"},{"key":"10.1016\/S1574-6526(07)03010-6_bib044","unstructured":"P. Kim, B. Williams, and M. Abramson. Executing reactive, model-based programs through graph-based temporal planning. In Proceedings of the International Joint Conference on Artificial Intelligence, 2001"},{"key":"10.1016\/S1574-6526(07)03010-6_bib045","series-title":"Handbook of Knowledge Representation","article-title":"Situation calculus","author":"Lin","year":"2007"},{"year":"2003","series-title":"Diagnosis of Active Systems\u2014Principles and Techniques","author":"Lamperti","key":"10.1016\/S1574-6526(07)03010-6_bib046"},{"key":"10.1016\/S1574-6526(07)03010-6_bib047","doi-asserted-by":"crossref","DOI":"10.1016\/S0004-3702(00)00032-1","article-title":"A comprehensive methodology for building hybrid models of physical systems","volume":"121","author":"Mosterman","year":"2000","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03010-6_bib048","doi-asserted-by":"crossref","DOI":"10.1016\/S0020-7373(05)80132-4","article-title":"Hierarchical model-based diagnosis","volume":"35","author":"Mozetic","year":"1991","journal-title":"Int. J. of Man-Machine Studies"},{"key":"10.1016\/S1574-6526(07)03010-6_bib049","unstructured":"S. McIlraith and R. Reiter. On tests for hypothetical reasoning. In [39], 1992"},{"key":"10.1016\/S1574-6526(07)03010-6_bib050","unstructured":"W. Mayer and M. Stumptner. Extending diagnosis to debug programs with exception. In IEEE Automated Software Engineering Conference, 2003"},{"key":"10.1016\/S1574-6526(07)03010-6_bib051","unstructured":"W. Mayer and M. Stumptner. Abstract interpretation of programs for model-based debugging. In International Joint Conference on Artificial Intelligence (IJCAI), 2007"},{"year":"1995","series-title":"Automated Modeling of Physical Systems","author":"Nayak","key":"10.1016\/S1574-6526(07)03010-6_bib052"},{"issue":"3","key":"10.1016\/S1574-6526(07)03010-6_bib053","doi-asserted-by":"crossref","DOI":"10.1109\/TSMCA.2007.893487","article-title":"Model-based diagnosis of hybrid systems","volume":"37","author":"Narasimhan","year":"2007","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics, Part A"},{"key":"10.1016\/S1574-6526(07)03010-6_bib054","doi-asserted-by":"crossref","DOI":"10.1016\/j.artint.2005.01.002","article-title":"A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks","volume":"164","author":"Pencole","year":"2005","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03010-6_bib055","unstructured":"C. Picardi, L. Console, F. Berger, J. Breeman, T. Kanakis, J. Moelands, S. Collas, E. Arbaretier, N. De Domenico, E. Girardelli, O. Dressler, P. Struss, and B. Zilbermann. AUTAS: a tool for supporting FMECA generation in aeronautic systems. In Proceeding of the 16th European Conference on Artificial Intelligence, 2004"},{"issue":"5","key":"10.1016\/S1574-6526(07)03010-6_bib056","doi-asserted-by":"crossref","DOI":"10.1109\/TSMCB.2004.835007","article-title":"Possible conflicts: a compilation technique for consistency-based diagnosis","volume":"34","author":"Pulido","year":"2004","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part B"},{"key":"10.1016\/S1574-6526(07)03010-6_bib057","unstructured":"D. Poole. Normality and faults in logic-based diagnosis. In 11th International Joint Conference on Artificial Intelligence, 1989. Also in [39]"},{"key":"10.1016\/S1574-6526(07)03010-6_bib058","unstructured":"G. Provan and D. Pool. The utility of consistency-based diagnostic techniques. In Proc. Second International Conference on Principles of Knowledge Representation and Reasoning, 1991"},{"key":"10.1016\/S1574-6526(07)03010-6_bib059","unstructured":"C. Price. Autosteve: Automated electrical design analysis. In Proceedings ECAI-2000, 2000"},{"key":"10.1016\/S1574-6526(07)03010-6_bib060","unstructured":"O. Raiman, J. de Kleer, V. Saraswat, and M. Shirley. Characterizing non-intermittent faults. In Proceedings of AAAI-91, 1991. Also in [39]"},{"key":"10.1016\/S1574-6526(07)03010-6_bib061","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/S1574-6526(07)03010-6_bib062","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03010-6_bib063","series-title":"Handbook of Knowledge Representation","article-title":"Constraint programming","author":"Rossi","year":"2008"},{"key":"10.1016\/S1574-6526(07)03010-6_bib064","unstructured":"P. Struss and O. Dressler. Physical negation\u2014integrating fault models into the general diagnostic engine. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-89), 1989"},{"issue":"7","key":"10.1016\/S1574-6526(07)03010-6_bib065","doi-asserted-by":"crossref","DOI":"10.1109\/9.701089","article-title":"Active diagnosis of discrete-event system","volume":"43","author":"Sampath","year":"1998","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/S1574-6526(07)03010-6_bib066","article-title":"Model-based systems in the automotive industry","volume":"24","author":"Struss","year":"2004","journal-title":"AI Magazine"},{"key":"10.1016\/S1574-6526(07)03010-6_bib067","doi-asserted-by":"crossref","DOI":"10.1016\/j.artint.2004.01.005","article-title":"Task-dependent qualitative domain abstraction","volume":"162","author":"Sachenbacher","year":"2005","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03010-6_bib068","doi-asserted-by":"crossref","unstructured":"M. Sachenbacher, P. Struss, and R. Weber. Advances in design and implementation of OBD functions for diesel injection systems based on a qualitative approach to diagnosis. In SAE 2000 World Congress, Detroit, USA, 2000","DOI":"10.4271\/2000-01-0365"},{"key":"10.1016\/S1574-6526(07)03010-6_bib069","unstructured":"P. Struss. What's in SD? Towards a theory of modeling for diagnosis. In [39], 1992"},{"key":"10.1016\/S1574-6526(07)03010-6_bib070","unstructured":"P. Struss. Testing for discrimination of diagnoses. In 5th International Workshop on Principles of Diagnosis, 1994"},{"key":"10.1016\/S1574-6526(07)03010-6_bib071","unstructured":"P. Struss. Fundamentals of model-based diagnosis of dynamic systems. In 15th International Joint Conference on Artificial Intelligence, 1997"},{"key":"10.1016\/S1574-6526(07)03010-6_bib072","unstructured":"P. Struss. Artificial intelligence methods for environmental decision support. In e-Environment: Progress and Challenge, 2004"},{"key":"10.1016\/S1574-6526(07)03010-6_bib073","unstructured":"P. Struss. Automated test reduction. In 19th Int. Workshop on Qualitative Reasoning. 16th International Workshop on Principles of Diagnosis, 2005"},{"key":"10.1016\/S1574-6526(07)03010-6_bib074","unstructured":"P. Struss. A model-based methodology for the integration of diagnosis and fault analysis during the entire life cycle. In Proceedings Volume from the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (Safeprocess06), 2006"},{"key":"10.1016\/S1574-6526(07)03010-6_bib075","unstructured":"Y. Sun and D. Weld. A framework for model-based repair. In Proceedings of AAAI-93, 1993"},{"key":"10.1016\/S1574-6526(07)03010-6_bib076","article-title":"Introduction to Physical Modeling with MODELICA","volume":"vol. 615","author":"Tiller","year":"2001"},{"key":"10.1016\/S1574-6526(07)03010-6_bib077","unstructured":"L. Trave-Massuyes, M.O. Cordier, and X. Pucel. Comparing diagnosability in CS and DES. In Proceedings Volume from the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (Safeprocess06), 2006"},{"issue":"3","key":"10.1016\/S1574-6526(07)03010-6_bib078","doi-asserted-by":"crossref","DOI":"10.1109\/64.590070","article-title":"TIGERTM\u2014gas turbine condition monitoring using qualitative model-based diagnosis","volume":"12","author":"Trave-Massuyes","year":"1997","journal-title":"IEEE Expert"},{"issue":"3","key":"10.1016\/S1574-6526(07)03010-6_bib079","article-title":"A design methodology for self-maintenance machines","volume":"9","author":"Umeda","year":"1994","journal-title":"IEEE Expert: Intelligent Systems and their Applications Archive"},{"key":"10.1016\/S1574-6526(07)03010-6_bib080","doi-asserted-by":"crossref","DOI":"10.1016\/j.artint.2005.11.001","article-title":"Experiment selection for the discrimination of semi-quantitative models of dynamical systems","volume":"170","author":"Vatcheva","year":"2006","journal-title":"Artificial Intelligence"},{"year":"1990","series-title":"Readings in Qualitative Reasoning about Physical Systems","author":"Weld","key":"10.1016\/S1574-6526(07)03010-6_bib081"},{"key":"10.1016\/S1574-6526(07)03010-6_bib082","doi-asserted-by":"crossref","unstructured":"B. Williams. Interaction-based invention: Designing novel devices from first principles. In Proceedings of the National Conference on Artificial Intelligence, 1990","DOI":"10.1007\/3-540-53104-1_37"},{"key":"10.1016\/S1574-6526(07)03010-6_bib083","unstructured":"B. Williams. Interaction-based invention: Designing novel devices from first principles. In [36], 1992"},{"key":"10.1016\/S1574-6526(07)03010-6_bib084","unstructured":"B. Williams and P. Nayak. A model-based approach to reactive self-configuring systems. In Proceedings of AAAI-96, 1996"},{"key":"10.1016\/S1574-6526(07)03010-6_bib085","doi-asserted-by":"crossref","DOI":"10.1016\/S0004-3702(01)00161-8","article-title":"On the relationship between model-based debugging and program slicing","volume":"135","author":"Wotawa","year":"2002","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03010-6_bib086","article-title":"Conflict-directed A* and its role in model-based embedded systems","author":"Williams","year":"2003","journal-title":"Journal of Discrete Applied Math."}],"container-title":["Foundations of Artificial Intelligence","Handbook of Knowledge Representation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652607030106?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652607030106?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:56:07Z","timestamp":1761620167000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652607030106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9780444522115"],"references-count":86,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(07)03010-6","relation":{},"ISSN":["1574-6526"],"issn-type":[{"type":"print","value":"1574-6526"}],"subject":[],"published":{"date-parts":[[2008]]}}}