Deskripcn´ı logika

More documents

Recommendations

Info

Základy deskripční logiky Kontrolní otázky k FOL 2 Co je to term, axiom/formule, teorie, model, univerzální uzávěr, rezoluce, logický d˚usledek ? Co vyjadˇruje pˇredpoklad otevˇrenosti (OWA)/uzavˇrenosti (CWA) světa ? Jaký je rozdíl, mezi predikátem (relací) a predikátovým symbolem ? Co znamená, ˇrekneme-li, ˇze FOL je nerozhodnutelná ? Co znamená, ˇrekneme-li, ˇze FOL je monotónní ? Co ˇríká věta o úplnosti, věta o korektnosti,věta o dedukci ? 2 First Order Logic = predikátová logika prvního ˇrádu tak jak ji znáte. Petr Kˇremen (FEL ČVUT) Deskripční logika 40 / 157
Motivace Základy deskripční logiky Proč potˇrebujeme nový logický jazyk – coˇzpak nám nestačí FOL ? FOL je nerozhodnutelná – mnoho logických d˚usledk˚u nelze v konečném čase ověˇrit. Leckdy nepotˇrebujeme plnou expresivitu FOL. Ale vˇzdyt’ je tu pˇreci Prolog – pouˇzívaná a optimalizovaná implementace FOL ? Prolog není implementací FOL – OWA vs. CWA, místo logické negace pouˇzívá NAF, problémy s vyjádˇrením disjunktivní znalosti, apod. Proč nám nestačí relační databáze ? RDBMS pouˇzívají pˇredpoklad uzavˇreného světa (CWA) a podporují pouze konečné domény. RDBMS nejsou dostatečně flexibilní – změna v DB modelu bývá komplikovanějˇsí, neˇz pˇridání/odebrání axiomu z ontologie. Petr Kˇremen (FEL ČVUT) Deskripční logika 41 / 157
Page 1 and 2: Deskripční logika Petr Kˇremen F
Page 3: Základy deskripční logiky Zákla
Page 7 and 8: Koncepty a role Základy deskripčn
Page 9 and 10: Logický d˚usledek Základy deskr
Page 11 and 12: Jazyk ALC Syntax a sémantika ALC (
Page 13 and 14: Interpretace - Pˇríklad Pˇríkla
Page 15 and 16: Cyklické a acyklické TBOXy Cyklic
Page 17 and 18: Pˇríklad Pˇríklad Cyklické a a
Page 19: Cyklické a acyklické TBOXy Pˇrí

Deskripcn´ı logika

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?