Труды КНЦ вып.29 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 3/2015(29))

Признак успешного завершения процесса поиска - элиминация из D -системы всех строк и столбцов без образования пустых строк. Другими словами, результирующее состояние в этом случае будет характеризоваться только совокупностью непустых усеченных доменов. Данный метод предназначен для систематического исследования пространства поиска: после обнаружения тупиковой вершины осуществляется возврат к некоторой точке ветвления, расположенной выше в дереве поиска. При этом используется механизм обратного перехода, управляемого конфлик­ тами (conflict-directed backjumping). Моделирование систем продукций с помощью матриц ограничений и организация прямого вывода Системы представления знаний, использующие выражения вида «ЕСЛИ условие, ТО действие», получили название систем продукций или систем, основанных на правилах [3]. Рассмотрим, один из наиболее распространенных случаев, когда продукционная система относится к классу систем с четко определенными знаниями, а база фактов аддитивна, т.е. в процессе вывода факты добавляются и в дальнейшем не удаляются. Подсистема вывода реализует процесс рассуждений на основе базы знаний и базы фактов. Получение в ходе вывода факта о новом значении уже имеющегося в базе фактов данного трактуется как конфликт, то есть различные значения каждого данного рассматриваются как взаимоисключающие [11]. В начале экспертизы все заданные значения данных (как параметров - данных символьного типа, так и переменных - данных числового типа) счи­ таются возможными. По мере срабатывания правил из списка возможных значений в базе данных исключаются те значения данных, которые противоречат частям ТО или ИНАЧЕ сработавших правил. Запись в базу фактов производится только тогда, когда список возможных значений сужается до единственного значения. Противоречие в данных фиксируется в двух случаях: либо при появлении фактов «за» значение данного, уже исключенного из списка допустимых, либо если на некоторой итерации в списке новых фактов появляются свидетельства как за истинность, так и за ложность предпосылки какого-либо правила. Очевидно, что, если знания не определены, подход к выводу будет иметь особенности, а иногда и довольно сильно отличаться от приведенной схемы, поскольку появление в базе фактов различных значений одного и того же данного будет уже трактоваться как неопределенность, а не как противоречие. В этом случае, даже при наличии аддитивной базы фактов, добавление фактов происходит не только когда область определения данного сужается до единст­ венного значения. Считается, что для работы с неопределенностью следует привлекать неклассические логики. В ходе исследований разработан способ формализации систем продукций с недоопределенными параметрами с помощью матриц конечных предикатов. Экспертные правила могут быть представлены в виде уравнений с конечными предикатами, где каждое уравнение представляет собой дизъюнкцию одноместных предикатов. Одно правило соотносится с одним или несколькими уравнениями, а вся база знаний моделируется системой уравнений. Матричное 80