Представление и обработка знаний

80 2. Записываем дизъюнкцию: P ( a ) V Q ( a ) V ¬ R ( a ) V ¬ P ( a ) V Q ( a ) . 3. Удаляем контрарную пару P ( a ) и ¬ P ( a ): Q ( a ) V ¬ R ( a ) V Q ( a ) . 4. Вычеркиваем из полученной последовательности литеры, идентичные младшей, т.е. Q ( a ) : Q ( a ) V ¬ R ( a ). Обрамленная литера . В процессе нахождения бинарной ре- зольвенты будем оставлять в результирующем дизъюнкте первый элемент контрарной пары. Этот элемент будем записывать в рамке и назовем обрамленной литерой. Обрамленные литеры, размещен- ные в конце выражения, вычеркиваются. Операцию вычеркивания будем называть операцией сокращения. Выполним п. 3) и 4) предыдущего примера, с учетом получе- ния обрамленной литеры: 3) Удаляем вторую литеру контрарной пары: ¬ P ( a ), P ( a ) бе- рем в рамку: P ( a ) VQ ( a ) V ¬ R ( a ) V Q ( a ) . 4) Вычеркиваем из полученной последовательности литеры, идентичные младшей, т.е. Q ( a ): P ( a ) V Q ( a ) V ¬ R ( a ) . 5) В конце выражения обрамленная литера отсутствует. Вы- ражение остается без изменений: P ( a ) V Q ( a ) V ¬ R ( a ). Рассмотрим пример: S = { P V R , ¬ P V R , P V ¬ R , ¬ P V ¬ R }. Применяем метод линейной резолюции и получаем пустой дизъюнкт (рис. 3.6).