Abstract
This work presents a new approach for using a first order theory to generate procedures for solving goal satisfaction problems without using general theorem proving. The core of the problem solving system has three basic components: an inference mechanism based on residues, a control structure for "means-end" analysis that uses natural deduction, and a generalization scheme That-is based on the structure of statements in the domain theory itself. The work represents a beginning in the development of knowledge-based systems that can generate their own problem solving programs, evolve with experience and adapt to a changing domain theory.