 |
 |
 |
 |
|
 |
 |
67
При наличии этих правил в памяти ЭВМ можно получить следующие вопросы о бабушках и
дедушках:
? бабушка(z, Оля)
—
Кто бабушка у Оли?
z = Зина
? дедушка(z, Надя)
—
Кто дедушка у Нади?
нет
Принцип унификации в системе и языке Пролог является общим механизмом логического вывода
ответов на сложные вопросы в базах знаний на Прологе и тем самым — конструктивной реализацией
закона тождества для машинных систем искусственного интеллекта.
Таким образом, работа экспертных систем на ЭВМ основана строго на выполнении требований
законов логики — закона тождества и закона достаточных оснований.
Вопросы
1. В чем состоит закон противоречия?
2. В чем заключается закон исключения третьего?
3. Как используется закон вывода следствий?
4. Как используется закон отрицания следствий?
5. В чем недостатки закона двойного отрицания?
6. В чем состоит закон достаточных оснований?
7. В чем заключается закон тождества?
8. В чем состоит принцип унификации?
9. Как согласуются ответы на сложные вопросы?