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