ГЛАВА 5 (1086252), страница 6

Файл №1086252 ГЛАВА 5 (Учебник - Логические методы в искусственном интеллекте (2,3 и 5 глава)) 6 страницаГЛАВА 5 (1086252) страница 62018-01-12СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 6)

Докажем, что формула F=A→C может быт выведена из аксиом А→В и B→С, гдеμ(А)=0.8, μ(В)=0 μ(С)=0.9.Доказательство. Представим исходные аксиомы и выводимую формулу в дизъюнктивнойформе:. Теперь образуем множество S, учитывая, чтовыводимая формула F должна входить в это множество с отрицанием, т.е..Тогда S={}. Таким образом, нам предстоит показать, чтопредположение о выводимостииз исходных аксиом абсурдно в условиях нечеткой логики.Выпишем дизъюнкты S:l.-AvB,2.-BvC,3. A,4.-С.Применив метод нечеткой резолюции получим следующие резольвенты:5. В (из 1-3) с cd1=cd(A),6. С (из 2-5) с cd2=cd(B),7.

□ (из 4-6) с cd3=cd(C),где cdi вычисляется по (5.72):cd1=cd(A)=max(μ (A), μ (-A))-min (μ (А), μ (-А))=max(0.8,0.2)-min(0.8,0.2)=0.6,сd2=cd(B)=mах(μ (В), μ (-В))-min(μ (В), μ (-В))=max(0.7,0.3)-min(0.7,0.3)=0.4,cd3=cd(C)=max(μ (C), μ (-C)-min(μ (C), μ (-C))=max(0.9,0.1)-min(0.9,0.1)=0.8.Степень достоверности полной резолюцииcd=min(cd1, cd2, cd3)=min(cd(A), cd(B), cd(C)=min(0.6, 04, 08)=0.5.Таким образом, следует принять решение, что формула F выводима из исходных аксиом.Приведем еще один пример использования метода нечеткой резолюции применительно кпредикатам первого порядка. Напомним, что утверждения должны быть приведены кнормальной форме. Кроме того, в процессе вывода используется процедура унификациипеременных.Пример 5.15.

Если мужчина хочет жениться и женщина хочет выйти замуж:, то женитьбаможет состояться. Запишем эту фразу в форме предикатов первого порядка. Пусть предикатженитьба(Х, Y) означает желание мужчины X жениться на женщине Y или желание женщиныX выйти замуж за мужчину Y, предикат свадьба{Х, У) - факт женитьбы при обоюдном согласиимужчины и женщины на женитьбу.

Тогда приведенная аксиома запишется в следующей форме:женитьба(Х, У)^женитьба( Y,X)→ свадьба{Х, Y).Определим возможность женитьбы г-на A (желание жениться на г-же В оценивается достаточноскромно - 60%) и г-жи В (желание выйти замуж за А оценивается в 80%). Это значит, чтозначения истинности µ(женитьба(А,В))=0.6 и µ(женитьба(В,A)) =0.8. Теперь имеем два фактаи одно правило:1. женитьба(А ,В)2. женитьба(В,A)3. женитьба(Х, У)^женитъба( Y,Х)→свадьба(Х, Y). Мы хотим из приведенных аксиомвывести следствие5.

свадьба(A,B) со значением истинности μ (свадьба(А ,В))=1. Представим 3 в дизъюнктивнойнормальной форме:Ш женитьба(Х, Y) Ъ Ш женитьба(У,Х)\/свадьба(Х, Y).Крометого,необходимовыводимоеследствие (доказываемую теорему) взять сознаком отрицания. Теперь мы имеем множество S дизъюнктов:S= {женить6а(А,В),женитьба(В,А),-женитьба(Х,Y)v-женитьба(Y,X)vсвадьба(Х,Y),свадьба(A ,B)}.При получении резольвент переменные X и Y сопоставляются с соответствующими значениямиА к В. Для резольвент имеем следующие степени достоверности:сd1=cd(женитьба(A,В))=0.2, cd2=cd(женитьба(B,A))=0.6,cd3=cd(свадьба(A ,B))= 1и степень достоверности полной резолюции cd=0.2. Следовательно, утверждение свадьба(А,В)истинно с реалистичным значением истинности из [0.6,0.8], хотя предположили равной 1.Две следующие леммы являются фундаментальными в решении вопроса о выводимости внечеткой логике полноте принципарезолюции.Лемма 3 [57].

Множество S невыполнимо в нечеткой логике, если и только если ононевыполнимо в четкой логике.Лемма 5. Множество S невыполнимо в четкой логике, если и только если из нее может бытьвыведен пустой дизъюнкт.Теорема 5. Множество S нечетких дизъюнктов невыполнимо в нечеткой логике, если и толькоесли из S может быть выведен пустой дизъюнкт со степенью достоверности резольвентысd<>0.Доказательство. Допустим, что S - невыполнимо. Тогда оно невыполнимо в двоичной логике(лемма 2). Кроме того, в соответствии с леммой 3 из S может выводиться пустой дизъюнкт □. Вэтом случае, в соответствии с (5.72) и данным ранее пояснением относительно значенияистинности пустого дизъюнкта всегда имеем cd<>0 и µ(□)<0.5, так как значение cd=0соответствует µ(□)=0,5 (ни ложь, ни истина), т.е. бессмысленности вывода резолюции.Теперь предположим, что в результате вывода получены cd<>= и пустой дизъюнкт □, имножество S выполнимо в нечеткой логике.

Тогда µ (S)>=0.5> µ(□). Очевидно, это невозможно,так как по теореме 3 мы имеем 0.5> µ(□)=0,5 >= µ(S).А это означает, что S не выполняется. Ч.т.д.В заключение этого раздела отметим, что приведенный принцип резолюции является основойвывода в нечетком Прологе, позволяющем создавать качественно новые экспертные системы,решать другие важные задачи искусственного интеллекта, где не приемлемы двузначныеответы, особенно в условиях недостаточности знаний или информации..

Характеристики

Тип файла
PDF-файл
Размер
978,46 Kb
Тип материала
Высшее учебное заведение

Список файлов книги

Учебник - Логические методы в искусственном интеллекте (2,3 и 5 глава)
opens___.ttf
ЛМвИИ.chm
Свежие статьи
Популярно сейчас
Как Вы думаете, сколько людей до Вас делали точно такое же задание? 99% студентов выполняют точно такие же задания, как и их предшественники год назад. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6376
Авторов
на СтудИзбе
309
Средний доход
с одного платного файла
Обучение Подробнее