Logical Representation of Language Structures
Logical Representation of Language Structures
rigorous thesis (RECOGNIZED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/3245Identifiers
Study Information System: 43935
Collections
- Kvalifikační práce [11211]
Author
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Program for future teachers of computer science for high schools in combination with professional computer science
Department
Institute of Formal and Applied Linguistics
Date of defense
16. 3. 2006
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
Czech
Grade
Recognized
Tato diplomová práce má být základem pro manuál sémantické anotace, která bude zachycovat logickou strukturu psaných i mluvených textů v přirozeném jazyce. Logická reprezentace, jakož i pravidla pro její vytváření, jsou jazykově nezávislé. Práce vychází z temporální logiky Marka Steedmana a formálním jazykem je hybridní multimodální logika podle Patricka Blackburna. Inspiruje se Dependency Grammar Logic Geert-Jana Kruijffa, ovšem místo roviny jazykového významu zachycuje rovinu významu logického - obsahu. Základními problémy řešenými v této práci jsou segmentace vstupního textu do logických jednotek, zachycení referentů v diskurzu, reprezentace časoprostoru, vliv aktuálního členění na logický obsah a sémantické kategorie potřebné pro anotaci. Závěr tvoří příklad anotovaného diskurzu a anotace 37 testovacích vět Jana Hajiče.
This thesis is meant as a basis for a semantic annotation manual. The annotation will translate the logical structure of written and spoken speech by a language-independent manner. The basis for this thesis can be found in temporal logic of Mark Steedman and the formalism introduced here elaborates on Patrick Blackburn's hybrid multimodal logic and Dependency Grammar Logic of Geert-Jan Kruijff, although it represents not the level of linguistic meaning but rather the level of logical meaning (content). The main issues discussed in this thesis are input text segmentation into logical units, discourse referents representation, time-spatial representation, the impact of topic-focus articulation on the logical content and the semantic categories needed for the annotation. In the last two chapters a complete discourse example and the annotation of 37 test cases of Jan Hajič are presented.