|
ABSTRACT
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.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Bennett, S., Answer and Reason Extraction in Theorem Proving, (Scholarly Paper 117, Univ. of Maryland, 1973).
|
 |
2
|
|
| |
3
|
|
| |
4
|
Chester, D., The translation of formal proofs into English, Artificial Intelligence, 3 (1976).
|
 |
5
|
|
| |
6
|
Elovitz, H. S., Automatic Text Translations to Speech Via Letter-to-Sound Rules, (Scholarly Paper, Univ. of Maryland, 1975).
|
| |
7
|
|
| |
8
|
Fishman, D. H. and Minker, J., II-Representation: Clause Representation for Parallel Search, Artificial Intelligence 6, 2, 102-127 (1975).
|
| |
9
|
Hill, R., LUSH Resolution and its Completeness, (Univ. of Edinburgh, School of Artificial Intelligence, DCL Memo No. 78, August 1974).
|
| |
10
|
Klein, M., Translating II-Clauses into English, (Scholarly Paper, Univ. of Maryland, June 1976).
|
| |
11
|
Kowalski, R. and Kuehner, D., Linear resolution with selection function, Artificial Intelligence 2 (1971).
|
| |
12
|
Kowalski, R., Predicate logic as programming language, Proceedings of IFIP, 569 (1974).
|
| |
13
|
Luckham, D. and Nilsson, N., Extracting information from resolution proof trees, Artificial Intelligence 2 (1971).
|
| |
14
|
McSkimin, J. and Minker, J. A Predicate Calculus Based Semantic Network for Question-Answering Systems, (TR-509, University of Maryland, Dept. of Computer Science, March 1977).
|
| |
15
|
Minker, J. and Wilson, G. A note on answer extraction in resolution based theorem proving, International Journal of Computers and Information Sciences, 6, 3 (1977).
|
| |
16
|
Minker, J., Information Storage and Retrieval - A Survey and Functional Description, (TR-369, Univ. of Maryland, Dept. of Computer Science, April 1975).
|
| |
17
|
Minker, J., Search Strategy and Selection Function for an Inferential Relation System, (TR-497, Univ. of Maryland, Dept. of Computer Science, December 1976).
|
| |
18
|
Minker, J., An experimental relational data base system based on logic, in Logic and Data Bases, H. Gallaire and J. Minker, eds, p. 107-148 (Plenum Press, New York, 1978).
|
| |
19
|
|
| |
20
|
Powell, P., Answer-Reason Extraction in a Parallel Relational Data Base System, (Master's Thesis, University of Maryland, April 1977).
|
| |
21
|
Powell, P., MRPPS 3.0 User's Manual, (to be published at the Univ. of Maryland, 1978).
|
 |
22
|
|
| |
23
|
Thompson, P. Rule Precedence within Context-Sensitive Grammars; An Extension of the Letter to Sound Rules Used in Voice Production, (Scholarly Paper, Univ. of Maryland, 1976).
|
Peer to Peer - Readers of this Article have also read:
-
Data structures for quadtree approximation and compression
Communications of the ACM
28, 9
Hanan Samet
-
A hierarchical single-key-lock access control using the Chinese remainder theorem
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee
, Huizhu Lu
, D. D. Fisher
-
The GemStone object database management system
Communications of the ACM
34, 10
Paul Butterworth
, Allen Otis
, Jacob Stein
-
Putting innovation to work: adoption strategies for multimedia communication systems
Communications of the ACM
34, 12
Ellen Francik
, Susan Ehrlich Rudman
, Donna Cooper
, Stephen Levine
-
An intelligent component database for behavioral synthesis
Proceedings of the 27th ACM/IEEE Design Automation Conference on
Gwo-Dong Chen
, Daniel D. Gajski
|