Automated qualitative domain abstraction

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 382-387

  Sachenbacher, Martin ^a   Struss, Peter ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOR MODEL; CONSTRAINT-BASED; DEVICE MODELS; DOMAIN ABSTRACTION; ENGINEERED DEVICES;

ARTIFICIAL INTELLIGENCE;

KNOWLEDGE REPRESENTATION;

EID: 14844340081     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. D. Berleant and B. Kuipers. Qualitative and quantitative simulation: Bridging the gap. Artificial Intelligence, 95(2):215-255", 1997.
2. Rina Dechter and Judea Pearl. Network-based heuristics for constraint-satisfaction problems. Artificial Intelligence, 34(1): 1-38, 1988.
3. B. Falkenhainer and K. D. Forbus. Compositional modeling: Finding the right model for the job. Artificial Intelligence, 51:95-143, 1991.
4. E. C. Freuder and D. Sabin. Interchangeability supports abstraction and reformulation for constraint satisfaction. In Proceedings of SARA'95, 1995.
5. E. C. Freuder. Eliminating interchangeable values in constraint satisfaction problems. In Proc. of AAAI-9I, pages 227-233, Anaheim, CA, 1991.
6. Georg Gottlob, Nicola Leone, and Francesco Scarcello. A comparison of structural CSP decomposition methods. Artificial Intelligence, 124(2):243-282, 2000.
7. W. Hamscher, L. Console, and J. de Kleer, editors. Readings in Model-based Diagnosis. Morgan Kaufman Publishers, San Mateo, CA, 1992.
8. B.J. Kuipers. Qualitative simulation. Artificial Intelligence, 29(3):289-338,1986.
9. A. Levy, Y. Iwasaki, and R. Fikes. Automated model selection for simulation based on relevance reasoning. Artificial Intelligence, 96:351-394,1997. (Pubitemid 127402639)
10. P. Pandurang Nayak. Causal approximations. Artificial Intelligence, 70:277-334, 1994.
11. J. Rickel and B. Porter. Automated modeling of complex systems to answer prediction questions. Artificial Intelligence, 93:201-260, 1997. (Pubitemid 127401116)
12. M. Sachenbacher, P. Struss, and C. Carlcn. A prototype for model-based on-board diagnosis of automotive systems. AI Comm., 13(2):83-97,2000.
13. M. Sachenbacher. Automated Qualitative Abstraction and its Application to Automotive Systems. PhD thesis, TU Munich, 2001.
14. P. Struss. Automated abstraction of numerical simulation models: Theory and practical experience. Proc. QR-02, Spain, 2002.
15. P. Torasso and G. Torta. Merging indiscriminable diagnoses: An approach based on automatic domains abstraction. Proc. DX-02, Austria, 2002.
16. D. Weld and J. de Kleer, editors. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, San Mateo, CA, 1990.