Введение к работе
дальность темы
Диссертация посвящена исследованию различных (логических, :браических и алгоритмических) вопросов реализации правдоподобных :уждений, основанных на автомагическом порождении гипотез о *стве и различии исследуемых объектов.
гже в начале 1970-х годов стало очевидно, что рассуждения эксперта не ут быть описаны исключительно в дедуктивных терминах. МакКарти, Р. Рейтер и их ученики развили подходы к «рассуждениям івого смысла» на основе различных систем немонотонных логик, арденфорс и др. исследовали математические основы пересмотра >ий. Однако, несмотря на известное изящество предложенных лрукций, все эти теории так и не привели к прикладным системам, цествляющим автоматизированные рассуждения в конкретных сметных областях.
> конце 1970-х годов группа исследователей под руководством рессора В.К. Финна1 существенно продвинулась в формализации іствами многозначных логик, расширении и обобщении процедур укции (названных в честь Д.С. Милля - создателя концепции уктивных методов - ДСМ-методом автоматического порождения зтез). Правдоподобные рассуждения типа ДСМ соединили в себе укцию на эмпирических данных, рассуждения по аналогии, лруктивную абдукцию и дедуктивные выводы. На основе итоженной теории были созданы прикладные интеллектуальные темы в помощь исследователям-фармакологам при компьютерном лруировании лекарств, ученым-социологам при исследовании ивидуальных поведенческих готовностей и другие. )днако в изложении этой актуальной теории имеются определенные дш. С одной стороны, для понимания основ ДСМ-теории необходимо сомство с многозначными логиками, а также изучение теории щкатов с кванторами по конечным множествам. Эти теории не ігаются в рамках стандартных курсов математической логики, и
>иннВ.К. О возможностях формализации правдоподобных рассуждений ;ствами многозначных логик // VII Всесоюзный симпозиум по логике и ідологии науки. - Киев: Наукова думка, 1976. - С. 82-83.
большинство специалистов не знакомо с требуемыми понятиями, ' препятствует более широкому распространению нового метода. С друї стороны, построение прикладных систем для социологии породило ВОП] о структурах для исследуемых свойств (шкалы суждений). Кроме того, і недостаточном внимании к описанию субъектов возможен (и наблюдалс действительности) «комбинаторный взрыв» - огромное число гипот информационная сложность которых превосходит сложность исходи примеров.
Цель работы
Главные цели работы - разработать логический формализм для описаі ДСМ-метода, наиболее знакомый специалистам по искусственнс интеллекту; исследовать вопрос о представлении шкалированных свойст также предложить методы правдоподобных рассуждений типа ДСМ , больших решеток гипотез.
Методы исследования
Они состояли в использовании формализма стратифицировав логических программ, элиминации кванторов в системах частині изоморфизмов, методов алгебраической теории решеток и дискреті цепей Маркова.
Научная новизна
Все основные результаты диссертации являются новыми. Они состой исследовании вопросов о (не)выразимости фигур правдоподобі рассуждений в различных фрагментах монадической логики втор порядка, новой схеме описания правдоподобных рассуждений типа Д( вкладывающей правдоподобные рассуждения в средства логическ программирования; в открывшейся возможности изучения шкалировані свойств; а также в новом подходе к порождению только некоторых гипо позволяющем достигать удовлетворительных результатов за приемле время.
Практическая и теоретическая ценность
Диссертационная работа имеет теоретический характер. Ряд и диссертации (несимметричная стратегия, шкалированные свойства) реализован в действующей версии решателя интеллектуальных зада
енялся в исследованиях поведенческих готовностей и автоматической :ификации документов на естественном языке. Вероятностные штмы правдоподобных рассуждений могут применяться в шектуальном решателе при исследовании практических задач в метных областях с недостаточно формализованными признаками [ми как социология и другие гуманитарные науки). Результаты гртации могут быть использованы при преподавании курса 'еллектуальные системы», в исследованиях по дальнейшему развитию [-метода правдоподобных рассуждений.
пбация работы
їзультатьі работы докладывались на национальных конференциях по сственному интеллекту, международных конференциях «Integration, mation Technologies and Telecommunications» 97 и 99, общемосковском шаре по искусственному интеллекту под руководством проф. Вагина и проф. О.П. Кузнецова, научно-исследовательском семинаре ора интеллектуальных систем ВИНИТИ.
іликации
існовньїе результаты диссертации опубликованы в работах [1-6].
ьем работы
Диссертация содержит 56 страниц и состоит из введения, трех глав и жа литературы, содержащего 24 названия.
