Chapter 10 Model-based Problem Solving

Foundations of Artificial Intelligence

Volumn 3, Issue , 2008, Pages 395-465

  Struss, Peter ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 40849097791     PISSN: 15746526     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S1574-6526(07)03010-6     Document Type: Review

References (86)

1. Biswas G., Cordier M.O., Lunze J., Staroswiecki M., and Trave-Massuyes L. IEEE SMC Transactions, Part B 34 (2005) (Special Volume on Diagnosis of Complex Systems: Bridging the Methodologies of the FDI and DX Communities)
2. Beschta A., Dressler O., Freitag H., Montag M., and Struss P. A model-based approach to fault localization in power transmission networks. Intelligent Systems Engineering 2 (1993)
3. Balduccini M., and Gelfond M. Diagnostic reasoning with a-Prolog. Theory and Practice of Logic Programming 3 (2003)
4. B. Bredeweg and P. Struss (guest eds.). Qualitative reasoning. AI Magazine, 2004
5. Brewka G., Niemela I., and Truszczynski M. Nonmonotonic reasoning. In: Lifschitz V., Porter B., and van Harmelen F. (Eds). Handbook of Knowledge Representation (2007), Elsevier
6. 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
7. J.W. Collins. Process-based diagnosis: An approach to understanding novel failures. PhD thesis, Institute for the Learning Sciences, Northwestern University, 1993
8. J. Crow and J. Rushby. Model-based reconfiguration: Toward an integration with diagnosis. In Proceedings of AAAI-91, 1991
9. Console L., and Torasso P. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence 7 3 (1991) Also in [39]
10. A. Darwiche. Compiling devices: A structure-based approach. In Principles of Knowledge Representation and Reasoning (KR 98), 1998
11. Davis R. Expert systems: Where are we? and where do we go from here?. Artificial Intelligence 3 2 (1982)
12. Davis R. Diagnostic reasoning based on structure and behavior. Artificial Intelligence (1984) Also in [39]
13. Dechter R. Constraint Processing (2003), Morgan Kaufmann
14. de Kleer J. An assumption-based TMS. Artificial Intelligence 28 (1986)
15. D. Dvorak and B.J. Kuipers. Model-based monitoring of dynamic systems. In International Joint Conference on Artificial Intelligence, 1989
16. J. de Kleer. Modeling when connections are the problem. In Twentieth International Joint Conference on Artificial Intelligence, 2007
17. de Kleer J.D., and Brown J.S. A qualitative physics based on confluences. Artificial Intelligence 24 (1984) Also in [81]
18. J. de Kleer and J. Kurien. Fundamentals of model-based diagnosis. In Proceedings of SafeProcess03, 2003
19. de Kleer J., Mackworth A., and Reiter R. Characterizing diagnoses and systems. Artificial Intelligence 56 (1992)
20. de Kleer J.D., and Williams B.C. Diagnosing multiple faults. Artificial Intelligence 31 1 (1987) Also in [39]
21. de Kleer J., and Williams B.C. Compiling devices: Locality in a TMS. In: Faltings B., and Struss P. (Eds). Recent Advances in Qualitative Physics (1992), MIT Press
22. 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]
23. 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
24. 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
25. 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
26. 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
27. M. Esser and P. Struss. Fault-model-based test generation for embedded software. In International Joint Conference on Artificial Intelligence, 2007
28. Fleischanderl G., Friedrich G., Haselboeck A., Schreiner H., and Stumptner M. Configuring large systems using generative constraint satisfaction. Intelligent Systems Archive 13 4 (1998)
29. Felfernig A., Friedrich G., Jannach D., and Stumptner M. Consistency-based diagnosis of configuration knowledge bases. Artificial Intelligence 152 (2004)
30. G. Friedrich, G. Gottlob, and W. Nejdl. Formalizing the repair process. In Proceedings of the 10th European conference on Artificial intelligence, 1992
31. G. Friedrich, G. Gottlob, and W. Nejdl. Physical impossibility instead of fault models. In [39], 1992
32. Fisher M. Temporal representation and reasoning. In: Lifschitz V., Porter B., and van Harmelen F. (Eds). Handbook of Knowledge Representation (2007), Elsevier
33. G. Friedrich and F. Lackinger. Diagnosing temporal misbehavior. In IJCAI-91, 1991
34. Forbus K. Qualitative process theory. Artificial Intelligence 24 (1984) Also in [81]
35. Forbus K. Qualitative reasoning. Handbook of Knowledge Representation (2008), Elsevier
36. Faltings B., and Struss P. Recent Advances in Qualitative Physics (1992), MIT Press
37. Friedrich G., Stumptner M., and Wotawa F. Model-based diagnosis of hardware designs. Artificial Intelligence 3 (1999)
38. Greiner R., Smith B.A., and Wilkerson R.W. A correction to the algorithm in Reiters theory of diagnosis. Artificial Intelligence 41 (1989)
39. In: Hamscher W., de Kleer J., and Console L. (Eds). Readings in Model-based Diagnosis: Diagnosis of Designed Artifacts Based on Descriptions of their Structure and Function (1992), Morgan Kaufmann
40. U. Heller. Process-oriented consistency-based diagnosis-theory, implementation and applications. PhD thesis, Akademische V.-G., 2001
41. Heller U., and Struss P. Consistency-based problem solving for environmental decision support. Computer-Aided Civil and Infrastructure Engineering 17 (2002)
42. Karsai G., Biswas G., Narasimhan S., Szemethy T., Peceli G., Simon G., and Kovacshazy T. Towards fault-adaptive control of complex dynamic systems. In: Samad T., and Balas G. (Eds). Software-Enabled Control: Information Technologies for Dynamical Systems (2003), Wiley-IEEE Press
43. Koeb D., and Wotawa F. Fundamentals of debugging using a resolution calculus. International Conference on Fundamental Approaches to Software Engineering (FASE). LNCS vol. 3922 (2006), Springer
44. 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
45. Lin F. Situation calculus. In: Lifschitz V., Porter B., and van Harmelen F. (Eds). Handbook of Knowledge Representation (2007), Elsevier
46. Lamperti G., and Zanella M. Diagnosis of Active Systems-Principles and Techniques (2003), Kluwer Academic Publisher
47. Mosterman P., and Biswas G. A comprehensive methodology for building hybrid models of physical systems. Artificial Intelligence 121 (2000)
48. Mozetic I. Hierarchical model-based diagnosis. Int. J. of Man-Machine Studies 35 (1991)
49. S. McIlraith and R. Reiter. On tests for hypothetical reasoning. In [39], 1992
50. W. Mayer and M. Stumptner. Extending diagnosis to debug programs with exception. In IEEE Automated Software Engineering Conference, 2003
51. W. Mayer and M. Stumptner. Abstract interpretation of programs for model-based debugging. In International Joint Conference on Artificial Intelligence (IJCAI), 2007
52. Nayak P. Automated Modeling of Physical Systems (1995), Springer
53. Narasimhan S., and Biswas G. Model-based diagnosis of hybrid systems. IEEE Trans. on Systems, Man, and Cybernetics, Part A 37 3 (2007)
54. Pencole Y., and Cordier M.-O. A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence 164 (2005)
55. 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
56. Pulido B., and Gonzalez C.A. Possible conflicts: a compilation technique for consistency-based diagnosis. IEEE Transactions on Systems, Man and Cybernetics, Part B 34 5 (2004)
57. D. Poole. Normality and faults in logic-based diagnosis. In 11th International Joint Conference on Artificial Intelligence, 1989. Also in [39]
58. 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
59. C. Price. Autosteve: Automated electrical design analysis. In Proceedings ECAI-2000, 2000
60. O. Raiman, J. de Kleer, V. Saraswat, and M. Shirley. Characterizing non-intermittent faults. In Proceedings of AAAI-91, 1991. Also in [39]
61. Reiter R. A logic for default reasoning. Artificial Intelligence 13 (1980)
62. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence 32 1 (1987) Also in [39]
63. Rossi F., van Beek P., and Walsh T. Constraint programming. Handbook of Knowledge Representation (2008), Elsevier
64. P. Struss and O. Dressler. Physical negation-integrating fault models into the general diagnostic engine. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-89), 1989
65. Sampath M., Lafortune S., and Teneketzis D. Active diagnosis of discrete-event system. IEEE Transactions on Automatic Control 43 7 (1998)
66. Struss P., and Price C. Model-based systems in the automotive industry. AI Magazine 24 (2004)
67. Sachenbacher M., and Struss P. Task-dependent qualitative domain abstraction. Artificial Intelligence 162 (2005)
68. 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
69. P. Struss. What's in SD? Towards a theory of modeling for diagnosis. In [39], 1992
70. P. Struss. Testing for discrimination of diagnoses. In 5th International Workshop on Principles of Diagnosis, 1994
71. P. Struss. Fundamentals of model-based diagnosis of dynamic systems. In 15th International Joint Conference on Artificial Intelligence, 1997
72. P. Struss. Artificial intelligence methods for environmental decision support. In e-Environment: Progress and Challenge, 2004
73. P. Struss. Automated test reduction. In 19th Int. Workshop on Qualitative Reasoning. 16th International Workshop on Principles of Diagnosis, 2005
74. 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
75. Y. Sun and D. Weld. A framework for model-based repair. In Proceedings of AAAI-93, 1993
76. Tiller M. Introduction to Physical Modeling with MODELICA. The Springer International Series in Engineering and Computer Science vol. 615 (2001), Springer
77. 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
78. TM-gas turbine condition monitoring using qualitative model-based diagnosis. IEEE Expert 12 3 (1997)
79. Umeda Y., Tomiyama T., Yoshikawa H., and Shimomura Y. A design methodology for self-maintenance machines. IEEE Expert: Intelligent Systems and their Applications Archive 9 3 (1994)
80. Vatcheva I., Bernhard O., de Jong H., and Mars N.J.I. Experiment selection for the discrimination of semi-quantitative models of dynamical systems. Artificial Intelligence 170 (2006)
81. Weld D., and de Kleer J. Readings in Qualitative Reasoning about Physical Systems (1990), Morgan Kaufmann
82. B. Williams. Interaction-based invention: Designing novel devices from first principles. In Proceedings of the National Conference on Artificial Intelligence, 1990
83. B. Williams. Interaction-based invention: Designing novel devices from first principles. In [36], 1992
84. B. Williams and P. Nayak. A model-based approach to reactive self-configuring systems. In Proceedings of AAAI-96, 1996
85. Wotawa F. On the relationship between model-based debugging and program slicing. Artificial Intelligence 135 (2002)
86. Williams B., and Ragno R. Conflict-directed A* and its role in model-based embedded systems. Journal of Discrete Applied Math. (2003)