| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Prolog > Хорновские дизъюнкты в Прологе |
| Автор: WERITAS 14.6.2006, 21:24 |
| Почему в Прологе используются именно хорновские дизъюнкты (дизъюнкты, содержащие не больше одного положительного предиката)? Почему не может быть больше одного положительного предиката? |
| Автор: Artemios 28.3.2007, 12:16 |
| Как говорят учебники, логический вывод в Прологе основан на методе резолюций. Метод резолюций -- это обобщение метода доказательства "от противного": для доказательства выводимости формулы из набора аксиом, к набору аксиом добавляется отрицание исследуемой формулы, и пытаемся вывести противоречие. Вообще, метод резолюций приводит к комбинаторному взрыву, однако существуют некоторые оптимальные стратегии для данного метода. Одна из оптимальных стратегий -- линейная резолюция -- основана как раз на хорновских дизъюнктах, и нашла применение в Прологе. |