Lineární logika
Vzhled
Lineární logika je verze formální logiky, v níž při odvození dochází k vyřazení antecedentu z množiny formulí. Máme-li například a pravidlo (lineární implikaci) , můžeme odvodit , tj. A "zmizí" a není již k dispozici pro další pravidla.
Používá se zejména při zpracování přirozeného jazyka pro generování logické reprezentace vět (poprvé byla pro tuto úlohu použita v lexikálně-funkční gramatice). Například význam slovesa věty John loves Mary lze vyjádřit takto:
Protože v lineaární logice platí a lineární konjunkce je komutativní, lze stejný konstruktor významu použít beze změny také například pro topikalizovanou verzi stejné věty Mary, John loves.
Externí odkazy
[editovat | editovat zdroj]- Obrázky, zvuky či videa k tématu Lineární logika na Wikimedia Commons