Однозначность вычислений над дизъюнктивной базой

Обобщим введенные понятия на ситуацию с дизъюнктивными фактами. Пусть d_k - множество конъюнктивно связанных фактов. Тогда дизъюнк­тивным состоянием базы назовем любое конечное множество

Основные понятия совпадают с введенными выше. Определим вывод по продукции в дизъюнктивной базе.

Пусть задано: и продукция pr = <q, r>.

Определение 7. Будем говорить, что из дизъюнктивно выводимо по продукции pr, если найдутся такие q (подстановка), k(1£ k £ m), что

Очевидно, что любая система продукций конфлюэнтна относительно дизъюнктивного вывода, и все возможные результирующие ситуации, получаемые конъюнктивным выводом, входят в результирующую ситу­ацию в виде дизъюнктных членов.

Дизъюнктивный вывод представляет собой полный перебор альтер­нативных вариантов, основной недостаток которого — комбинаторный рост дизъюнктов. Для его реализации в работе [43] предложен метод "снизу-вверх" с использованием отношения несовместности на фактах, принадлежащих различных вариантам вывода.

Однако вывод с отношением несовместности несмотря на все сред­ства оптимизации основан на алгоритме полного перебора. Поэтому в формальной модели необходимо разработать средства для представления эвристических функций сокращения перебора и управления выводом.