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