NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Global parallel unification for large question-answering systemsAn efficient means of storing data in a first-order predicate calculus theorem-proving system is described. The data structure is oriented for large scale question-answering (QA) systems. An algorithm is outlined which uses the data structure to unify a given literal in parallel against all literals in all clauses in the data base. The data structure permits a compact representation of data within a QA system. Some suggestions are made for heuristics which can be used to speed-up the unification algorithm in systems.
Document ID
19740021432
Acquisition Source
Legacy CDMS
Document Type
Contractor Report (CR)
Authors
Auguston, J. G. (Maryland Univ. College Park, MD, United States)
Minker, J. (Maryland Univ. College Park, MD, United States)
Date Acquired
September 3, 2013
Publication Date
June 1, 1974
Subject Category
Computers
Report/Patent Number
TR-307
NASA-CR-139212
Report Number: TR-307
Report Number: NASA-CR-139212
Accession Number
74N29545
Funding Number(s)
CONTRACT_GRANT: NGR-21-002-270
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available