Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25908
Titel: Model generation for natural language interpretation and analysis
Verfasser: Konrad, Karsten
Sprache: Englisch
Erscheinungsjahr: 2000
SWD-Schlagwörter: Natürliche Sprache
Formale Semantik
Semantische Analyse
Modellgenerierung <Künstliche Intelligenz>
Automatisches Beweisverfahren
Freie Schlagwörter: natural language
model generation
formal semantic representation
DDC-Sachgruppe: 004 Informatik
Dokumentart : Dissertation
Kurzfassung: 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 zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-13411
hdl:20.500.11880/25964
http://dx.doi.org/10.22028/D291-25908
Erstgutachter: Siekmann, Jörg
Tag der mündlichen Prüfung: 31-Jan-2000
SciDok-Publikation: 19-Nov-2007
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Dissertation_130_Konr_Kars_2000.pdf35,26 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.