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 hdl:20.500.11880/25964 http://dx.doi.org/10.22028/D291-25908 |
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 | Size | Format | |
---|---|---|---|---|
Dissertation_130_Konr_Kars_2000.pdf | 35,26 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.