Journal of the ACM (JACM)
A task-independent experience-gathering scheme for a problem-solver
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
| Hi-index | 14.98 |
One of the prominent research topics in Artificial Intelligence continues to be the development of problem-solving methods in which the process of "search" plays a vital role. In the usual formulation, [1] one imagines a space of "objects" and a collection of "operators." The objects are data structures such as strings, lists, arrays, etc. that represent problem "states." The operators map objects into other objects. A problem to be solved is then translated into the task of finding a sequence of operators that will map an initial object into a goal object. Among the problems that have been formulated in this fashion are puzzles (the missionaries and cannibals problem, the Tower of Hanoi problem), problems in mathematics (symbolic integration, proving theorems in geometry), parsing sentences, proving theorems in the predicate calculus, and problems of commonsense reasoning about actions.