KAPITOLA 7.: REPREZENTACE SÉMANTIKY TŘÍD (2) - POPSANÉ A DEFINOVANÉ TŘÍDY
Popis a definování tříd - teorie
Popis a definování tříd - praxe
Axiom uzávěru vlastnosti - teorie
Axiom uzávěru vlastnosti - praxe
Otázky a odpovědi
Co je návrhový vzor?
Návrhový vzor rozklad hodnot
Axiom pokrytí třídy - teorie
Axiom pokrytí třídy - praxe
Otázky a odpovědi
Podmínka, která vystihuje podstatu tříd, se může umístit do jedné z dvou sekcí (jen letmo jsme se s nimi seznámili v 6. kapitole) - do sekce Necessary nebo do sekce Necessary and sufficient. Podle toho, kam podmínku (podmínky) umístíme, rozlišujeme dva typy tříd - třídu Popsanou (primitnivní, neúplnou, částečnou) (described class) a Definovanou (úplnou) (defined class).
Sekce Necessary obsahuje podmínky pro popis třídy. Tyto podmínky nám říkají, co je ta třída zač, jinými slovy, jaké podmínky jsou nezbytně nutné pro to, abychom jedince do třídy mohli zařadit. Když je určitý jedinec X členem nějaké třídy, pak nezbytně musí splňovat podmínky, které jsou uvedeny v sekci Necessary. ALE!, když takový jedinec podmínky splňuje, nemůžeme říci, že na 100% do takové třídy spadá. Podmínky jsou jen nezbytného charakteru, nikoliv postačující k tomu, abychom o jedinci prohlásili, že skutečně do dané třídy X patří. Uveďme si příklad: Máme třídu PTÁK, která je vymezena dvěma nezbytnými podmínkami:
- má křídla;
- létá.
Podmínky v sekci Necessary and sufficient jsou nezbytnými a zároveň stačí k tomu, abychom našeho jedince X považovali za ptáka. Pokud tedy nějaký náhodný jedinec X splňuje ty podmínky, pak musí být členem třídy PTÁK.
Možná, že tento příklad nestačí pro jasné vysvětlení problému, zkusme tedy jiný, z jiné oblasti. Mějme třídu s názvem ScientificAmerican (časopis), která je vystižena následujícími podmínkami umístěnými v sekci Necessary.
Poznámka: pravdou je, že třída ScientificAmerican se ani definovat nedá, nelze totiž najít takovou definici - soubor takových podmínek, které by jednoznačně řekli, že nějaký jedinec X do třídy jisto jistě patří.
Jak postupovat při zařazování podmínek do sekcí? Není to tak složité, jak se zdá. Představte si, že máte rozhodnout, jestli třída Papoušek všejedlík má být popsaná (vymezená jen nezbytnými podmínkami - sekce Necessary) nebo definovaná (vymezená i nebo jen podmínkami nezbytnými a postačujícími - sekce Necessary and Sufficient). Nejprve je dobré všechny podmínky dávat do sekce Necessary a pak se rozhodovat o jejich osudu dál. Stanovíme tedy podmínky pro Papouška všejedlíka, viz. obrázek níže.
Musíme ale upozornit na to, že existují třídy, které definovat nelze. Jedná se, kromě našeho příkladu s časopisem Scientific American, například o koncepty: voda, sníh, jazyk, zvíře, člověk apod. Jestli bude třída definovaná nebo popsaná, závisí na několika věcech:
- pokud chceme ontologii klasifikovat, viz. kapitola 9, neobejdeme se bez definovaných tříd;
- někdy třídu nelze definovat vůbec, nelze ji kompletně vystihnout;
- i když lze sestavit definici třídy, nemusíme mít dostatek znalostí, abychom ji vytvořili.