Task-dependent qualitative domain abstraction

Artificial Intelligence

Volumn 162, Issue 1-2, 2005, Pages 121-143

  Sachenbacher, M ^a   Struss, P ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Domain abstraction; Model based systems; Qualitative reasoning

Indexed keywords

DOMAIN ABSTRACTION; ENGINEERED DEVICES; MODEL-BASED SYSTEMS; QUALITATIVE REASONING;

ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; CONSTRAINT THEORY; PROBLEM SOLVING; REAL TIME SYSTEMS; SET THEORY;

KNOWLEDGE REPRESENTATION;

EID: 11144346165     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2004.01.005     Document Type: Article

References (28)

1. S. Addanki, R. Cremonini, and J.S. Penberthy Graphs of models Artificial Intelligence 51 1-3 1991 145 177
2. D. Berleant, and B. Kuipers Qualitative and quantitative simulation: bridging the gap Artificial Intelligence 95 2 1997 215 255
3. F. Cascio, L. Console, M. Guagliumi, M. Osella, A. Panati, S. Sottano, and D. Theseider Dupré Generating on-board diagnostics of dynamic automotive systems based on qualitative models AI Comm. (Special Issue on Model-Based Reasoning) 12 1999 33 43
4. S. Chung, J. Van Eepoel, and B.C. Williams Improving model-based mode estimation through offline compilation International Symposium on Artificial Intelligence, Robotics and Automation in Space, St-Hubert, QC, Canada 2001
5. H. de Jong, and F. van Raalte Comparative envisionment construction: a technique for the comparative analysis of dynamical systems Artificial Intelligence 115 2 1999 145 214
6. B. Falkenhainer, and K.D. Forbus Compositional modeling: finding the right model for the job Artificial Intelligence 51 1991 95 143
7. B. Faltings P. Struss Recent Advances in Qualitative Physics 1992 MIT Press Cambridge, MA
8. E.C. Freuder Eliminating interchangeable values in constraint satisfaction problems Proceedings of Ninth National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA 1991 227 233
9. E.C. Freuder, and D. Sabin Interchangeability supports abstraction and reformulation for constraint satisfaction Proceedings of Symposium on Abstraction, Reformulation and Approximation (SARA-95) 1995
10. G. Gottlob, N. Leone, and F. Scarcello A comparison of structural CSP decomposition methods Artificial Intelligence 124 2 2000 243 282
11. W. Hamscher L. Console J. de Kleer Readings in Model-based Diagnosis 1992 Morgan Kaufmann San Mateo, CA
12. B.J. Kuipers Qualitative simulation Artificial Intelligence 29 3 1986 289 338
13. B.J. Kuipers Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge 1994 MIT Press Cambridge, MA
14. A. Levy, Y. Iwasaki, and R. Fikes Automated model selection for simulation based on relevance reasoning Artificial Intelligence 96 1997 351 394
15. N. Muscettola, P. Nayak, B. Pell, and B.C. Williams Remote agent: to boldly go where no AI system has gone before Artificial Intelligence 103 1998 5 48
16. P.P. Nayak Causal approximations Artificial Intelligence 70 1994 277 334
17. P.P. Nayak, and L. Joskowicz Efficient compositional modeling for generating causal explanations Artificial Intelligence 83 1996 193 227
18. J. Rickel, and B. Porter Automated modeling of complex systems to answer prediction questions Artificial Intelligence 93 1997 201 260
19. M. Sachenbacher, Automated qualitative abstraction and its application to automotive systems, PhD thesis, Technische Universität München, Department of Computer Science, 2001
20. M. Sachenbacher, P. Struss, and C. Carlén A prototype for model-based on-board diagnosis of automotive systems AI Comm. 13 2 2000 83 97
21. 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 Society of Automotive Engineers (SAE) World Congress, Detroit, USA 2000
22. P. Struss What's in SD? Towards a theory of modeling for diagnosis L. Console W. Hamscher J. de Kleer Readings in Model-based Diagnosis 1992 Morgan Kaufmann San Mateo, CA 419 450
23. P. Struss Automated abstraction of numerical simulation models: theory and practical experience Proceedings of the International Workshop on Qualitative Reasoning, Sitges, Spain 2002
24. G. Torta, and P. Torasso Automatic abstraction in component-based diagnosis driven by system observability Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI-03), Acapulco, Mexico 2003
25. D. Weld J. de Kleer Readings in Qualitative Reasoning about Physical Systems 1990 Morgan Kaufmann San Mateo, CA
26. D.S. Weld Reasoning about model accuracy Artificial Intelligence 56 1992 255 300
27. B.C. Williams A theory of interactions: unifying qualitative and quantitative algebraic reasoning Artificial Intelligence 51 1991 39 94
28. K. Yip Model simplification by asymptotic order of magnitude reasoning Artificial Intelligence 80 1996 309 348