Information Services banner Edinburgh Research Archive The University of Edinburgh crest

Edinburgh Research Archive >
Informatics, School of >
Informatics thesis and dissertation collection >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1842/6646

This item has been viewed 113 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
Pereira1982PhD_full.pdf8.93 MBAdobe PDF
Pereira1982.pdf2.33 MBAdobe PDFView/Open
Title: Logic for Natural Language Analysis
Authors: Pereira, Fernando Carlos Neves
Supervisor(s): Howe, Jim
Meltzer, B.
Issue Date: 1982
Publisher: The University of Edinburgh
Abstract: This work investigates the use of formal logic as a practical tool for describing the syntax and semantics of a subset of English, and building a computer program to answer data base queries expressed in that subset. To achieve an intimate connection between logical descriptions and computer programs, all the descriptions given are in the definite clause subset of the predicate calculus, which is the basis of the programming language Prolog. The logical descriptions run directly as efficient Prolog programs. Three aspects of the use of logic in natural language analysis are covered: formal representation of syntactic rules by means of a grammar formalism based on logic, extraposition grammars;. formal semantics for the chosen English subset, appropriate for data base queries; informal semantic and pragmatic rules to translate analysed sentences into their formal semantics. On these three aspects, the work improves and extends earlier work by Colmerauer and others, where the use of computational logic in language analysis was first introduced.
Sponsor(s): Science and Engineering Research Council
British Council
Keywords: Computational linguistics
Natural language processing
Linguistics
Data processing
Prolog
predicate calculus,
URI: http://hdl.handle.net/1842/6646
Appears in Collections:Informatics thesis and dissertation collection

Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2013, and/or the original authors. Privacy and Cookies Policy