Please use this identifier to cite or link to this item: doi:10.22028/D291-25908
Title: Model generation for natural language interpretation and analysis
Author(s): Konrad, Karsten
Language: English
Year of Publication: 2000
SWD key words: Natürliche Sprache
Formale Semantik
Semantische Analyse
Modellgenerierung <Künstliche Intelligenz>
Automatisches Beweisverfahren
Free key words: natural language
model generation
formal semantic representation
DDC notations: 004 Computer science, internet
Publikation type: Dissertation
Abstract: Model generation refers to the automatic generation of mathematical structures that prove the satisfiability of logical theories. The research documented in this thesis investigates the use of model generation in the analysis and interpretation of formal semantic representations of natural language. Based on standard techniques for first-order model generation, we develop a model generation technique for a restricted higher-order logic and show how this method can be used to investigate the criteria that distinguish valid natural-language interpretations from interpretations that do not correspond to the intended meaning of the represented sentences. In particular, we investigate the analysis of singular definite descriptions and reciprocal sentences and show that model generation gives a computational method for describing theories of prefernece for natural-language interpretations.
nicht vorhanden
Link to this record: urn:nbn:de:bsz:291-scidok-13411
Advisor: Siekmann, Jörg
Date of oral examination: 31-Jan-2000
Date of registration: 19-Nov-2007
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
Dissertation_130_Konr_Kars_2000.pdf35,26 MBAdobe PDFView/Open

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