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