Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication in EndNote Format

%0 Report %@ 4 %A Green, C. %T Application of Theorem Proving to Problem Solving %C 333 Ravenswood Ave, Menlo Park, CA 94025 %I AI Center, SRI International %D 1969 %K Theorem proving, Problem solving, QA3, Shakey %X This paper shows how an extension of the resolution proof procedure can be used to construct problem solutions. The extended proof procedure can solve problems involving state transformations. The paper explores several alternate problem representations and provides a discussion of solutions to sample problems including the “Monkey and Bananas” puzzIe and the “Tower of Hanoi” puzzle. The paper exhibits solutions to the problems obtained by QA3, a computer program based on the theorem-proving methods. In addition, the paper shows how QA3 can write simple computer programs and can solve practical problems for a simple robot. %O Project 7494
Presented at IJCAI 1969 %U http://www.ai.sri.com/pubs/files/tn004-green69.pdf

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy