Стратегия полного перебора.
В этой стратегии сначала вычисляются все резольвенты первого уровня, а затем все резольвенты второго уровня и т.д. Резольвенты первого уровня являются резольвентами для предложений из базового (исходного) множества.
Резольвентой i-ого уровня является такая резольвента, чей самый глубокий родитель является резольвентой i – 1 уровня.
Стратегия является полной, но весьма не эффективной.
Рис.13. Стратегия полного перебора
Стратегия опорного множества.
Эта стратегия состоит в том, что, по крайней мере, один из родителей в каждой резольвенте выбирается из предложений, возникающих при отрицании целевой формулы или их потомков. (Опорное множество)
Для опровержения с помощью опорного множества каждая резолюция несет в себе черты обратного рассуждения, поскольку в ней используются предложения, принадлежащие целевым или являющиеся их следствием. Поэтому каждая резольвента могла бы соответствовать определенной подцели в системе обратных рассуждений.
Стратегия, основанная на опорном множестве, приводит к более медленному увеличению числа предложений, но с другой стороны увеличивает глубину поиска. По своим интегральным показателям более эффективна, чем стратегия полного перебора.
Рис.14. Стратегия опорного множества
Доказательство истинности нашего целевого высказывания не единственно (так как несколько NIL).
3. Линейная по входу стратегия.
Линейное по входу опровержение - это опровержение в котором по крайней мере одно родительское предложение в каждой резольвенте принадлежит базовому множеству.
В этом случае число предложений на первом уровне равно числу предложений на первом уровне как при стратегии полного перебора, а затем число предложений снижается.
Рис.15. Линейная по входу стратегия
Линейная по входу стратегия наиболее распространена из-за своей простоты и эффективности.
3.4. Выводы по 3-ой главе.
Преимущества и ограничения метода резолюций:
Преимущества:
1.Является системным и теоретически обоснованным.
2.Простой алгоритм.
3.Возможно любое направление при доказательстве; как от исходного предложения к целевому, так и наоборот.
Недостатки:
1.Невозможно объединить единую эффективную стратегию для всех задач.
2.Эффективность резко падает с увеличением числа предложений.
Контрольные вопросы и задание.
Расскажите о логических способах представления знаний. Укажите преимущественную область применения логической модели.
Проведите формализацию небольшого фрагмента знаний средствами логики высказываний (логики предикатов).
Лекция 9
Глава 4 Представление и вывод знаний в системах искусственного
интеллекта на основе семантических сетей.