Przegląd formalnych metod semantycznych

Niniejsze opracowanie zawiera przegląd trzech formalizmów, służących do reprezentacji semantyki j. naturalnych, opartych na teorii modeli. Są to: Semantyka Montague, Teoria Reprezentacji Dyskursu (ang. Discourse Reprezention Theory (DRT)) oraz Semantyka oparta na zasobach leksykalnych (ang. Lexical Resource Semantics (LRS)). Dla każdego z tych rozwiązań przedstawiamy formalizm logiczny będący jego podstawą, przykładową gramatykę dla (ograniczonego) fragmentu j. angielskiego oraz zbiór zasad translacji rozbiorów gramatycznych uzyskanych w wybranej gramatyce na właściwy formalizm. Na koniec prezentowane jest porównanie prezentowanych podejść.

---

This report contains a survey of three formalisms serving to represent natural language semantics and based on model theory. We choose Montague Semantics, Discourse Representation Theory (DRT) and Lexical Resource Semantics (LRS). For every solution, we present logical formalism it is based on, an exemplary grammar for a (limited) fragment of English and a set of rules of translation of syntactic analysis obtained in a chosen grammar onto the appropriate formalism. Finally, we present a comparison of the solutions under presentation.