Автоматизация интеллектуальной деятельности
В.И. Разумов1, Л.И. Рыженко2, В.П. Сизиков3
1Омский государственный университет, г. Омск
razumov@omsu.ru
2Сибирская автодорожная академия, г. Омск
leonid_ryz@rambler.ru
3Омский государственный университет путей сообщения, г. Омск
v_p_sizikov@mail.ru
Ключевые слова: модель, система, информация, понятие, компьютер, интерфейс
Страницы: 125-135
Подраздел: Проблемы логики и методологии науки
Аннотация
На базе теории динамических информационных систем (ДИС) определен путь для автоматизации рассуждений. Даны дефиниции ведущих операций на моделях типа ДИС (дешифровки, свертки, мутации) и отношений между понятиями (первообразные, производные, интегралы, дифференциалы), а также между понятиями и интерпретациями (развертки и их центры, склейки, расслоения), позволяющие строить модели рассуждений. Указанный путь реализован в программном продукте «Когнитивный ассистент» как прототипе автоматизированного рабочего места исследователя. Описаны компьютерный интерфейс и методики работы с устройством (http://thoughtring.com).
|
