Adaptation of declaratively represented methods in proof planning

Abstract

The reasoning power of human-oriented plan-based reasoning systems is primarily derived from their domain-specific problem solving knowledge. Such knowledge is, however, intrinsically incomplete. In order to model the human ability of adapting existing methods to new situations we present in this work a declarative approach for representing methods, which… (More)
DOI: 10.1023/A:1018980611571

Topics

Cite this paper

@article{Huang1998AdaptationOD, title={Adaptation of declaratively represented methods in proof planning}, author={Xiaorong Huang and Manfred Kerber and Lassaad Cheikhrouhou}, journal={Annals of Mathematics and Artificial Intelligence}, year={1998}, volume={23}, pages={299-320} }