Jun. 9th, 2010
Бытовая теория множеств на марше
Jun. 9th, 2010 12:27 pm"Модель онтологии
Формально онтология определяется как O = <X,R,F>, где
X — конечное множество понятий предметной области,
R — конечное множество отношений между понятиями,
F — конечное множество функций интерпретации."
"конечное множество понятий", "конечное множество отношений"...
Примерно как понятия "сила", "мощность", "энергия" у телевизионных болтунов - взаимозаменяемые понятия.
Что вот, например, такое - "отношения между понятиями"? Это подмножества декартовых произведений пар понятий? (А понятия, знамо дело, тоже множества - ну как типы у теоретиков типов.)
Формально онтология определяется как O = <X,R,F>, где
X — конечное множество понятий предметной области,
R — конечное множество отношений между понятиями,
F — конечное множество функций интерпретации."
"конечное множество понятий", "конечное множество отношений"...
Примерно как понятия "сила", "мощность", "энергия" у телевизионных болтунов - взаимозаменяемые понятия.
Что вот, например, такое - "отношения между понятиями"? Это подмножества декартовых произведений пар понятий? (А понятия, знамо дело, тоже множества - ну как типы у теоретиков типов.)