Составители:
Рубрика:
ВАРИАНТЫ ЛОГИКИ И ЛОГИЧЕСКОЕ
ПРОГРАММИРОВАНИЕ
3.1. Стандартная логика
Логическое программирование основано на клаузальной логике.
Клаузальная логика – это форма стандартной логики (классической)
и отличается от нее системой обозначений. В основе стандартной
формы логики лежит логика высказываний (пропозициональная
логика) и логика предикатов, рассмотренные в предыдущих главах.
Для изложения клаузальной логики и принципов логического
программирования повторим основные определения и приведем
дополнительные сведения из логики высказываний и логики
предикатов.
Напомним, что высказывание – это повествовательное
предложение, в отношении которого имеет смысл утверждение об
его истинности или ложности. Пример истинного высказывания:
"Земля вращается вокруг Солнца". Предикат – это повествовательное
предложение, содержащее предметные (индивидные переменные),
замена которых на константные значения превращает
рассматриваемое предложение в высказывание – истинное или
ложное.
В теоретических рассмотрениях используются формулы на
основе префиксного обозначения предикатов (префиксной нотации),
например,
P(x
,...,x ),
n1
,...,x
где P – предикатная буква (предикатный символ), x
n1
–
предметные переменные, принимающие значения из множеств
A
,...,A .
n1
,...,a
Каждому набору (кортежу) (a
n1
) из n элементов
a
∈A ,...,a ∈A
n n1 1
ставится в соответствие истинное или ложное
значение предиката P(x
,...,x
n1
). Напомним, что множество кортежей
(a
,...,a
n1
), на которых предикат P принимает истинное значение,
называется множеством истинности предиката P(x
,...,x ).
n1
120
Страницы
- « первая
- ‹ предыдущая
- …
- 34
- 35
- 36
- 37
- 38
- …
- следующая ›
- последняя »
