An Efficient Easily Adaptable System for Interpreting Natural Language Queries

This paper gives an overall account of a prototype natural language question answering system, called Chat-80. Chat-80 has been designed to be both efficient and easily adaptable to a variety of applications. The system is implemented entirely in Prolog, a programming language based on logic. With the aid of a logic-based grammar formalism called extraposition grammars, Chat-80 translates English questions into the Prolog subset of logic. The resulting logical expression is then transformed by a planning algorithm into efficient Prolog, cf. "query optimisation" in a relational database. Finally, the Prolog form is executed to yield the answer. On a domain of world geography, most questions within the English subset are answered in well under one second, including relatively complex queries.

[1]  William A. Woods,et al.  Computational Linguistics Transition Network Grammars for Natural Language Analysis , 2022 .

[2]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[3]  Michael Stonebraker,et al.  The design and implementation of INGRES , 1976, TODS.

[4]  Semantic grammar: an engineering technique for constructing natural language understanding systems , 1977, SGAR.

[5]  Fernando Pereira,et al.  Prolog - the language and its implementation compared with Lisp , 1977, Artificial Intelligence and Programming Languages.

[6]  David H. D. Warren,et al.  Prolog - the language and its implementation compared with Lisp , 1977, Artificial Intelligence and Programming Languages.

[7]  William A. Woods,et al.  Semantics and Quantification in Natural Language Question Answering , 1986, Adv. Comput..

[8]  K. VanLehn Determining the Scope of English Quantifiers , 1978 .

[9]  Leonard Bolc Natural Language Communication with Computers , 1978, Lecture Notes in Computer Science.

[10]  Alain Colmerauer,et al.  Metamorphosis Grammars , 1978, Natural Language Communication with Computers.

[11]  Verónica Dahl,et al.  Quantification in a Three-Valued Logic for Natural Language Question-Answering Systems , 1979, IJCAI.

[12]  Donald Michie,et al.  Expert systems in the micro-electronic age , 1979 .

[13]  David H. D. Warren,et al.  Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks , 1980, Artif. Intell..

[14]  Verónica Dahl Translating Spanish into Logic through Logic , 1981, Am. J. Comput. Linguistics.

[15]  David H. D. Warren,et al.  Efficient Processing of Interactive Relational Data Base Queries expressed in Logic , 1981, VLDB.

[16]  Fernando Pereira,et al.  Extraposition Grammars , 1981, Am. J. Comput. Linguistics.

[17]  Michael C. McCord Using Slots and Modifiers in Logic Grammars for Natural Language , 1982, Artif. Intell..

[18]  Fernando Carlos Neves Pereira,et al.  Logic for natural language analysis , 1982 .