НГУ

Форумы НГУ
Текущее время: Вс дек 06, 2020 1:03 am

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ Сообщений: 5 ] 
Автор Сообщение
 Заголовок сообщения: когда пора остановиться?
СообщениеДобавлено: Чт мар 04, 2010 10:48 pm 
Не в сети
Начинающий автор

Зарегистрирован: Пт мар 13, 2009 6:08 am
Сообщения: 208
У нас тут возник горячий спор на семинаре по онтологиям.

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

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт мар 04, 2010 11:16 pm 
Не в сети
Весьма плодовитый автор

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пт мар 05, 2010 6:09 pm 
Не в сети
Плодовитый автор

Зарегистрирован: Вт мар 23, 2004 10:09 pm
Сообщения: 747
Откуда: Gavryushkin
А что за семинар такой? Когда я учился, никаких онтологий не было.

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пт мар 05, 2010 7:40 pm 
Не в сети
Начинающий автор

Зарегистрирован: Пт мар 13, 2009 6:08 am
Сообщения: 208
Alexandr писал(а):
А что за семинар такой? Когда я учился, никаких онтологий не было.

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пт мар 05, 2010 7:41 pm 
Не в сети
Начинающий автор

Зарегистрирован: Пт мар 13, 2009 6:08 am
Сообщения: 208
В.П. писал(а):
Для чего нужна модель? Чтобы кратко описывать феномены. Один раз описали модель, а потом для каждого феномена подставляем параметры. Исключения вынуждены описывать индивидуально. Средняя сложность описания феномена равна (сложности модели + сложность описания каждого подходящего феномена + сложность описания исключений) разделить на число феноменов.

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


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


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 5 ] 

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 3


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB