SODA

Developing a natural language interface and connecting it to a first order logic theorem prover

Bång, Anna and Lindberger, Per (1989) Developing a natural language interface and connecting it to a first order logic theorem prover. [SICS Report]

[img]
Preview
PDF
4Mb

Abstract

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.
ID Code:2178
Deposited By:Vicki Carleson
Deposited On:14 Jan 2009
Last Modified:18 Nov 2009 16:01

Repository Staff Only: item control page