A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Relational Data-Base Management Systems
ACM Computing Surveys (CSUR)
A relational model of data for large shared data banks
Communications of the ACM
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Experiments with a resolution-based deductive question-answering system and a proposed clause representation for parallel search.
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Definition of database transactions by the casual user
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Hi-index | 0.00 |
A method to output answers and reasons in English and/or voice in a question-answering system is presented. The system for which the output is designed has a relational data base. A description of &pgr;-relations is given. A &pgr;-relation is one which has multiple values for the predicate or arguments of the relation. The natural language output uses predicate and function patterns for the &pgr;-relations. Pattern construction and pattern expansion into English sentences are described. The context-sensitive translator which converts written sentences into voice output is also described. Lastly, an algorithm is given which extracts the answer and reasons from a proof. The reasons are logically grouped so the user may easily follow the deductive proof procedure. The above has been implemented as part of the MRPPS 3.0 system at the University of Maryland.