A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
Journal of the ACM (JACM)
LISP 1.5 Programmer's Manual
Experiments With Some Programs That Search Game Trees
Journal of the ACM (JACM)
A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees
Journal of the ACM (JACM)
Completeness of Linear Refutation for Theories with Equality
Journal of the ACM (JACM)
On the Optimal Solutions to AND/OR Series-Parallel Graphs
Journal of the ACM (JACM)
Experiments with the M & N tree-searching program
Communications of the ACM
A deductive question-answerer for natural language inference
Communications of the ACM
COKO III: the Cooper-Koz chess program
Communications of the ACM
Experiments in automatic learning for a multipurpose hueristic program
Communications of the ACM
Concepts and methods for heuristic search
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
A quantitative analysis of the alpha-beta pruning algorithm
Artificial Intelligence
Finding resolution proofs and using duplicate goals in and/or trees
Information Sciences: an International Journal
An analysis of decision quality of minimaxing vs. product propagation
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Hi-index | 0.07 |
The heuristic program discussed searches for a constructive proof or disproof of a given proposition. It uses a search procedure which efficiently selects the seemingly best proposition to work on next. This program is multipurpose in that the domains it can handle are varied.As an initial experiment, the program was given the task of searching for proofs and disproofs of propositions about kalah end games. Kalah is a two-person game. In another experiment the program, after some modifications, played the game of kalah. This program was compared with another tree-searching procedure, the Alpha-Beta minimax procedure; the results have been encouraging since the program is fast and efficient. Its greatest usefulness is in solving large problems. It is hoped that this program has added one more step toward the goal of eventually obtaining computer programs which can solve intellectually difficult problems.