×

zbMATH — the first resource for mathematics

Task-dependent qualitative domain abstraction. (English) Zbl 1132.68710
Summary: Automated problem-solving for engineered devices is based on models that capture the essential aspects of the behavior. In this paper, we deal with the problem of automatically abstracting behavior models such that their level of granularity is as coarse as possible, but still sufficiently detailed to carry out a given behavioral prediction or diagnostic task. A task is described by a behavior model, as composed from a library, a specified granularity of the possible observations, and a specified granularity of the desired results. The goal of task-dependent qualitative domain abstraction is to determine maximal partitions for the variables’ domains (termed qualitative values) that retain all the necessary distinctions. We present a formalization of this problem within a relational (constraint-based) framework, and devise solutions to automatically determine qualitative values for a device model. The results enhance the ability to use a behavior model of a device as a common basis to support different tasks along its life cycle.

MSC:
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Addanki, S.; Cremonini, R.; Penberthy, J.S., Graphs of models, Artificial intelligence, 51, 1-3, 145-177, (1991)
[2] Berleant, D.; Kuipers, B., Qualitative and quantitative simulation: bridging the gap, Artificial intelligence, 95, 2, 215-255, (1997) · Zbl 0894.68173
[3] Cascio, F.; Console, L.; Guagliumi, M.; Osella, M.; Panati, A.; Sottano, S.; Theseider Dupré, D., Generating on-board diagnostics of dynamic automotive systems based on qualitative models, AI comm. (special issue on model-based reasoning), 12, 33-43, (1999)
[4] Chung, S.; Van Eepoel, J.; Williams, B.C., Improving model-based mode estimation through offline compilation, ()
[5] de Jong, H.; van Raalte, F., Comparative envisionment construction: a technique for the comparative analysis of dynamical systems, Artificial intelligence, 115, 2, 145-214, (1999) · Zbl 0996.00013
[6] Falkenhainer, B.; Forbus, K.D., Compositional modeling: finding the right model for the job, Artificial intelligence, 51, 95-143, (1991)
[7] ()
[8] Freuder, E.C., Eliminating interchangeable values in constraint satisfaction problems, (), 227-233
[9] Freuder, E.C.; Sabin, D., Interchangeability supports abstraction and reformulation for constraint satisfaction, ()
[10] Gottlob, G.; Leone, N.; Scarcello, F., A comparison of structural CSP decomposition methods, Artificial intelligence, 124, 2, 243-282, (2000) · Zbl 0952.68044
[11] ()
[12] Kuipers, B.J., Qualitative simulation, Artificial intelligence, 29, 3, 289-338, (1986) · Zbl 0624.68098
[13] Kuipers, B.J., Qualitative reasoning: modeling and simulation with incomplete knowledge, (1994), MIT Press Cambridge, MA
[14] Levy, A.; Iwasaki, Y.; Fikes, R., Automated model selection for simulation based on relevance reasoning, Artificial intelligence, 96, 351-394, (1997) · Zbl 0903.68215
[15] Muscettola, N.; Nayak, P.; Pell, B.; Williams, B.C., Remote agent: to boldly go where no AI system has gone before, Artificial intelligence, 103, 5-48, (1998) · Zbl 0909.68167
[16] Nayak, P.P., Causal approximations, Artificial intelligence, 70, 277-334, (1994) · Zbl 0938.68845
[17] Nayak, P.P.; Joskowicz, L., Efficient compositional modeling for generating causal explanations, Artificial intelligence, 83, 193-227, (1996)
[18] Rickel, J.; Porter, B., Automated modeling of complex systems to answer prediction questions, Artificial intelligence, 93, 201-260, (1997) · Zbl 1017.93500
[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] Sachenbacher, M.; Struss, P.; Carlén, C., A prototype for model-based on-board diagnosis of automotive systems, AI comm., 13, 2, 83-97, (2000)
[21] Sachenbacher, M.; Struss, P.; Weber, R., Advances in design and implementation of OBD functions for diesel injection systems based on a qualitative approach to diagnosis, ()
[22] Struss, P., What’s in SD? towards a theory of modeling for diagnosis, (), 419-450
[23] Struss, P., Automated abstraction of numerical simulation models: theory and practical experience, ()
[24] Torta, G.; Torasso, P., Automatic abstraction in component-based diagnosis driven by system observability, ()
[25] ()
[26] Weld, D.S., Reasoning about model accuracy, Artificial intelligence, 56, 255-300, (1992) · Zbl 0787.68090
[27] Williams, B.C., A theory of interactions: unifying qualitative and quantitative algebraic reasoning, Artificial intelligence, 51, 39-94, (1991) · Zbl 0753.68084
[28] Yip, K., Model simplification by asymptotic order of magnitude reasoning, Artificial intelligence, 80, 309-348, (1996)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.