Kreuger, Per (1988) A higher order logic parser for natural language implemented in Lambda Prolog. [SICS Report]
This paper describes an implementation of some of the ideas presented by F.C.N. Pereira in . Pereira uses a sequent-calculus like system to produce Montague semantics from natural language. The lefthand sequent can be interpreted as a set of constraints under which a given sentence fragment has a certain interpretation. Pereira presents a few complementary "discharge-rules" to reduce the number of such constraints. These conditional interpretations constitute a uniform way to represent partial knowledge during the parsing process. The implementation this paper describes is done in Lambda Prolog . Lambda Prolog is a generalization of horn-clause logic to higher order logic, based on the higher order unification procedure of Huet . It appears that the implementation of Pereira's system in Lambda Prolog becomes very natural. The higher order unification mechanism of Lambda takes care of the complicated binding mechanisms in Pereira's "discharge-rules" in a very simple and elegant way. Finally, the paper discusses some problems with the implementation and gives a few suggestions on how these could be overcome.
|Item Type:||SICS Report|
|Additional Information:||Original report number R88008.|
|Deposited By:||Vicki Carleson|
|Deposited On:||17 Sep 2009|
|Last Modified:||18 Nov 2009 16:10|
Repository Staff Only: item control page