Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2 Hajnicz E.

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: podejście teoriomodelowe

Sortuj według:

Ogranicz wyniki do:

O poszukiwaniu jednorożców, czyli sematyka możliwych światów w gramatyce Montague

Hajnicz E.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2006

Nr 995

1-78

Niniejszy raport opisuje własności formalne gramatyki Montague, jakie ujawniły się podczas tworzenia polskiej wersji formalizmu. Najpierw prezentowane są techniki przedefiniowywania typu obiektów oraz tzw. postulaty znaczeniowe, które umożliwiają przekształcanie wyrażeń formalizmu na postać reprezentującą znaczenie wypowiedzeń języka naturalnego w sposób bardziej intuicyjny. Na koniec omawiane są zjawiska, dla których ten potężny mechanizm został poniekąd stworzony: byty hipotytyczne i przykładowy czasownik wiedzy wiedzieć.

The present report describes formal properties of Montague grammar which have appeared during elaboration of the polish version of the formalism. First, techniques of redefining of object types and so called meaning postulates are presented. They enable us to transform expressions of the logic onto the form representing meaning of the natural language expressions in more intuistic way. Some limitations of the formalism are discussed. Last but not least, there are handled phenomena, for which this powerful intenssional phormalism was elaborated: hypothetical beings and knowledge verbs represented by the verb believe

Przegląd formalnych metod semantycznych

Hajnicz E.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2003

Nr 965

1-102

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.