Wykład dr Justyny Grudzińskiej pt.: "Semantyka z typami zależnymi: dynamiczne aspekty kwantyfikacji"

godzina 10.00

Abstrakt: W moim drugim wystąpieniu przedstawię (w sposób bardziej szczegółowy) semantykę z typami zależnymi (Dependent Type Semantics, DTS) – system semantyczny, który pozwala poprawnie zinterpretować relacje anaforyczne pomiędzy wyrażeniami kwantyfikatorowymi a tzw. niezwiązanymi zaimkami. We wstępie omówię podstawowe rodzaje efektów anaforycznych (dynamicznych) związanych z kwantyfikacją w języku naturalnym (anaforę maksymalną, ‘anaforę oślą', efekt dynamiczny w postaci zależności, kontynuacje kumulatywne i rozgałęzione). Następnie przedstawię główne elementy DTS: (i) mechanizm uogólnionych prefiksów kwantyfikatorowych, który umożliwia kompozycyjne ujęcie wieloznaczności zasięgowych, (ii) teoriotypowe pojęcie kontekstu i typy zależne, (iii) mechanizm dynamicznego rozszerzania kontekstu oraz nowy algorytm, który pozwala zinterpretować wszystkie najważniejsze omówione we wstępie rodzaje efektów anaforycznych (dynamicznych). [Jest to wspólna praca z Markiem Zwadowskim]

3. System with Generalized Quantifiers on Dependent Types for Anaphora (z Markiem Zawadowskim), EACL proceedings of the TTNLS workshop on Type Theory and Natural Language Semantics (Cooper, Dobnik, Lappin, Larsson, eds) EACL 2014, Gothenburg, 10-18. 

Pierwsza część wykładu odbędzie się w czwartek, 10 XII, o godz. 17.30, w sali 28.