BibSonomy :: publication ::

tag user group author concept BibTeX key search:all search:diego_ma

The blue social bookmark and publication sharing system.

entry of diego_ma:

(0)

This publication has not been reviewed yet.

rating distribution

average user rating

The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.

(0.0 of 5.0 based on 0 reviews)

Theorem-Proving by Resolution as a Basis for Question-Answering Systems

by: Cordell Green

In: Machine Intelligence, Vol. 4Edinburgh University Press (1969) , p. 183-205.

Abstract

This paper shows how a question-answering system can be constructed using first-order logic as its language and a resolution-type theorem-prover as its deductive mechanism. A working computer program, QA3, based on these ideas is described. The performance of the program compares favorably with several other general question-answering systems.

BibTeX record

@incollection{Green:1969,
  abstract = {This paper shows how a question-answering system can be constructed using first-order logic as its language and a resolution-type theorem-prover as its deductive mechanism. A working computer program, QA3, based on these ideas is described. The performance of the program compares favorably with several other general question-answering systems.},
  added-at = {2007-12-14T02:39:32.000+0100},
  author = {Green, Cordell},
  biburl = {http://www.bibsonomy.org/bibtex/20980ffdcd2f500951a41509f27b9da4a/diego_ma},
  booktitle = {Machine Intelligence},
  chapter = 11,
  editor = {Meltzer, Bernard and Michie, Donald},
  interhash = {2c189470606315e97417fd4150264c08},
  intrahash = {0980ffdcd2f500951a41509f27b9da4a},
  keywords = {question_answering logic},
  pages = {183-205},
  publisher = {Edinburgh University Press},
  timestamp = {2007-12-14T02:39:32.000+0100},
  title = {Theorem-Proving by Resolution as a Basis for Question-Answering Systems},
  volume = 4,
  year = 1969
}

Endnote record