Находят они применение и в лингвистических процессорах, предназначенных для анализа текстов на естественном языке. В монографиях [55–57] заинтересованные читатели могут найти описание областей применения таких моделей. Идея метода обратного вывода принадлежит С.Ю. Маслову. Впервые она сформулирована в работе [58]. В настоящее время в СССР имеются версии программной реализации этого метода, во многом не уступающего по своей эффективности методу резолюций Робинсона. Рассказ Э. По, из которого приведена цитата, помещен в [59].
Глава четвертая
Стебаков Сергей Александрович – советский математик, специалист в области топологии, качественной теории дифференциальных уравнений и теории управления.
От Аристотеля до Бэкона. Историю становления учения об индукции до начала XX века содержит монография [60]. Для ознакомления с более поздним пониманием этих вопросов можно рекомендовать статьи из сборника [61]. Специально логике формирования гипотез посвящена работа [62]. Высказывание Р. Грегори о небиологичности дедукции и о роли индукции для живых организмов заимствовано из [63, с. 187].
Индукция Джона Стюарта Милля. Взгляды Милля изложены в его сочинении, вышедшем в 1843 году. Позже эта книга была переведена на русский язык [64]. Цитата из В. Луговского взята из поэмы «Сказка о дедовой шубе», вошедшей в книгу [65]. Все формулировки принципов Милля сделаны в соответствии с текстами из [60].
Читатели, знакомые с методами распознавания образов, должны почувствовать почти дословное совпадение принципов Милля с приемами, используемыми в обучении распознаванию и классификации с помощью обучающих выборок из примеров и контрпримеров. Первое и наиболее полное описание подобных приемов содержится в [66]. Другие подходы к решению подобных же задач имеются в многочисленных публикациях по распознаванию образов. Укажем лишь наиболее близкие по духу методы, описанные в работах [67–69]. Такая близость между индуктивными методами рассуждений и распознаванием (вернее, узнаванием и классификацией) образов еще раз подчеркивает верность замечания Р. Грегори, процитированного в предыдущем разделе.
Рассуждения по аналогии. Первой программой, в которой были реализованы принципы работы с пропорцией Лейбница была, по-видимому, программа «Аналогия», разработанная Т. Эвансом в конце 60-х годов. Она с успехом решала задачи типа задач на аналогию из известной книги головоломок Г. Айзенка [70].
Программа, находящая аналогии для множества родственников, была создана Д. Румельхартом и А. Абрахамсоном в 1973 году. Именно в ней была использована идея семантического пространства Осгуда. Метод построения этого пространства основан на следующих экспериментах. Испытуемым предъявляют около 400 шкал, на концах которых стоят слова-антонимы, описывающие признаки (например, добрый – злой, острый – тупой, быстрый – медленный). В середине шкалы находится нейтральное деление (оно отмечено словосочетаниями типа не добрый – не злой; не острый – не тупой; не быстрый – не медленный). Кроме того, на шкале имеется еще по несколько делений слева и справа от нейтрального деления. Они никакими словами не маркируются. Испытуемым задается (всем одинаковый) список слов (например, отец, дерево, шило и т.п.), и их просят расположить каждое из слов списка на всех шкалах. Многие шкалы испытуемым кажутся весьма неподходящими для расположения заданных слов (например, как разместить слово «отец» на шкале острый – тупой?). В этих случаях экспериментатор предлагает размещать их «как хочется». После этого шкалы с нанесенными на них словами подвергаются статистической обработке по методу факторного анализа и выделяются основные факторы.
Результатом опытов, проведенных по методу Осгуда, всегда является выделение трех главных факторов, устраняющих практически всю дисперсию. Эти три обобщенные шкалы обычно называют шкалами оценки, силы и активности. Они образуют оси пространства Осгуда. В этом пространстве понятия, близкие по своей семантике, образуют компактные скопления – кластеры. Одно из таких скоплений образуют слова, использованные на рис. 25. Весьма много для анализа методов разрешения пропорции Лейбница сделал математик из ГДР Д. Пёчке. Его подход мы продемонстрировали при описании поиска В’ для ситуации на рис. 26.
ДСМ-метод. Этот метод изложен в [71, 72]. Интересно, что его авторы, пожалуй, впервые описали его не на уровне алгоритмов и программ, реализующих эти алгоритмы, а на уровне некоторой формальной логической системы. До них попытку такого рода сделали лишь авторы ГУХА-метода, созданного для формирования гипотез на основе статистических методов и логических рассуждений [73]. Сравнение этих двух методов с точки зрения правил правдоподобного вывода, используемых в них, дано в работе [74]. В [75] высказано немало соображений об ошибочных умозаключениях на основе наблюдаемых в экспериментах фактах. Многие из этих ошибок основаны на особенностях человеческих рассуждений, на неумении людей объективированно вводить оценки достоверности гипотез. В этой же книге дан анализ различных видов причин, частично использованный при написании данного раздела.
В настоящее время причинно-следственные отношения широко используются для описания знаний в интеллектуальных системах, например при описаниях течения разного рода заболеваний или знаний о последствиях многошагового управления в больших технических или организационных системах. Начинает создаваться специальная каузальная логика, в которой описываются общие процедуры для работы с причинно-следственными отношениями [76]. Интересно ознакомиться с работой [77], в которой решается ряд задач, аналогичных тем, которые решались и ДСМ-методом, но на иных принципах. Еще раз отметим близость многих постановок задач и методов их решения в индуктивных рассуждающих системах и системах распознавания образов, опирающихся на идею обучения на примерах [66].
Нечеткий вывод. Оператор «только» с логической точки зрения обсуждался в ряде работ, например в [78]. Приведенные в этом разделе примеры заимствованы из этой монографии, а также из [79]. Для углубленного знакомства с идеями нечетких множеств и различных методов, основанных на них, можно рекомендовать монографию [80]. Более подробно со схемами нечеткого вывода можно ознакомиться по соответствующим разделам книги [76], в которой, в частности, описана процедура порождения квантификаторов в заключительном утверждении, опирающаяся на идею «универсальной шкалы» И.В. Ежковой (ссылки на ее работы есть в [76]) в свое время был предложен принципиально иной метод определения квантификаторов заключения. Он основан на вычислении суперпозиции функций принадлежности для посылок в схеме, являющейся прямым обобщением на нечеткий случай правила вывода модус поненс.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53