Методические указания к лабораторным занятиям Интеллектуальные системы обработки информации и машинное обучение Ставрополь, 2017
Download 4.3 Mb. Pdf ko'rish
|
78Metod IntelectSysObrInf 10.05.03 12.02.2017
- Bu sahifa navigatsiya:
- ЕСЛИ
|
Принципы работы языка ПРОЛОГ.
Для пояснения основных концепций языка ПРОЛОГ рассмотрим задачу, решение которой выполним с помощью обратной цепочки рассуждений. Пусть задано правило: 4 1 ЕСЛИ мужчина по имени Х со своей матерью по имени М находятся в комнате, И женщина по имени Y со своей матерью по имени М находятся в комнате, ТО мужчина по имени Х и женщина по имени Y - брат и сестра. Это правило содержит ряд условий, позволяющих определить, действительно ли в комнате находятся брат и сестра. Для решения такой задачи понадобятся некоторые факты. Пусть эти факты представлены в виде двух списков: списка имен всех находящихся в комнате мужчин и их матерей, и списка имен всех находящихся в комнате женщин и их матерей. Воспользовавшись этими списками, можно определить мужчин и женщин имеющих одну и ту же мать, а исходя из приведенного правила сделать вывод об их родстве. Рассмотрим задачу подробнее.Сведем известные факты в таблицы. Таблица 1 Таблица 2 Имена Имена их Имена Имена их мужчин матерей женщин матерей Дэниел Диана Энн Лори Ларри Лори Лаура Ширли Майкл Бонни Сьюзи Бонни Пит Джейн Просмотрев таблицы, можно предположить, что братом и сестрой могут быть: 4 2 Ларри и Энн (мать обоих носит имя Лори) и Майкл и Сьюзи (мать обоих носит имя Бонни). Попробуем представить логику работы программы. Прежде всего предположим, что часть правила, идущая за словом ТО, верна и действительно существуют мужчина Х и женщина Y, приходящиеся друг другу братом и сестрой. Выполним обратную цепочку рассуждений исходя из истинности такого заключения. Подтвердить истинность заключения можно, доказав истинность каждого из условий, входящих в правило. Первое условие гласит: ―Мужчина по имени Х со своей матерью по имени М находятся в комнате‖. Сначала попытаемся отыскать имена для мужчины Х и его матери М в табл.1. Это легко сделать, выбрав первую же строчку, т.е. Х присвоим значение ―Дэниел‖, а М - значение ―Диана‖: Мужчина по имени Дэниел со своей матерью по имени Диана находятся в комнате. Таблица 1 Таблица 2 Имена Имена их Имена Имена их мужчин матерей женщин матерей Дэниел Диана Энн Лори Лаура Ширли Сьюзи Бонни Теперь нужно попытаться доказать истинность второго условия правила: «Женщина по имени Y со своей матерью по имени М находятся в комнате». Но значение Муже выбрано-Диана, и, следовательно, нужно найти в табл.2 имя женщины, 4 3 чью мать зовут Диана. Но имени Диана нет в правой половине табл. 2. Значит, нужно вернуться назад и для первого условия правила отыскать в табл. 1 другие значения для Х и М. Выберем следующую строку с именами Ларри и Лори, то есть присвоим значения: Х = Ларри, М = Лори. Таблица 1 Таблица 2 Имена Имена их Имена Имена их мужчин матерей женщин матерей Дэниел Диана Энн Лори Ларри Лори Лаура Ширли Сьюзи Бонни Теперь для подтверждения второго условия правила в табл. 2 нужно найти имя женщины, мать которой носит имя Лори. Из табл. 2 видно, что это Энн: Y = Энн Обратившись к части ТО правила, можно заключить, что Ларри и Энн брат и сестра. Подытожим выполненные действия. 1. В качестве заключения мы взяли часть ТО правила, попытались подтвердить его истинность на основании истинности входящих в правило условий. 2. Подтверждение истинности первого условия. 4 4 3. Истинность первого условия определяется значением входящих в него переменных, которые выбираются из первой таблицы. 4. Подтверждение истинности второго условия. 5. Сделать это не удалось, так как во второй таблице не оказалось подходящих данных. 6. Пришлось вернуться назад и попытаться добиться истинности первого условия, а затем и второго с новыми значениями входящих в них переменных. 7. С новыми значениями переменных Х и Y последняя цель была успешно достигнута. 8. Заключение в части ТО правила оказалось истинным при новых выбранных значениях переменных. Download 4.3 Mb. Do'stlaringiz bilan baham: 
|