Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ

Этап 1 - исключение импликаций и зквивалентностей

Этап 1 - исключение импликаций и зквивалентностей

Процедура начинается с замены всех вхождений -› и ‹-› в соответствии с их определениями, данными в разд. 10.1. Так, например, формула

аll(Х,мужчина(Х) -› человек(Х))

будет преобразована в формулу

аll(Х,~мужчина(Х) # человек(Х))

Содержание
Этап 1 - исключение импликаций и зквивалентностей
Этап 2 - перенос отрицания внутрь формулы
Этап 3 - сколемизация
Этап 4 - вынесение кванторов общности в начало формулы
Этап 5 - использование дистрибутивных законов для & и #
Этап 6 - выделение множества дизъюнктов
Оглавление статьи/книги
Похожие страницы

Генерация: 1.847. Запросов К БД/Cache: 3 / 0
поделиться
Вверх Вниз