Bång, Anna and Lindberger, Per (1989) Developing a natural language interface and connecting it to a first order logic theorem prover. [SICS Report]
In this thesis we describe and develop a simple natural language interface for AI applications. The interface is based on TALK, a system originating from Fernando C. N. Pereira and Stuart M. Shieber. After a brief presentation of their system we delineate implementations of several indispensable language constructions. A complete example, a puzzle solving program combining the enhanced NL interface with a theorem prover, is included. Finally, we discuss and carry out a "purification" of our system, thus enabling it to run in a parallel logic programming environment not fully compatible with Prolog.
|Item Type:||SICS Report|
|Additional Information:||Original report number T89015.|
|Deposited By:||Vicki Carleson|
|Deposited On:||14 Jan 2009|
|Last Modified:||18 Nov 2009 16:01|
Repository Staff Only: item control page