Reasoning with Simplifying Assumptions: A Methodology and Example

Abstract

Simplifying assumptions are a powerful technique for dealing with complexity, which is used in all branches of science and engineering. This work develops a formal account of this technique in the context of heuristic search and automated reasoning. We also present a methodology for choosing appropriate simplifying assumptions in specific domains, and… (More)

Topics

1 Figure or Table

Cite this paper

@inproceedings{Feldman1986ReasoningWS, title={Reasoning with Simplifying Assumptions: A Methodology and Example}, author={Yishai A. Feldman and Charles Rich}, booktitle={AAAI}, year={1986} }