ZVYŠOVÁNÍ ODBORNÝCH KOMPETENCÍ AKADEMICKÝCH PRACOVNÍKŮ OSTRAVSKÉ UNIVERZITY V OSTRAVĚ A SLEZSKÉ UNIVERZITY V OPAVĚ
Formální logické systémy pro aplikaci v informatice Martin Žáček
PŘEDMĚTY NA OU Logické základy umělé inteligence I Logické základy umělé inteligence II
Raškovice, březen 2013
Výroková logika Predikátová logika
2
Reprezentace znalostí Deskripční logika
Jaké další logiky jsou vhodné pro Informatiku?
KONZULTANT A DÍLČÍ CÍLE PhDr. Michal Peliš, Ph.D.
Raškovice, březen 2013
Univerzita Karlova Filozofická fakulta Katedra Logiky
3
Cíle Konzultace Skripta LMS Moodle Kurz
LOGIKA VHODNÁ PRO INFORMATIKU Směr Epistemické logiky Dynamické varianty těchto logik.
Raškovice, březen 2013
Zde patří
4
Nemonotónní varianty modálních logik Logika defaultu
Pro reprezentaci znalostí máme dva směry Modelujeme znalost a případně změny znalosti, kdy v pozadí funguji klasické logiky (od modálních až po substrukturální) - klasické tedy znamená, ze nemodifikujeme relaci důsledku. Příklad: dynamické epistemické logiky. Modelujeme přirozené usuzovaní, kdy již potřebujeme modifikovat důsledkový operátor (relaci). Příklad: logika defaultu.
Raškovice, březen 2013
VÝBĚR A ZAMĚŘENÍ
5
Monotónní logiky Modální K-logika Nemonotónní logika Default logika Neklauzulární formálně logické systémy
Raškovice, březen 2013
MONOTÓNNOST
6
Po staletí byla klasická logika nahlížena jako měřítko lidské racionality. Myslet racionálně znamenalo myslet logicky, myslet logicky znamenalo myslet po vzoru klasické logiky a myslet po vzoru klasické logiky znamenalo myslet deduktivně, resp. monotónně.
PŘÍKLAD
Raškovice, březen 2013
Fido je pes.
7
Z takového tvrzení bychom mohli intuitivně odvodit řadu závěrů, např. Fido je savec, Fido je teplokrevný či Fido má čtyři nohy. Ale co když budeme mít další tvrzení? Fido přišel při autonehodě o jednu nohu.
Raškovice, březen 2013
PŘÍKLAD
8
První tvrzení stále platí a stále je možné odvodit, že Fido je teplokrevný savec, ale nikoli už, že má čtyři nohy, neboť jsme se právě dozvěděli, že má nohy jen tři. Nikde není ale řečeno, že pes je čtyřnohý … Z hlediska klasické logiky je pravda, že i když je Fido pes, nevyplývá nutně to, že má čtyři nohy. Ale když pouze řeknu, že Fido je pes? Jaký bude Váš závěr? Můžu odpovědět , že Fido je čtyřnohý teplokrevný savec.
Raškovice, březen 2013
ZÁVĚR PŘÍKLADU
9
Jinými slovy, máme tendenci uvažovat s předpokladem, že věci se budou chovat tak nějak normálně, tj. tak, jak od nich očekáváme (že psi budou mít čtyři nohy, že tramvaje budou jezdit na kolejích, …), dokud není uvedeno jinak. Úsudky jako uvedené v příkladu, kdy vlastně skáčeme k závěrům, ať už v důsledku neúplnosti, absence jistých informací či z jakýchkoli jiných důvodů, jsou právě příkladem něčeho, co můžeme nazvat zrušitelnými neboli nemonotónními argumenty.
Raškovice, březen 2013
NEMONOTÓNNÍ LOGIKA
10
A přestože takovýmto způsobem probíhá naše každodenní usuzování, je to něco mimo dosah klasické logiky. Z toho, že něco je pes, běžně odvozujeme i to, že to má čtyři nohy. Otázkou ale je, jakou logiku (jaké pojetí důsledku) k tomuto odvození používáme, neboť už víme, že klasická deduktivní logika to být nemůže. Cíl nemonotónní logiky je v tomto ohledu tedy jednoduchý, totiž uspět tam, kde klasická logika selhává, tj. pokusit se zachytit, jak běžně uvažujeme my jakožto racionální agenti.
DEFAULT LOGIKA Přístup default logiky, které přidává k logice prvního řádu default odvozovací pravidla.
Raškovice, březen 2013
Zavedení dalších odvozovacích pravidel. Rozšíření jazyka, které je v rámci autoepistemické logiky.
11
Myšlenku default logiky poprvé uvedl Ray Reiter. Default pravidla fungují jako metapravidla určující jak teorii rozšiřovat (vytvářet její extenzi) pouze pomocí těch tvrzení, kterým věříme. Default pravidlo: (α : β) → γ Platí-li α a je-li β konzistentní s tím, co je všeobecně považováno za platné, potom je možno usuzovat, že platí γ.
Raškovice, březen 2013
MODÁLNÍ K-LOGIKA
12
V tradičních formálně logických systémech je formalizované tvrzení týkající se modelovaného referenčního systému jednou provždy pravdivé nebo nepravdivé. Modální logika modifikuje tvrdý kontrast mezi pravdivostí a nepravdivostí. Zavádí modální operátory, tzv. modality pravdivosti, které umožňují rozlišení případů nutné pravdivosti, tedy pravdivosti vždy a všude, a možné pravdivosti, které nastanou alespoň v jednom případě, tedy někdy a někde.
NEKLAUZULÁRNÍ FORMÁLNĚ LOGICKÉ SYSTÉMY Klauzulární logika
Raškovice, březen 2013
Rezoluce našla své uplatnění v mnoha aplikací z oblasti umělé inteligence a logiky
13
Prolog, expertní systémy založené na pravidlových systémech a teoretických metodách axiomatického systému – pravidlo řezu v klazulárním axiomatickém sytému.
U všech těchto aplikací se využívá rezoluční pravidlo na formule, které jsou v kaluzulární formě (výrokové, predikátové logice). Neklauzulární rezoluce znamená, že metoda je použita na tvar formule, které není převedena do klauzulární formy.
DĚKUJI ZA POZORNOST! Martin Žáček
