A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
A Formal Deductive Problem-Solving System
Journal of the ACM (JACM)
Computers and Thought
Hi-index | 0.07 |
Artificial intelligence programs in the areas of theorem proving, problem solving (including analogies), concept formation, and pattern recognition are viewed as particularizations of a generalized means-ends analysis schema. The structural similarities among the various problem solvers are stressed. Various search strategies of the problem solver are discussed.