×

zbMATH — the first resource for mathematics

Causal approximations. (English) Zbl 0938.68845

MSC:
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
PDF BibTeX Cite
Full Text: DOI
References:
[1] Addanki, S.; Cremonini, R.; Penberthy, J. S.: Graphs of models. Artif. intell. 51, 145-177 (1991) · Zbl 0719.68066
[2] Webber, B. L.; Nilsson, N. J.: Readings in artificial intelligence. 2-22 (1981) · Zbl 0498.68054
[3] Artobolevsky, I. I.: 3rd ed.mechanisms in modern engineering design. Mechanisms in modern engineering design 5 (1980)
[4] Bennett, S. W.: Approximation in mathematical domains. Proceedings IJCAI-87, 239-241 (1987)
[5] Bobrow, D.: Qualitative reasoning about physical systems. (1984)
[6] Brown, J. S.; Burton, R. R.; De Kleer, J.: Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II and III. Intelligent tutoring systems, 227-282 (1982)
[7] Coren, R. L.: 3rd ed.basic engineering electromagnetics. Basic engineering electromagnetics (1989)
[8] Crawford, J.; Farquhar, A.; Kuipers, B. J.: QPC: a compiler from physical models into qualitative differential equations. Proceedings AAAI-90, 365-372 (1990)
[9] Dahlquist, G.; Björk, å; Anderson, N.: 3rd ed.numerical methods. Numerical methods (1974)
[10] Davis, R.: Diagnostic reasoning based on structure and behavior. Artif. intell. 24, 347-410 (1984)
[11] De Kleer, J.: Multiple representations of knowledge in a mechanics problem-solver. Proceedings IJCAI-77, 299-304 (1977)
[12] De Kleer, J.; Brown, J. S.: A qualitative physics based on confluences. Artif. intell. 24, 7-83 (1984)
[13] Even, S.: 3rd ed.graph algorithms. Graph algorithms (1979)
[14] Falkenhainer, B.; Forbus, K. D.: Setting up large-scale qualitative models. Proceedings AAAI-88, 301-306 (1988)
[15] Falkenhainer, B.; Forbus, K. D.: Compositional modeling: finding the right model for the job. Artif. intell. 51, 95-143 (1991)
[16] Forbus, K. D.: Qualitative process theory. Artif. intell. 24, 85-168 (1984)
[17] Forbus, K. D.: The qualitative process engine. Readings in qualitative reasoning about physical systems (1990)
[18] Forbus, K. D.; Stevens, A.: Using qualitative simulation to generate explanations. Proceedings third annual meeting of the cognitive science society, 219-221 (1981)
[19] Halliday, D.; Resnick, R.: 3rd ed.physics. Physics (1978)
[20] Hamscher, W. C.: Model-based troubleshooting of digital systems. Technical report 1074 (1988) · Zbl 0713.68073
[21] Hamscher, W. C.: Modeling digital circuits for troubleshooting. Artif. intell. 51, 223-271 (1991)
[22] Iwasaki, Y.: Causal ordering in a mixed structure. Proceedings AAAI-88, 313-318 (1988)
[23] Iwasaki, Y.; Low, C. M.: Model generation and simulation of device behavior with continuous and discrete changes. Technical report KSL 91-69 (1991)
[24] Iwasaki, Y.; Simon, H. A.: Causality in device behavior. Artif. intell. 29, 3-32 (1986)
[25] Kuipers, B. J.: Qualitative simulation. Artif. intell. 29, 289-338 (1986) · Zbl 0624.68098
[26] Kuipers, B. J.: Abstraction by time-scale in qualitative simulation. Proceedings AAAI-87, 621-625 (1987)
[27] Macaulay, D.: 3rd ed.the way things work. The way things work (1988)
[28] Mittal, S.; Falkenhainer, B.: Dynamic constraint satisfaction. Proceedings AAAI-90, 25-32 (1990)
[29] Nayak, P. P.: Automated modeling of physical systems. Ph.d. thesis (1992)
[30] Nayak, P. P.; Joskowicz, L.; Addanki, S.: Automated model selection using context-dependent behaviors. Proceedings AAAI-92, 710-716 (1992)
[31] Patil, R. S.; Szolovits, P.; Schwartz, W. B.: Causal understanding of patient illness in medical diagnosis. Proceedings IJCAI-81, 893-899 (1981)
[32] Raiman, O.: Order of magnitude reasoning. Artif. intell. 51, 11-38 (1991)
[33] Sacerdoti, E.: Planning in a hierarchy of abstraction spaces. Artif. intell. 5, 115-135 (1974) · Zbl 0288.68052
[34] Sacks, E.: Piecewise linear reasoning. Proceedings AAAI-87, 655-659 (1987)
[35] Schaefer, T. J.: The complexity of satisfiability problems. Proceedings tenth annual ACM symposium on theory of computing, 216-226 (1978) · Zbl 1282.68143
[36] Selman, B.; Kautz, H.: Knowledge compilation using Horn approximations. Proceedings AAAI-91, 904-909 (1991)
[37] Serrano, D.; Gossard, D. C.: Constraint management in conceptual design. Knowledge based expert systems in engineering: planning and design, 211-224 (1987)
[38] Simon, H. A.: On the definition of the causal relation. J. philos. 49, 517-528 (1952)
[39] Struss, P.: What’s in SD? towards a theory of modeling for diagnosis. Readings in model-based diagnosis, 419-449 (1992)
[40] Tenenberg, J. D.: Inheritance in automated planning. Proceedings first international conference on principles of knowledge representation and reasoning, 475-485 (1989) · Zbl 0709.68073
[41] Van Amerongen, C.: 3rd ed.the way things work. The way things work (1967)
[42] Wallis, J. W.; Shortliffe, E. H.: Explanatory power for medical expert systems: studies in the representation of causal relationships for clinical consultations. Methods inform. Med. 21, 127-136 (1982)
[43] Weiss, S. M.; Kulikowski, C. A.; Amarel, S.; Safir, A.: A model-based method for computer-aided medical decision-making. Artif. intell. 11, 145-172 (1978)
[44] Weld, D. S.: The use of aggregation in causal simulation. Artif. intell. 30, 1-17 (1986)
[45] Weld, D. S.: Reasoning about model accuracy. Artif. intell. 56, No. 2-3, 255-300 (1992) · Zbl 0787.68090
[46] Weld, D. S.; Addanki, S.: Query-directed approximation. Recent advances in qualitative physics (1991)
[47] Weld, D. S.; De Kleer, J.: Readings in qualitative reasoning about physical systems. (1990)
[48] Welty, J. R.; Wicks, C. E.; Wilson, R. E.: 3rd ed.fundamentals of momentum, heat and mass transfer. Fundamentals of momentum, heat and mass transfer (1984)
[49] Williams, B. C.: Qualitative analysis of MOS circuits. Artif. intell. 24, 281-346 (1984)
[50] Williams, B. C.: Interaction-based invention: designing novel devices from first principles. Proceedings AAAI-90, 349-356 (1990)
[51] Williams, B. C.: Critical abstraction: generating simplest models for causal explanation. Proceedings fifth international workshop on qualitative reasoning about physical systems (1991)
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.