Obsah Motivace Predikátová logika Co je význam Transparentní intenzionální logika Logická analýza přirozeného jazyka Vojtěch Kovář Centrum zpracování přirozeného jazyka Fakulta Informatiky, Masarykova Univerzita Botanická 68a, 602 00 Brno xkovar3@fi.muni.cz PA153 Počítačové zpracování přirozeného jazyka Vojtěch Kovář 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 Vojtěch Kovář 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 Vojtěch Kovář 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ě? Vojtěch Kovář 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 Vojtěch Kovář 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ý Vojtěch Kovář 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 Vojtěch Kovář 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 Vojtěch Kovář 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ě) Vojtěch Kovář 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ι)τω) Vojtěch Kovář 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ιιτω)τω Vojtěch Kovář 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/ι Vojtěch Kovář 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 Vojtěch Kovář 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ě Vojtěch Kovář 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í Vojtěch Kovář FI MU Brno Logická analýza přirozeného jazyka