Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Стратегии проведения резолюции.

Читайте также:
  1. A. Различаем правила и стратегии.
  2. A. Различаем правила и стратегии.
  3. A]стратегии ассортиментного ценообразования
  4. II. АНАЛИЗ РЕАЛИЗАЦИИ СТРАТЕГИИ СОЦИАЛЬНО-ЭКОНОМИЧЕСКОГО РАЗВИТИЯ СОЛИКАМСКОГО ГОРОДСКОГО ОКРУГА ДО 2018 ГОДА
  5. III. Условия проведения Конкурса
  6. V. Механизм проведения конкурса.
  7. VII. МЕХАНИЗМ РЕАЛИЗАЦИИ СТРАТЕГИИ

В настоящее время предложено множество различных стратегий резолюций. Как уже отмечалось, различают полные и неполные стратегии. Полные стратегии гарантируют вывод пустого клоза на противоречивом входном множестве.

Рассмотрим самые распространенные стратегии.

A) Полный перебор. Проверяются все возможные варианты поиска резольвент на каждом шаге. Недостаток этой стратегии заключается в том, что очень высока трудоёмкость соответствующего алгоритма. Основное достоинство – полнота.

B) Линейные резолюции. Линейным называется вывод, удовлетворяющий следующей схеме (рис?):

 

Рис? Схема линейной резолюции

//cхему подправить (11)

 

где Сi - центральные клозы, Вj - боковые. Боковой клоз всегда выбирается либо из входного множества (S), либо среди клозов, полученных на предыдущих шагах. Клоз C называется верхним в выводе. Под входным понимается само начальное множество опровергаемых клозов.

//тут формальное условие на Bj (12)

Bj S или Bj = Ci,

где: i < j

 

Недостаток этой стратегии в том, что она не полна.

C) Входная резолюция.

Это частный случай линейной резолюции. Накладывается дополнительное условие на то, что боковой клоз можно выбирать только из входного множества. Сохраняется основной недостаток линейной резолюции, заключающийся в ее неполноте.

//формальное условие (13)

B; S

D) Стратегия OL-вывода (Ordered Lined).

E) Вывод на клозах Хорна (реализован в Прологе).

Примечание. Последние две стратегии будут рассмотрены подробнее, как наиболее часто применяющиеся на практике.

 


Дата добавления: 2015-09-06; просмотров: 230 | Нарушение авторских прав


Читайте в этой же книге: Введение | Точка зрения Петрунина. | Данные и знания. Основные модели представления знаний | Булева алгебра. | Метод резолюции в ЛВ. | Основные определения. | Применение поиска в пространстве состояний при реализации автоматизированного логического вывода. | Логический вывод на хорновских дизъюнктах. | Понятие экспертной системы и применение логического вывода при построении экспертных систем. | Запросы класса C. |
<== предыдущая страница | следующая страница ==>
Метод резолюции в ЛППП.| Упорядоченный линейный вывод в ЛППП.

mybiblioteka.su - 2015-2024 год. (0.006 сек.)