Deskripcn´ı logika

More documents

Recommendations

Info

Interpretace Základy deskripční logiky . . . slouˇzí k definování významu symbol˚u zavedených výˇse. Protoˇze se pohybujeme v podmnoˇzině FOL, definujeme interpretaci redukcí na FOL formule a vyuˇzijeme standardní FOL strukturu. Interpretace bude pro nás dvojice : I = (∆ I , · I ), kde ∆ I je interpretační doména a · I je interpretační funkce. Máme-li atomický koncept A, atomickou roli R a individuál a, potom A I ⊆ ∆ I R I ⊆ ∆ I × ∆ I a I ∈ ∆ I Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 44 / 157
Logický d˚usledek Základy deskripční logiky Máme-li libovolnou mnoˇzinu S axiom˚u (resp. ontologii K = (T , A), kde poloˇzíme S = T ∪ A), potom I |= S pokud I |= α pro vˇsechny α ∈ S (I je modelem S, resp. K) S |= β pokud I |= β vˇzdy kdyˇz I |= S (β je logickým d˚usledkem S, resp. K) S je konzistentní, pokud S má alespoň jeden model Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 45 / 157
Page 1 and 2: Deskripční logika Petr Kˇremen F
Page 3 and 4: Základy deskripční logiky Zákla
Page 5 and 6: Motivace Základy deskripční logi
Page 7: Koncepty a role Základy deskripčn
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?