Интеллектуальные системы – основной продукт исследований в области искусственного интеллекта. Интеллектуальные системы обладают как средствами имитации мыслительной деятельности человека, так и средствами ее усиления. Интеллектуальные системы могут быть усилителями мыслительной деятельности человека благодаря использованию больших баз данных, специализированных баз знаний и автоматизации рассуждений. Важным видом автоматизированных рассуждений являются правдоподобные рассуждения, посредством которых можно порождать гипотезы относительно эффектов, представленных в специализированных базах данных. Предлагаемый сборник статей сотрудников сектора "Интеллектуальных информационных систем" Всероссийского института научной и технической информации РАН содержит систематическое изложение опыта применения метода автоматического порождения гипотез в интеллектуальных системах поддержки научных исследований и медицинской диагностики по клиническим данным. Разработанный в ВИНИТИ РАН ДСМ-метод автоматического порождения гипотез (ДСМ-метод АПГ) средствами современной логики формализует идеи об индукции знаменитого английского ученого и философа Джона Стюарта Милля. Авторами предлагаемой книги была разработана логико-математическая теория индукции, являющаяся фундаментальным вкладом в компьютерную логику и теорию интеллектуальных систем. Следует отметить, что результаты теоретических и экспериментальных исследований создателей ДСМ-метода АПГ получили международное признание. Доклад редактора-составителя этой книги В.К.Финна на Мировом конгрессе "Karl Popper-2002" (Вена, 3–7 июля 2002 г.) "The Use of Induction in Plausible Reasoning in Intelligent Systems" был высоко оценен Программным комитетом Конгресса, а программа предсказания токсичности химических соединений, реализующая ДСМ-метод АПГ, была признана одной из лучших программ на симпозиуме по предсказательной токсикологии Общеевропейской конференции по извлечению знаний (knowledge discovery) и машинному обучению (Фрайбург, 2001 г.). Интеллектуальные системы, созданные в секторе "Интеллектуальных информационных систем" ВИНИТИ РАН, успешно применялись и применяются в Лаборатории клинической физиологии зрения МНИИ глазных болезней им.Гельмгольца и в Отделении нефрологии Городской клинической больницы им.С.П.Боткина. Важной областью применения ДСМ-метода АПГ является также анализ социологических данных в интеллектуальных системах и порождение гипотез о причинно-следственных зависимостях между характеристиками субъекта поведения и эффектами его поведения (действиями, установками, мнениями). Применение ДСМ-метода АПГ для анализа социологических данных явилось важным шагом в разработке формализованного качественного анализа данных, который начал развиваться в американской и европейской социологии с конца 1980Нх годов. ДСМ-метод АПГ был также применен для анализа криминалистических данных (в сборнике имеется статья, представляющая первые результаты в этой области). Многообещающим оказалось применение ДСМ-метода АПГ и интеллектуальных систем соответствующей архитектуры в робототехнике. Применение автоматического порождения гипотез в интеллектуальных системах типа ДСМ в фармакологии, медицинской диагностике, социологии, криминалистике и робототехнике является убедительным свидетельством научной состоятельности ДСМ-метода АПГ. Интеллектуальные системы и правдоподобные рассуждения, реализующие ДСМ-метод АПГ, получили отражение в научной и учебной литературе. Однако имеется потребность в систематическом изложении специфики этого метода и особенностей интеллектуальных систем, его использующих. Эту цель может достигнуть книга "Автоматическое порождение гипотез в интеллектуальных системах". В силу этого данную книгу можно рекомендовать читателям, интересующимся проблемами искусственного интеллекта и методами анализа данных. Директор ВИНИТИ РАН,
академик РАН Ю.М.Арский
![]() Известный специалист в области искусственного интеллекта, логики и методологии наук о жизни и социальном поведении. Доктор технических наук (1990; тема диссертации — «Правдоподобные рассуждения в экспертных системах с неполной информацией»), профессор, заслуженный деятель науки Российской Федерации. В настоящее время — главный научный сотрудник Федерального исследовательского центра «Информатика и управление» РАН, а также руководитель Отделения интеллектуальных систем в гуманитарной сфере Российского государственного гуманитарного университета.
Основные научные результаты: формализация n-значных обобщений трехзначной логики Д. А. Бочвара и исследование их алгебраических свойств; установление предполноты множества функций n-значных логик Я. Лукасевича, таких, что n–1 есть простое число; построение логик аргументации с неассоциативными логическими связками; создание ДСМ-метода автоматизированной поддержки исследований (ранее — ДСМ-метод автоматического порождения гипотез), содержащего автоматизированные правдоподобные рассуждения, которые применяются в интеллектуальных системах для фармакологии, медицины, социологии и криминалистики. В своих исследованиях В. К. Финн существенным образом использует идеи выдающихся отечественных логиков Д. А. Бочвара и А. В. Кузнецова. |