Классы и отношения

Класс — множество, выделяемое при разбиении на категории.

Разбиение на категории называется классификацией, а разбиение на части – просто инженерным разбиением (breakdown) - см. WBS, FBS, PBS.

Отношение классификации - членство объекта в классе, принадлежность элемента множеству: b ϵ B. (Эйфелева башня ϵ БАШНЯ)

Отношение специализации двух классов — это отношение множества и подмножества: B⊂A. (БАШНЯ ⊂ СООРУЖЕНИЕ)

Отношение класса и классификатора - членство класса в классе: B ϵ X. (ТИП СООРУЖЕНИЯ = { БАШНЯ, МОСТ, ДОМ, … })

На языке классов при появлении новых знаний можно добавлять соответствующие факты к уже имеющемуся знанию, а не переосмысливать всю структуру мира, как это происходит в случае подхода с объектами и атрибутами, знакомого программистам.

Комментарии