Deskripcn´ı logika

More documents

Recommendations

Info

Motivace (2) Základy deskripční logiky Proč si nevystačíme s rámci, sémantickými sítěmi, apod. ? Nemají dostatečně dobˇre definovanou sémantiku: Jaká je sémantika slotu - ∀R · C nebo ∃R · C? Jaká je sémantika definice tˇríd, ⊑ nebo ≡ ? Co a k čemu jsou tedy deskripční logiky ? jedná se o skupinu jazyk˚u vytvoˇrených pro modelování terminologické znalosti, neúplné znalosti. Jedná se téměˇr výhradně o podmnoˇziny FOL. první jazyky vznikly jako snaha o formalizaci sémantických sítí a rámc˚u. První implementace v 80’s – systémy KL-ONE, KAON, Classic . Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 42 / 157
Koncepty a role Základy deskripční logiky Základními stavebními bloky deskripčních logik jsou : (atomické) koncepty - reprezentující (pojmenované) unární predikáty (tˇrídy), napˇr. Rodic, nebo Osoba ⊓ ∃maDite · Osoba. (atomické) role - reprezentující (pojmenované) binární predikáty (relace), napˇr. maDite, nebo jeDitetem − individuály - reprezentující prvky tˇríd/jednotlivce, napˇr. JIRI Ontologie K větˇsiny deskripčních logik se skládá TBOXu T - reprezentující axiomy obecně platné v dané doméně, napˇr. T = {Muz ⊑ Osoba} ABOXu A - reprezentující konkrétní relační strukturu, napˇr. A = {Muz(Jiri)} Jednotlivé deskripční logiky se liˇsí v moˇznostech tvoˇrit sloˇzitějˇsí koncepty, role a v typech axiom˚u. Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 43 / 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: Motivace Základy deskripční logi
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

Create successful ePaper yourself

Delete template?

Save as template?