Issue No. 10 - October (1969 vol. 18)

ISSN: 0018-9340

pp: 963-964

N.J. Nilson , Stanford Research Institute

ABSTRACT

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.

INDEX TERMS

null

CITATION

N. Nilson, "R69-31 A Formal Deductive Problem-Solving System," in

*IEEE Transactions on Computers*, vol. 18, no. , pp. 963-964, 1969.

doi:10.1109/T-C.1969.222558

CITATIONS

SEARCH