Change search
ReferencesLink to record
Permanent link

Direct link
A higher order logic parser for natural language implemented in Lambda Prolog
Number of Authors: 1
1988 (English)Report (Refereed)
Abstract [en]

This paper describes an implementation of some of the ideas presented by F.C.N. Pereira in [1]. 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 [2]. Lambda Prolog is a generalization of horn-clause logic to higher order logic, based on the higher order unification procedure of Huet [3]. 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.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1988, 1. , 12 p.
SICS Research Report, ISSN 0283-3638 ; R88:08
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14389OAI: diva2:1035677
Original report number R88008.Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(978 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 978 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link