"В.Н.Щеглов. Искусственный интеллект и когнитивная герменевтика " - читать интересную книгу автора

1, ... Далее каждое состояние, которому задано определенное целевое значение
Z, сравнивается со всей своей окрестностью не целевых состояний, начиная с
ближайших, и строятся конъюнкции К малого числа открытых интервалов значений
переменных для этого целевого состояния. Эти К (по всем целевым состояниям)
вычисляются таким образом, чтобы К были бы простыми импликациями (истинными
формулами для Z, например: "если К, то Z = 1"). Аналогичные операции
совершаются и в отношении не целевых состояний. Далее вычисляются оценки Г
для каждой К (число состояний, где встречается данная К). Затем строятся
тупиковые дизъюнктивные формы для каждого из Z = 0, 1, ... в отдельности.
Начиная с наибольшей Г отбираются К и объединяются логической связкой "или";
предварительно отбрасываются те из них, множества состояний Г которых
("покрытия") уже входят в ранее выбранные К. После вычисления модели обычно
проводится ее интерпретация - сопоставление ее с уже известными более общими
теориями.
Иногда вычисляется также контекст отдельных наиболее интересных
итоговых К, входящих в тупиковую форму (т. е. в модель). Это замкнутые
интервалы целевых значений всех переменных, не включенных в К и
соответствующие покрытию с оценкой Г для К. При необходимости аналитического
отображения логической модели производится аппроксимация подмножеств,
соответствующих К, рядами Эрмита.
Сопоставим теперь основные методы, термины и обсуждения проблемы
построения и теории ИИ (обзор методов см. в [3] ) с методом (программой)
построения АМКЛ. Так, понятие герменевтического круга считается подобным
понятию процесса вычислительного бутстрапа [4] (этот термин можно
приблизительно перевести как "натягивание ботинка за штрипки", наш научный
жаргон здесь еще более ироничен: "притягивание теории за уши"). Этот
вычислительный процесс использует компоненты более низкого порядка для
построения компонента более высокого порядка, который в свою очередь
используется для реконструкции и замещения компонента более низкого порядка
для реализации общей цели понимания естественного языка и рассуждений,
основанных на здравом смысле.
Здесь следует напомнить публикацию [5] Н. А. Шанина еще в 1973 году о
иерархии способов понимания суждений в конструктивной математике. Он
доказал, что существуют некоторые конструктивные алгорифмы А, которые по
любому суждению F арифметического языка строят мажоранту М, являющейся
некоторым приблизительным разъяснением F, открытым для последующих
уточнений; алгорифмов , строящих "менее грубые усиления" суждений, чем те,
которые строят А. Считается, что М для F сильнее, чем F в том смысле, что из
нее может быть выведена импликация "если М, то F" (для наглядного
представления можно воспользоваться диаграммой Вьена: малый круг F внутри
большого круга М). Приведенный выше способ приблизительного разъяснения
суждений следует рассматривать как способ понимания этих суждений, и этот
способ играет роль самостоятельной семантической основы исследуемого
арифметического языка.
Программа АМКЛ идет в этом отношении дальше. По отношению к наиболее
значимым (по оценке Г) или по наиболее интересным для исследователя выводам
(импликациям) К с помощью информационно-поисковых систем в требуемой области
знаний ищется "мажоранта" для К. Это более общая теория или общие сведения,
которые включают в себя К как частный случай (на языке [3] компоненты
бутстрапа более низкого порядка используются для построения компонентов