итающий книги, - неглуп
3. Джон умеет читать и является состоятельным человеком
4. Счастливые люди живут интересной жизнью
5. Заключение: Существует ли человек, живущий интересной жизнью?
exciting(W)
6. Отрицание заключения
Отрицание заключения имеет вид (строка 6):
Одно из возможных доказательств (их более одного) дает следующую последовательность резольвент:
1. резольвента 6 и 4
2. резольвента 7 и 1
3. резольвента 8 и 2
4. резольвента 9 и 3b
5. NIL резольвента 10 и 3a
Символ NIL означает, что база данных выражений содержит противоречие и поэтому наше предположение, что не существует человек, живущий интересной жизнью, неверно.
В методе резолюции порядок комбинации дизъюнктивных выражений не устанавливался. Значит, для больших задач будет наблюдаться экспоненциальный рост числа возможных комбинаций. Поэтому в процедурах резолюции большое значение имеют также эвристикипоиска и различные стратегии. Одна из самых простых и понятных стратегий - стратегия предпочтения единичного выражения, которая гарантирует, что резольвента будет меньше, чем наибольшее родительское выражение. Ведь в итоге мы должны получить выражение, не содержащее литералов вообще.
Среди других стратегий (поиск в ширину (breadth-first), стратегия "множества поддержки", стратегия линейной входной формы) стратегия"множества поддержки" показывает отличные результаты при поиске в больших пространствах дизъюнктивных выражений 1. 1 . Сутьстратегии такова. Для некоторого набора исходных дизъюнктивных выражений S можно указать подмножество T, называемое множеством поддержки. Для реализации этой стратегии необходимо, чтобы одна из резольвент в каждом опровержении имела предка из
Страницы: << < 10 | 11 | 12 | 13 | 14 > >>