Введение в экспертные системы

Как быстро похудеть после родов на www.bodylabfitness.by. | viagra without a doctor prescription



8.3. Опровержение резолюций



8.3. Опровержение резолюций


В языке PROLOG используется "интерпретация фраз Хорна для решения проблем" (см. [Kowalski, 1979, р. 88-89]). Фундаментальный метод доказательства теорем, на котором базируется PROLOG, называется опровержением резолюций (resolution refutation). Полное описание этого метода читатель найдет в книге Робинсона [Robinson, 1979], а в этом разделе мы попытаемся кратко изложить только основные идеи.









Начало  Назад  Вперед