Артем Голубниченко » Публикация

Поделиться публикацией:
Опубликовать в блог:
Опубликовано 2009-09-28 Опубликовано на SciPeople2010-01-10 07:43:13 ЖурналМатериалы Всероссиской конференции с международным участием "Знания-Онтологии-Теории" (ЗОНТ-09)


Логические машины: от Р. Луллия к ТДИС
Голубниченко А.Н. / Артем Голубниченко
Аннотация Рассматривается хронология создания логических машин, которые могут быть применены для решения задачи автоматизации рассуждений, для генерации новых знаний. Предлагается иной (категориальный) подход к решению задачи автоматизации рассуждений, отличный от общепринятого подхода, основанного на формализации предметной области и применении законов логики. Теоремы Гёделя и Тарского накладывают существенные ограничения на формирование формализованного языка для решения задачи автоматизации рассуждения, поэтому необходим другой аппарат моделирования объектов. В рамках теории динамических информационных систем (ДИС, ТДИС) может быть смоделирован любой объект. Язык и логико-методологическая база ТДИС могут оперировать с объектами различного типов знания, а с помощью таких процедур, как дешифровки, свертки и мутации может быть построена база для автоматизации рассуждений.
Ключевые слова публикации:
 

Комментарии

Вам необходимо зайти или зарегистрироваться для комментирования
Этот комментарий был удален
Этот комментарий был удален