Deskripcn´ı logika

More documents

Recommendations

Info

Vlastnosti model˚u Jazyk ALC Syntax a sémantika Na konci pˇredchozího pˇríkladu jsme se dotkli velmi d˚uleˇzitých vlastností model˚u deskripčních logik. Podívejme se na problém obecněji. Zvolený jazyk deskripční logiky má vlastnost TMP (tree model property), pokud kaˇzdý splnitelný koncept 4 C tohoto jazyka má model ve tvaru koˇrenového stromu. FMP (finite model property), pokud kaˇzdá konzistentní ontologie K tohoto jazyka má konečný model. Obě tyto vlastnosti pˇredstavují d˚uleˇzité charakteristiky pˇrísluˇsné deskripční logiky, které mají pˇrímý vliv na inferenci (viz. dále). Zejména (pˇrípadně zobecněná) TMP je charakteristickou vlastností větˇsiny deskripčních logik a je základem pro určení jejich rozhodnutelnosti a sloˇzitosti. 4 Koncept je splnitelný, je-li alespoň jedním modelem interpretován jako neprázdná mnoˇzina Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 50 / 157
Cyklické a acyklické TBOXy Cyklické a acyklické TBOXy Petr Kˇremen (FEL ČVUT) Deskripční <strong>logika</strong> 51 / 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 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: Interpretace - Pˇríklad Pˇríkla
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?