4)Гиперрезолюция
Можно делать так, чтобы в резолюции участвовали сразу по нескольку предложений. Это называется гиперрезолюцией. Предположим, что для конечного множества предложений {C1, …, Cn} и единственного предложенияB удовлетворяются следующие условия:
B содержитn литераловL1, …, Ln.
Для каждого i, 1 i n, предложениеCi, содержит литерал
,
но не содержит дополнений никакого
другого литерала изB
и никакого литерала из любого
предложенияCj,
j
i.
Множество Sa = {Ci}{B} будем называтьконфликтом, а предложение:
его гиперрезольвентой.
Гиперрезольвенту Ra можно вывести изSa.
В большинстве случаев к конфликту приходят после соответствующих подстановок. Иными словами, для заданного множества предложений Sa, не удовлетворяющего определениюконфликта, может найтись такая подстановка, чтоSa будетконфликтом. ТогдаSa называетсяскрытым конфликтом.
В качестве примера гиперрезолюции рассмотрим множества:
Подстановка =(a/x, b/y) дает:
Sa
-конфликтсрезольвентой
,
иSa – скрытыйконфликт.
5)С – упорядочение
С – упорядочение предполагает линейность,
так как при его определении различаются
левое и правое родительские предложения.
Пусть С– предложение изS.
Обозначим через[C]
предложениеC с
заданным на нем произвольным порядком
литералов, а через[S]
– множество таких упорядоченных
предложений. Если предложение[C]
порождается в линейном выводе
то пусть[Ci-1]
и[Bi-1]
будут его левым и правым предложениями
с литералами предложенияCi-1,расположенными в порядке
(где
т.е. самый правый литерал левого
родительского выражения является
литералом резолюции), и с литералами
предложенияBi-1в порядке
.
Ясно, что для
некоторогоi (i
=1m).
Тогда упорядоченное предложениеCi
таково:
т.е. литералы правого родительского предложения добавляются к литералам левого, при этом литералы резолюции, естественно, опускаются, а в случае повторения литералов сохраняются те, что расположены слева. Резолюция допускается только с самым правым литералом предложения Ci.
Пример:
22.И-ИЛИ графы
Метод - редукция. При поиске методом редукции решение задачи сводится к решению образующих ее подзадач. Процесс повторяется для каждой следующей подзадачи до тех пор, пока не будет найдено очевидное решение для всей их совокупности. Процесс разбиения задач на подзадачи представляется в виде ориентированного графа j, который называется “и/или-граф”. Каждая вершина “и/или-графа” представляет собой задачу или подзадачу и может быть конъюнктивной (“и”-вершиной) или дизъюнктивной (“или”-вершиной). Конъюнктивные вершины вместе со своими дочерними вершинами интерпретируются следующим образом: решение задачи сводится к решению всех ее подзадач, соответствующих дочерним вершинам конъюнктивной вершины. Дизъюнктивные вершины можно интерпретировать следующим образом: решение задачи сводится к решению " из ее подзадач, соответствующих дочерним вершинам дизъюнктивной вершины. Поиск на “и/или-графе” сводится к нахождению решающего графа для " начальной вершины. С целью сокращения времени поиска решений используются эвристические методы поиска. В основе эвристических методов заложена информация о специфике предметной области, которая позволяет сократить перебор вершин для достижения цели. Для этой группы методов характерно, что на каждой вершине используется эвристическая информация, которая перед раскрытием вершины позволяет определить степень ее перспективности для реализации определенного запроса. Оценка перспективности определяется на основе выбранной проектировщиком оценочной функции, в которой задаются различного рода семантические ограничения.
Ориентированный граф, обладающий свойствами: 1). При возбуждении (передаче информации) входных дуг, ведущих в некоторую вершину, реализуется либоконъюкция(И), либодизъюнкция(ИЛИ). В первом случае вершина возбуждается (становится активной и принимает информацию) только тогда, когда возбуждены все дуги, входящие в нее. Во втором случае для возбуждения вершины достаточно возбуждения любой входящей в нее дуги. 2). При возбуждении вершины возбуждаются либо все выходящие из вершины дуги (И), либо только одна, выбираемая вершиной (исключающее ИЛИ для числа аргументов, равного числу выходящих дуг). Часто под И/ИЛИ г. понимают граф, для которого выполнено первое свойство, а для выходных дуг всегда имеет место И. И/ИЛИ г. широко используются в системах планирования целесообразного поведенияавтономных роботови в других системахискусственного интеллекта.
