Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 45
Текст из файла (страница 45)
Абдукция: альтернативы логическому подкодь' Лап с к ююал, п саины риде 8!.а я р л ни чнпи г Р а рани эисгкрп свш ш 1 пр»кр РКО5РЕСТОК) б ю сл тэю ю ггр онпъд дбга»а«цап э ююбыао и т л )ршэт Ч3) Плюю щаю и Аль~ р пвн«рс с бы ислам юю С эюфорл ял Р ~Раб ~ Р эю"Рттых аш м,впм км)сйч!Вшьюа г,5ашькс,)сйл) ПР»раух.д ннячн юо э ргкп сею а ий екав к-э пертмои !да адеклюл ши в и э*. Ючен е с рл у д н Ус ластаюр 841 Р уч о ю ) аву 4) эна'апельно умснылаюшнма вычнсаательну и ныть ээдач Впроймеханиз» вЂ” бр а и р к пр н натам лучае,кала н бхолимо абъя простое шпю э какй.
В рабате !Нй н Мса у.)930) лоюээна по юп пшнщ тн гале мегриьн пршплы юл выбра объпсн нни прн -я Ов и тъкст е. Диоры ощкде и р ссп «испо графа дсиаительшвэ Баме юшре б «б . р дм б яснеииа слилспюшым шбмпмм или лей т ие. Рэпични ш сл Обое етр р ТЫЭ н го юкка шр имя ю СЕ(йт) СГ(йп) , М(Н()СГ(ЯВ()СГ(РЗЭ гш ) Х) — 'бшлющ' 343 зср,мтца" "ыц«0««РО«т«0, почти ««ВВ)эн „„ ош ю м ч юрм "меосмаваны натшв сльном всроятц,э иное, аак "в ьма ве шн юзмамн . Эпг г "«есовмс «оэффншы ;ага являююя юрцсп к Шм», «~ШД~НЬ О Из ОД,,П« о ам аммос Они;вга 8 2 юле«ТР г и гшшлщни бггу«1ггл11010 Вы«, В юд лс 8.2 ввоюлсз о «нв основе фдктарв уверен», ц ч да С змей рл к й МЮОЛ НШ Ч«ПГО ВЫ ОД«НВ О -Ш»фс « В Р злеле 8.3 Релставлены стоке шлы «щт шн«ю неопределен ашюй.
8.2.1. Нетачымй им«ой ип Оспвпе фпитпрп упйройыосуй Ф Ро уе Р нл ю оспа«ма«ется нв ряде наби„ 1 ци веро пнасгей сумме веро тностси атнощ „ Во пер ыь, радцц шиной т ории ае ° «Нлс Олпе«О НЕРО»К« СНТУ«ЦМЦ, ПРИ Шторы« „ отрицаюш д лжив рэ н ьсн ел«ниц ; щюеернасш) некоторого атношеми«значением 07, экса рг, оценив юрозтцост Тдасюи дагае . ю атиаш не испгнно, но, и «овсе е учцтывшт, что аиа ьюжег бьиь «ажимм.
В одно рслположение, ол реал реаляющсе марию фактора уверенмаати, состоит в там, цю з «юге ц рав лнамиоон пампа о вющее чеи знание аигебры лвя вычисления нк досто пасти ср уверс М Уверс иос и (или ло еР ы) — это меформзльнш Опенка, каюРУю челавею шспсрт добавляет к зцшючси ю, на ример: 'цераятма, это так".
"почти наверняна, зш тек" л "это аосршепно неверсщно" Сюндф рдскэя ри«фьщора уверенности неолит некоторые просп!с прсдполюке. ниа а мере д верня и «рспп«гас правила лл» абаелнценн» свилетельст« при выводе зе- шючений Первым дапущ и«ем «юыется ршдслеиие меры доверия и недоверия ('>а" и "лро ') лл» ало а о еи ы. П) т МВ(Н) Е) — ера уверенности в гностезе Н прн заданном авндетепьстве Е. Сбазначнм шрю МС(Н)Е) меру слое озер«ости гипотезы Н при з«ленном саиде. слытв Е ! огла 1 > МВЕН)Е) > О, вали МО(Н(Е)=О, 1 > МО(н) е) > О, вали мВ(н) Е)=0. эти д меры и лдд веют огр мнченв друг нв друга, ззк как зал«иной счишш™ыю свил . пп шпзуланной гипотезы, либо про мв нес.
В з оы сашоит вюкцое Раз!э!гене щу м щброй ув !ин осщ и шарий вероат ости Если связь ме:кду марции до«Я>!я '1 ело т верно ти ущэиоелена, и«можно снова абьедцюпь оледующнм обршом. СЯН)Е) = МВ(Н)Е) - МС(Н)Е), С вр б. нле ием фактора уверенности СЕ (сепяцну (ас!Ог) к ! Ус«ли«ются поварю г ипаты, а с бе«псы р ивы СГк-1 — ее отрицание. Блнзо гь значенця СГ «О оз' у г поюзы и проща шс сшщком ммо, б зт сиплое" ,«и о рщ ш но ьначс ис СЕ Фа ю СГ ф р ру юу правы. онн сопосшшш а «ажлым ОРВ«цл а юр сГ а ражасг м«увер мцос ь в нэпом ости ' р рыуврсн кило ощип е ли р улирошть пронзвали сльи сть с«оземь. ""'" ея о вли«ют ма Общую результативность наг учшей ар пн ис! ы л В )э«а О!О В Р ласт шзис О там р пней каррскп о чи ди гн , что "вши«о — ~~Е2 Вр)т" м" дать сами«э«сил Пр лцо ылка «аждого пра ц"- ' "*>ВИНИ операц и кшгь.
юаюОО лцэ ю «пи« Пр э Р т Раздав Ришсвюанн с анлыцу «СО ЮН Огр РУДОВ Рн В й Р ДЦ ЫЛКсслелу Дш Релоосылак Р! н Р2 СМР1 или р21 — М(Н(СГ(Р(), С Рд н Р2) = МДХ(СЕ(РП С р цол)"'сцн«ф' ора увероцц щц, „ увсренмостн В ОР «посылка СГ лолУ«сними с помощ~ю пР«всд вньы в Ра л, умножается ца Сдс ого правила рсс мотрнм, «пример,сл луюшееправцлоб вы э«амин (Р( влд ЕЗ) о.
ЕЗ Рт)0 7) апдйп И 31, где р!, Р2 н РЗ вЂ” превпось и, а Р! н Р2 — заг ю енц пр вюж с фактора л рн СГ, раа мм 0,7 и03 соотв гствснно Э нчислалсб ются к прав эупр Рюр. бшме н предстзвля т уверен осп. эксперта в ° воде, юлн а е прея а няни зевс ны с виной определенностью Если в процесс ыпшнення про ра юе ля Р), Г2 РЗ получены э«а« н СЕ,Р« е08,04«02 сот«стегав но, л нц м у й! ий2 следует учиты«ать с фа«тор«мн лое р м СЕ. Рави в 0,28 032 оа и Н Орнвод«тел вычн лон л з о а р р СЕ! Р1(О 01 ИПП Р2(0 4 ) ) = МЕЫ(0 б, ОТМ = О 4 СМ(04) аг РЗ(02)) = МДХ(04, 021= 04 3 н СЕ л. Й) О ожив«ни правы!а р вна О 7, шк о Р) лабы ыюся «гюже- е вуионкретмьш знаний ол и айситуашгн о значение СГ=(071"(Оой 028 3«ачен Сдд ей2«обптец правил рзвно03.
зкчюй2юбамв юм«апеству знвнийоданнойснтуаииис значение. Се(03) ' (Од) 0,12 урабуес о ределитьещеслнуметрцк) Каьабыэн нес«аз . й юоз н СЕ ее лл лва нл» более аравия рц«олег к олпе у н тому .е реэу агу й ра а й П «м я. эою свуча» отрцкае аналогию алгебры дштавср о с теорией р р р ней пном Меры д р ы гр об единении исз ки пп свндетезг тв вере полаю ноканпсз М ого „тна нсп у это цревгшо, можно Обтедц ть рюул шты любого а ичестю р ил.
испо«му деления сзул тат Я Если СЕ(й)) гтрелсша «е фаюорлюер прозу тют Я Ранее ие испавьзо«анн ю пра«цло цр вж и Рс ульшку тонаваозначеннсСЕрсэуль айвы сы и' ш лу юш м брюам СГ(й!) СЕ(Я2) — (СМЯ1) ' СЯЙ20, с ""СЕ(й()нСГ(й ! Ода«и ш ы.
СГ(йт) сГ(я2) (ОГ(йт) ' сяй2п с я сГ(яц сГ(Р2) отр та ельцы 342 г"«««В.Р«шу д юнус»ом «н Олр 11 л н«ип Чае™в! Пгюдста леи« ВКЮ бина»ионные Уравнснна им ют вРУгие М СЯ Ннй ЗТН КОМ Н Но. -пе ь . ч Фактора СР, Нинся пм„ -! Во-вторых в р снях пр нлу, в сгда бул т еяш ь пр значения СЕ сокрзша ГОЯОМН ым пр юополокн и знач ср Ср власте» ои нен, юмбинироваииая ше в й, ч о в канай-т ен. шей (уб замшей) фуи шюй, наго анде еяь тва. Форлсюй нлгебрь описывает е и»ости етэняфордс я носпюй мерь Как укаэьп в ю опенку прп инной верон н а с м подходе,села Д, В н С лд, „ „ 1 е.
. 2, а !липино б йс О оком подход. баннрпвап се зпРноРМ е апост иеобюднма плел ть н оком ° С)В), Р(0)С), Р(Д)О) Пода л ю орла сьг Фя™рс уверен с тн. позволя т спениаинсту гю знаниям а стэ л орде см фвкюрс уаереннс тн. пс про па алгебра яучгие отрикае с икае спосеб ышлени чело ека-эксперт» Теор фаюора увсренн ств ств мо ет бьп полвсрг ута критико «ак и об Неси ря на о что о р что она опрелелястся Рамках формаль ай алгебры, зиаченн мери доверия ве шк строго с Ш С РОГО Обсе анаис КЮ а "'Р'И ВЕРОЯТ О й Оливке творю ста не пытасгс строить алгебру для "коррентного" рассудд „„„ фант ра уверены ста Г б ия Она абес ро , оля ш ерт о д и пль а по мер а по мер р шения э лачн Эти меры явпяютсн эсрнсюнчсскими в то сиыс.
пе, что уверен ошь эк ерта в реэул штах жется неполной, эвристической и «сфор ой В свете сМУС)и фа р СЕ у при эврис им ке дяя установки прнорвшгоа целей н определен я точки отсечения, после которой пель»ело н более рассматриваться. Но, несмо ря а использован е факторов СР дла поллерикв а юне рс р м» бор и»фар амин, проиэводнтепьность программы опрслслле ся качество пра л 8,2.2. Рассуждении с нечетки ми множествами ТР л«лион а формал я югькаос о ываетсянадвухпредположениях П Рсс свпзаю усшвоа нсьг Ориналпежн сти — для любого алоэ!сита н и«пласта» прв ллслаш го нскотсро.
у универсуму,элемент явпяетоя дибо члено . иожестзз ибо членом л полне ня мгю. встав, Второе предположение основано ив з ко"6 не ююч я Ре м ю Оде ! о1ех абеб ш пше), утвер дающем. что элемент нс "' ' жп ол временно пр налле ть мно еству н его лоиолнс ню Оба этих лрслнюяо' дена»» Рушаютс м Рю ямнх.ш ю ипшу ю! гьео у) лофтг З»де то кн эрен нсчстю х мн их мноюсгв множеств и закомы рассу:кдсиий в Рамках тР н оннод агнки »азы ают нг Глав ю с и уг р д !не узде (2»беп 198)) зд д!Очается в О то тсопин Р тру игам дпя гпмсрениа случайности шфор '"' не Р с ысл аафаРмапни В амом спе, путанг'и ' с т ), ч м о случайно т ю Это яанястс Р а « груктур и играет жную рогш лля Опреэг рнас н пролукн онных и а „ш.
Ии» Н6ОПРСДС. С«ИОСТ» 66' з 6.6 6 а'6 фД Д О Ь Р л ся прав! ом ппм,— плач» р ю н пе. шсгг уже класа чссюв в сратуре п нечетк мнем Р з»рнугым чс тю ком Нз р с. 88 пред шалю арса р ) зе тми маа ., юпэрью н б. П ч еи апина рег тгрьстся по. х'ьти г э ул Рживагь е ертнкзлы о пслоююн. Пюо а и л йст мм сгшы юнсстн де срм н ро аниый спасо рсш нг юл сз с о.юшь сбора д«ффер ни мь- Г, П свмушешю сч.
ьою ю лс )нрзвши ю ш ннююг сгмтсмойсостои ею чюм жно юсшь Р ' ююп тсь'Огт Р'алюо ремею Э пю оргп. Юр в Р«' гла лля сочешнг н передюи нечстк мр з заз, стэн. лагам теорию озмож асм ', а допитым ру случайности «6» т»орин 6»ровтию й пошопд „ Теори» Заде наес юнмчеш Р жен е нсючноши дп ого е потея фун». в принадлежипст мномес ву, ка ор я можш ге ыежпу 0 н !. Понятие н6 ! Ог тм кес (1 дую Р . У юшим пбрюам: пу ть 5 кес ш*у ю) м пш быть оп а с е.
. а элсме г згаг ынаж стас. Н ое под. множество р мнапес ва 5 опрелелаесса фу кнней прннал ежност тр( ), задаюшей "степень" припав лностн я а Г На Р .. Р л е» сшил Рпгын пример юч «ого мно став, где 5 — мноме. а ис. 8.6 и влетав сн ю шве НОНОжитсньных чисел. д — н ч гк е подмножество 5. нюываемсе мне ес м мдяы чисел Прнвеле иыеннюрюли ныечис.овысэиа намогутимет р прелелс. ш,е " зможнпстн, Опрелспаюшес»х "ю еткУМ пРи ашгелис " алествУ имых ,!поел; гпн1) = 1,0, тр(2) = 1.0.