 |
 |
 |
 |
|
 |
 |
40
мама (Зина, Надя);
папа (Миша, Надя);
мама (Надя, Оля);
папа (Коля, Оля);
мама (Надя, Сережа);
папа (Коля, Сережа);
Система Пролог при наличии этих фактов в памяти ЭВМ даст следующие ответы на вопро-
сы о «папах» и «мамах»:
? мама (Надя, Оля)
-
Надя - мама Оли?
да
? папа (Сережа, Надя)
-
Сережа - папа Нади?
нет
Машина, использующая систему Пролог, дает ответы строго в соответствии с определен-
ными логическими законами и принципами логического вывода. Разберем эти законы и принци-
пы.
Законы логики
- это общие законы логического вывода, используемые для вывода раз-
личных умозаключений. Наличие интеллекта и у компьютеров и у людей определяется прежде
всего способностями делать выводы и умозаключения в различных ситуациях.
Закон противоречия - первый общий закон логики. Этот закон впервые высказал Аристо-
тель - основатель логики как научной дисциплины:
А и не А
- Не могут быть истинны одновременно
ложь
суждение и его отрицание
Примеры противоречивых утверждений:
1) «яблоко - спелое»;
«яблоко - неспелое»;
2) «треугольник АВС - прямоугольный»;
«стороны треугольника равны друг другу».
Высказывание противоречивых суждений и утверждений является примером серьезных
логических ошибок. Наличие противоречий говорит о некотором умысле либо о нарушениях в
сознании.
В системе Пролог закон противоречия лежит в основе механизмов вывода ответов на во-
просы. А именно, система Пролог для каждого вопроса формирует его отрицание и для этого от-
рицания ищет противоречие по отношению к фактам и правилам в базе знаний, хранящейся в па-
мяти.
Так, вопрос ? мама (Надя, Оля) ЭВМ преобразует в отрицание не мама (Надя, Оля) и
временно присоединяет его к базе знаний. При этом получившаяся база становится противоречи-
вой и система Пролог объявляет отрицание ложным и выводит ответ ДА.
Закон исключения третьего - второй общий закон логики, указанный Аристотелем:
А или не А
- Истинно суждение либо его отрицание,
истина
третьего не дано.
Примеры взаимоисключающих утверждений:
1) «Сегодня будет дождь» или «Сегодня дождя не будет».
2) «Любой треугольник правильный либо в нем есть разные стороны».
Принципы логического вывода в системе Пролог отличаются от законов Аристотеля, по-
скольку его законы выражаются на языке высказываний, а работа системы Пролог основана на ис-
пользовании предикатов.
Соответствующая запись законов логики на языке исчисления предикатов представляет
конструктивные процедуры, позволяющие осуществлять конкретные логические выводы из об-
щих правил и конкретных фактов.
Закон противоречия в записи на языке исчисления предикатов преобразуется в процедуру
вывода ответов на простейшие вопросы вида ? А(с):