Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Logická analýza přirozeného jazyka Marek Medveď Centrum zpracování přirozeného jazyka Fakulta Informatiky, Masarykova Univerzita Botanická 68a, 602 00 Brno xmedved1@fi.muni.cz PA153 Počítačové zpracování přirozeného jazyka Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Obsah 1 Motivace 2 Predikátová logika 3 Co je význam 4 Transparentní intenzionální logika Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Logická analýza přirozeného jazyka Převod jazyka do formální logiky formální odvozování interlingua pro strojový překlad přesné vyjádření faktů Jaký formalismus? predikátová logika modální logiky transparentní intenzionální logika Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Přirozený jazyk ! predikátová logika Jak zapíšeme „Některá prvočísla jsou sudá” „Některá lichá čísla jsou sudá” „Někteří chytří lidé jsou líní” „Žádný starý mládenec není ženatý” „Žádný starý mládenec není bohatý” „Miloš Zeman je prezidentem ČR.” „Karel počítá 5 + 7” Co je špatně? Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Přirozený jazyk ! predikátová logika Jak zapíšeme „Některá prvočísla jsou sudá” „Některá lichá čísla jsou sudá” „Někteří chytří lidé jsou líní” „Žádný starý mládenec není ženatý” „Žádný starý mládenec není bohatý” „Miloš Zeman je prezidentem ČR.” „Karel počítá 5 + 7” Co je špatně? různé typy pravdivosti nedostatečně granulární popis Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Přirozený jazyk ! predikátová logika Karel počítá 5 + 7 5 + 7 = 12 Karel počítá 12 Miloš Zeman je prezidentem ČR. Karel Schwarzenberg se chtěl stát prezidentem ČR. Karel Schwarzenberg se chtěl stát Milošem Zemanem. Není pravda, že Francouzský král je holohlavý Francouzský král není holohlavý Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Přirozený jazyk ! predikátová logika Predikátovou logiku lze použít pro přirozený jazyk některé aplikace to dělají ale ne vždy musíme si být vědomi limitů jejich obcházení je možné, ale může být složité Výhody predikátové logiky je jednoduchá je dobře prozkoumaná existuje inferenční stroj Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Co je význam výrazu Fregeho model sémantiky Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Koncepce možných světů Možný svět množina bezesporných výroků o univerzu aktuální svět je jeden z možných světů Empirická pravdivost pravdivost výpovědi závisí na světě význam je na světě nezávislý Intenzionální logiky intenze (nezávisí na světě) extenze (denotáty v nějakém světě) Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Transparentní intenzionální logika Pavel Tichý, Pavel Materna Procedurální logika zavádí kromě aktuálního světa ještě aktuální čas význam je konstrukce, tj. abstraktní procedura (algoritmus), který dosadí aktuální svět a čas, a tím vytvoří objekt (extenzi) notace jako lambda funkce Typovaná logika o – pravda, nepravda ◆ – množina individuí ⌧ – množina reálných čísel (časových okamžiků) ! – množina možných světů ((o⌧)!) – propozice (((o◆)⌧)!) – vlastnost ((o◆)⌧!) Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Transparentní intenzionální logika – příklady Miloš Zeman je prezidentem ČR. w t[ = Miloš_Zeman Prezident_ČRwt ] typ o⌧! Miloš_Zeman/◆ Prezident_ČR/◆⌧! = /(o◆◆) Schwarzenberg chtěl být prezidentem ČR. w t[ chtít_býtwt Schwarzenberg Prezident_ČR ] o⌧! Schwarzenberg/◆ Prezident_ČR/◆⌧! chtít_být/(o◆◆⌧!)⌧! Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Transparentní intenzionální logika – příklady 5 + 7 [ + 5 7 ] typ ⌧ 5, 7/⌧ + /(⌧⌧⌧) Karel počítá 5 + 7. w t[ počítatwt Karel 0[ + 5 7 ] ] typ o⌧! 0[+ 5 7]/⇤1 počítat/(o◆⇤1)wt Karel/◆ Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Algoritmus normální translace Automatická konverze z přirozeného jazyka do konstrukcí TIL doc. Aleš Horák morfologická analýza syntaktická analýza konverze stromu na formuli typová kontrola výstup všech vrstev je víceznačný implementace v analyzátoru Synt Další požadavky slovník typů (sněžit vs. dát – využití lexikonu VerbaLex) pravidla typové kontroly Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Transparentní intenzionální logika – pro a proti Pro korektní a velmi jemná analýza jazyka umožňuje korektní obecné vyvozování Proti vysoký stupeň složitosti málo rozšířená často není shoda expertů na tom, co je správně Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Transparentní intenzionální logika na FI doc. Aleš Horák prof. Pavel Materna předměty Logická analýza přirozeného jazyka Minikorpus správných konstrukcí https://corpora.fi.muni.cz/til Sémantická síť konstrukcí jako báze znalostí pro další vyvozování Marek Medveď FI MU Brno Logická analýza přirozeného jazyka Obsah Pragmatika Griceův kooperační princip Řečové akty Pragmatické aspekty přirozeného jazyka Marek Medveď Centrum zpracování přirozeného jazyka Fakulta Informatiky, Masarykova Univerzita Botanická 68a, 602 00 Brno xmedved1@fi.muni.cz PA153 Počítačové zpracování přirozeného jazyka Marek Medveď FI MU Brno Pragmatické aspekty přirozeného jazyka Obsah Pragmatika Griceův kooperační princip Řečové akty Obsah 1 Pragmatika 2 Griceův kooperační princip 3 Řečové akty Marek Medveď FI MU Brno Pragmatické aspekty přirozeného jazyka Obsah Pragmatika Griceův kooperační princip Řečové akty Pragmatika principy jazyka, které nesouvisí s jazykovou strukturou situační a obecný kontext interakce jazykové struktury s kontextem Příklady „Kolik je hodin?” ve 3 ráno při návratu z akce „Máte párek v rohlíku?” – „Kečup nebo hořčice?” „Kolik je hodin?” – „Teď došly noviny” „Mohl bys otevřít okno?” Marek Medveď FI MU Brno Pragmatické aspekty přirozeného jazyka Obsah Pragmatika Griceův kooperační princip Řečové akty Pragmatika – základní pojmy Externí pragmatika – komunikační situace {{o1, ..., on}, m, p, t, l} promluvové objekty, mluvčí, posluchač, čas, místo deiktické výrazy (já, tady, teď) – proměnné, které nabývají hodnot až v určité komunikační situaci Interní pragmatika vztah mezi uživateli jazyka a obsahem výpovědi oznamovací, tázací, rozkazovací, přací (desiderativní) Implikatury inference zamýšlené mluvčím mluvčí má komunikační záměr cílem je přenést záměr na příjemce „Nelze nekomunikovat.” Marek Medveď FI MU Brno Pragmatické aspekty přirozeného jazyka Obsah Pragmatika Griceův kooperační princip Řečové akty Griceův kooperační princip „Kooperuj s komunikačními partnery.” mluvčí dodržuje určitá pravidla posluchač předpokládá, že je mluvčí dodržuje Konverzační maximy maxim kvality: říkej pravdu maxim kvantity: říkej jen to, co je nutné maxim relevance: drž se tématu maxim způsobu: mluv zřetelně a jednoznačně „Kde je Vilém?” – „Před Zuzaniným domem stojí modrá Škodovka.” Konverzační implikatury plynou z dodržení nebo nedodržení principů „Hana má 4 děti.” „Válka je válka.” Marek Medveď FI MU Brno Pragmatické aspekty přirozeného jazyka Obsah Pragmatika Griceův kooperační princip Řečové akty Řečové akty Přenos informace není jedinou funkcí jazyka „Omlouvám se.” „Podávám protest.” „Dávám své slovo.” „Odkazuji svůj dům své tetě Alici.” „Tímto vás prohlašuji za manžele.” Každá věta má konstativní složku (význam) performativní složku (mění stav světa) Typy/složky řečových aktů lokuční: význam, odkazy na objekty ilokuční: mluvčí něco koná perlokuční: vliv na posluchače mimo obsah Marek Medveď FI MU Brno Pragmatické aspekty přirozeného jazyka