Gramatyka Kategorialna Języka Polskiego

Prelegent(ci)

Wojciech Jaworski

Afiliacja

Uniwersytet Warszawski

Termin

7 października 2011 14:15

Pokój

p. 5820

Seminarium

Seminarium badawcze Zakładu Logiki: Wnioskowania aproksymacyjne w eksploracji danych

---

Celem referatu jest prezentacja formalizmu gramatycznego opartego na niekomutatywnej intuicjonistycznej logice liniowej. Formalizm ten utożsamia wywody gramatyczne z twierdzeniami w logice liniowej. Przedstawię pełny system dowodowy dla mojej logiki a następnie pokażę w jaki sposób można go aproksymować systemem słabszym ale za to pozwalającym  efektywnie parsować (dowodzić) za pomocą parsera tablicowego. Jedną z zalet prezentowanego formalizmu jest zdolność do reprezentowania w zwarty sposób niejednoznaczności pojawiających się podczas analizy morfologicznej oraz składniowej. Pozwala to zastąpić dezambiguację morfosyntaktyczną przez ujednoznacznianie sensów słów w oparciu o bazę wiedzy. Następnie pokażę w jaki sposób w oparciu o analizator morfologiczny "Morfeusz" można zbudować prosty leksykon umożliwiający przetwarzanie wypowiedzi w języku polskim. Na koniec zaprezentuję wstępną wersję programu generującego drzewa rozbioru składniowego za pomocą opisanego formalizmu.

---