A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Qualitative analysis of MOS circuits
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Compositional modeling: finding the right model for the job
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Conceptual lattice: a unified model for medical inferece processes
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.01 |
Adequate problem representations require the identification of abstractions and approximations that are well suited to the task at hand. In this paper we introduce a new class of approximations, called causal approximations, that are commonly found in modeling the physical world. Causal approximations support the efficient generation of parsimonious causal explanations, which play an important role in reasoning about engineered devices. The central problem to be solved in generating parsimonious causal explanations is the identification of a simplest model that explains the phenomenon of interest. We formalize this problem and show that it is, in general, intractable. In this formalization, simplicity of models is based on the intuition that using more approximate models of fewer phenomena leads to simpler models. We then show that when all the approximations are causal approximations, the above problem can be solved in polynomial time.