НГУ

У нас тут возник горячий спор на семинаре по онтологиям.

Например, мы имеем некий феномен и строим по нему модель.
Для этого определяем набор аксиом Г, потом много думаем и находим в реальности ситуацию которая не укладывается в этот набор. Тогда (в идеале) добавляем ещё аксиом, и снова ищем несоответствие.

Очевидно что несоответствие мы будем находить всегда.

Собсно вопрос: когда пора остановиться и прекратить усложнять модель?

Для чего нужна модель? Чтобы кратко описывать феномены. Один раз описали модель, а потом для каждого феномена подставляем параметры. Исключения вынуждены описывать индивидуально. Средняя сложность описания феномена равна (сложности модели + сложность описания каждого подходящего феномена + сложность описания исключений) разделить на число феноменов.

Оптимальная сложность модели - та с помощью которой достигается минимальная средняя длина описания.

А что за семинар такой? Когда я учился, никаких онтологий не было.

_________________
Ненужность матана — не повод его не осилить

http://ict.unitn.it/program/exams/cours ... esentation

Но вообще в НГУ, господин Пальчунов с кафедры Дискретки заведует этой темой - и у него есть семинар в ИМ.

Спасибо. Добавлю в список версий.