Обложка Финн В.К. Логические проблемы информационного поиска
Id: 31680
Предварительный заказ! Букинист. 599 руб.

Логические проблемы информационного поиска

1976. 152 с.
  • Мягкая обложка

Об авторе
Финн Виктор Константинович
Известный специалист в области искусственного интеллекта, логики и методологии наук о жизни и социальном поведении. Доктор технических наук (1990; тема диссертации — «Правдоподобные рассуждения в экспертных системах с неполной информацией»), профессор, заслуженный деятель науки Российской Федерации. В настоящее время — заведующий сектором интеллектуальных информационных систем Всероссийского института научной и технической информации РАН, а также заведующий отделением интеллектуальных систем в гуманитарной сфере Института лингвистики Российского государственного гуманитарного университета. Основные научные результаты: формализация n-значных обобщений трехзначной логики Д. А. Бочвара и исследование их алгебраических свойств; установление предполноты множества функций n-значных логик Я. Лукасевича, таких, что n–1 есть простое число; построение логик аргументации с неассоциативными логическими связками; создание ДСМ-метода автоматического порождения гипотез, содержащего автоматизированные правдоподобные рассуждения, которые применяются в интеллектуальных системах для фармакологии, медицины, социологии и криминалистики. В своих исследованиях В. К. Финн существенным образом использует идеи выдающихся отечественных логиков Д. А. Бочвара и А. В. Кузнецова.