Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A higher order logic parser for natural language implemented in Lambda Prolog
RISE, Swedish ICT, SICS, Decisions, Networks and Analytics lab.ORCID iD: 0000-0002-9331-0352
1988 (English)Report (Other academic)
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.
Series
SICS Research Report, ISSN 0283-3638 ; R88:08
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-22201OAI: oai:DiVA.org:ri-22201DiVA: diva2:1041745
Note

Original report number R88008.

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-10-12Bibliographically approved

Open Access in DiVA

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

Search in DiVA

By author/editor
Kreuger, Per
By organisation
Decisions, Networks and Analytics lab
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 2 downloads
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

CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.28.0