Cmpositional modeling: finding the right model for the job

Artificial Intelligence

Volumn 51, Issue 1-3, 1991, Pages 95-143

  Falkenhainer, Brian ^a   Forbus, Kenneth D ^b  

^a PALO ALTO RESEARCH CENTER   (United States)

^b NORTHWESTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING - ALGORITHMS; THERMODYNAMICS;

COMPOSITIONAL MODELING; MODEL COMPOSITION; PHYSICAL SYSTEMS; QUALITATIVE REASONING;

MATHEMATICAL MODELS;

EID: 0026244420     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(91)90109-W     Document Type: Article

References (55)

1. Reasoning about assumptions in graphs of models
2. Graphs of models
3. Multi-level modeling of populations
4. Building qualitative models of thermodynamic processes
5. Reasoning about fluids via molecular collections
6. QPC: a compiler from physical models into qualitative differential equations
7. Diagnostic reasoning based on structure and behavior
8. An assumption-based TMS
9. Problem solving with the ATMS
10. A qualitative physics based on confluences
11. Learning from physical analogies: a study in analogy and the explanation process
12. Setting up large-scale qualitative models
13. The role of process abstraction in simulation
14. Qualitative process theory
15. The qualitative process engine
16. Focusing the ATMS
17. Self-explanatory simulations: an integration of qualitative and quantitative knowledge
18. Using qualitative simulation to generate explanations
19. Temporally coarse representation of behavior for model-based troubleshooting of digital circuits
20. Naive physics 1: ontology for liquids
21. Causal ordering in a mixed structure
22. Formal basis for commonsense abstraction of dynamic systems
23. AEDNET a simulator for nonlinear networks
24. Qualitative simulation
25. Abstraction by time-scale in qualitative simulation
26. Using incomplete quantitative knowledge in qualitative reasoning
27. Shifting ontological perspectives in reasoning about physical systems
28. An outlook on truth maintenance
29. Dynamic constraint satisfaction problems
30. Qualitative simulation of dynamic chemical processes
31. Controlling search for the consequences of new information during knowledge integration
32. SPICE2: a computer program to simulate semiconductor circuits
33. Explanation-based theory revision: an approach to the problems of incomplete and incorrect theories
34. Qualitative reasoning with microscopic theories
35. On closed world data bases
36. Hierarchical reasoning about inequalities
37. Explicit reasoning about accuracy for approximating physical systems
38. “Commonsense” arithmetic reasoning
39. Qualitative and quantitative reasoning about thermodynamics
40. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
41. CONSTRAINTS: a language for expressing almost-hierarchical descriptions
42. SLICES: at the boundary between analysis and synthesis
43. Change of Representation and Problem Reformulation Workshop (Informal Proceedings)
44. The use of aggregation in causal simulation
45. Approximation reformulation
46. Qualitative analysis of MOS circuits
47. MINIMA: a symbolic approach to qualitative algebraic reasoning