|
Elżbieta Hajnicz
Przegląd formalnych metod semantycznych
[A survey of fomal semantic methods]
965
Abstract
This report contains a survey of three formalisms serving to represent
natural languege semantics and based on model theory. We choose Montague
Semantics, Discourse Reprezention 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.
Keywords : natural language semantics, logic formalisms,
modeltheoretic approach.
|
|
 |
 |
