|
|
Výzkum |
| Kolokvia |
středa 30. listopadu 2016 od 13:00
Přirozený jazyk je jedním z nejdůležitějších nástrojů lidstva.
Jedním z mnoha zájmů jazykovědců je studium významu (sémantiky) vět.
Lze význam vět formalisovat? Ukážeme jeden z možných přístupů
k formalisaci velmi jednoduchého fragmentu přirozeného jazyka (angličtiny).
Tento přístup používá metody teorie kategorií, abstraktní matematické
disciplíny. Na příkladech předvedeme obrázkový kalkulus pro výpočet
významu jednoduchých vět.