Accession Number : AD0754801

Title :   Inferential Question Answering: Extending Converse.

Descriptive Note : Technical rept.,

Corporate Author : SYSTEM DEVELOPMENT CORP SANTA MONICA CALIF

Personal Author(s) : Travis,Larry ; Kellogg,Charles ; Klahr,Philip

Report Date : 31 JAN 1973

Pagination or Media Count : 80

Abstract : The paper describes a deductive component developed for use by an existing question-answering system. The emphasis is on deduction within a question-answering context rather than within a mathematical inference system. The inference component was designed to find, for a given input question, the relevant general premises needed for deduction from a very large number of possible premises, most of which are irrelevant to any particular problem at hand. The inference system first constructs preliminary, skeletal derivation proposals. The purpose of these proposals is to find possible deductions before any attempt is made to verify the proposals. Verification is thus delayed until overall proof plans have been established. Later phases of processing examine the variable flow within a proposal to detect possible collisions and search the fact file for compatible sets of values for instantiation. The use of semantic information to aid deduction is incorporated into the system. (Author)

Descriptors :   (*INFORMATION RETRIEVAL, *SEARCH THEORY), MATHEMATICAL LOGIC, SET THEORY, ENGLISH LANGUAGE

Subject Categories : Information Science

Distribution Statement : APPROVED FOR PUBLIC RELEASE