The Application of Theorem Proving to Question-answering Systems

Released on by Claude Cordell Green
preview-18

  • The Application of Theorem Proving to Question-answering Systems Book Detail

  • Author : Claude Cordell Green
  • Release Date : 1970
  • Publisher :
  • Genre : Algorithms
  • Pages : 186
  • ISBN 13 :
  • File Size : 84,84 MB
DOWNLOAD BOOK

The Application of Theorem Proving to Question-answering Systems by Claude Cordell Green PDF Summary

Book Description: The paper shows how a question-answering system can use first-order logic as its language and an automatic theorem prover, based upon the resolution inference principle, as its deductive mechanism. The resolution proof procedure is extended to a constructive proof procedure. An answer construction algorithm is given whereby the system is able not only to produce yes or no answers but also to find or construct an object satisfying a specified condition. A working computer program, QA3, based on these ideas, is described. Methods are presented for solving state transformation problems. In addition to question-answering, the program can do automatic programming, control and problem solving for a simple robot, pattern recognition, and puzzles. (Author).

Disclaimer: www.yourbookbest.com does not own The Application of Theorem Proving to Question-answering Systems books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.