Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 79
Текст из файла (страница 79)
Функаию нахояпеиня щкзка хв х назовем пв(л> дза дмома эга будет его о ц нлз мать Для па«пай залачи лнзьюнкгивнан форма щкликапв бузсг имев визг р(Л, (э«ОО>, П(Иг, У> Р(У,У> др(Иг,г>, РПООЬЬ,«> Процессы аправсркенна рщреше зц н извлечения огва ав хы этй влачи прелегащены на рис !2.! 1 Отиегн» чга полсшнавкя унифггшгшн щ>н извлече ин огас а «не юг виз РРООЬП. Па(дадо«ПИ> Огвег а вопрос о тач. есть ян у дмаиа лел>щш.
сасгаиг в нжшкзсвин 'эпказйшего щ»зк блн:кайшега предка Плюнь'* Сгм е зврован аа Ф>икмня позвыаег выч свить э газ реву«кэаг О«неаииЫй выше обш Ш процесс нзщщеюм оп сг аз;-г использоваться в любы. Ч'О«гяурах опроесрмепия, гзе првмещюгсз олстзновки >инфнюлнн. ошкммые на Р«с' 12 д н 12 1О. Нпл скалемовсги фуньпни. показанные ж рве 121! Этот щюцесс по. эээвсг начощп, ошегы 51сщз зегчсшщшцно оче в щюкч- экк «пары (в з, павки >ц'Ф'гкмшв!.
прин пашне г, цю р .. Ре. сбсе взюг н ость о 'в за\шючсии (исчозногц ззпржаг хог«в этом полрапще не л юмвасгс прн. " кв к!стола лл экаой влачи. Рабогоспосабиосгь к о процесса пра»ьаасцкна «ескавьщгх прил ерш. 5цзее позроб ое апнсп не прож щзпгенна опытов иа"™ В (К !ыоп, (РОО! н (воз и лр.
<РОЗ! 544 Чжзкц Псков«иге«ь» 'к аапР км Решения зада искуасгввнног 12.3.1. Введение а ьс О, 646 част ь Ч Попопнительнме е твппмт а и со е ици эвдач мс»употнаи г'мне 12 12 Автоматические Рассужыим" р(М и Ч МГ0 Ч Ы'Шш пооь, И "9"О'Ы' ум,ш нш НШЮ ШХМРО) 9ОФ'Г" У) ! (пм»ха (шгб -,О.ь Нп).Ш мх.д 0)) ОООЫП Ю ! 1„9».ух (юж) и НООЮНЦ ОНШ 22.3. Язык РНОЬО» и автоматические рассуждении Только «он ннс рсышапю эмка пр иранмнроваиня обсе ечиваст сг ррс лос ис но»анне, юдюкиоси олученамт результатов и в эможность ус ранения псбоч. нмх эффмпав В э ом ратас»с булет списана сема ти а языка РК01.00 и его свить с вопросаме ав оматнческих расс)эшенин, расс ютрсниммн а предмдуюем разделе. Серьетлнн огра нченнсьг процедур рсэолюпеи Описанной в рюлсле 12.2, »вплетен трсбеваенс поаной слноролности бюм даннмх э»да и В роцессс при»сиены преликатй ф р опнсани» или преобратоваи диэъюнктивн и ф рмм может бмт умряна «мша» информация о 1 шеи«в проблемм утраченная цмформац не «»люто» ноп тм)млением швг опрсыр сипом некотор й часпг проблемм, а скорее »тоже саудггть пропоофнмм опв анием способа »спеты, вопия уюй амформап и.
например, Опшы'гие цысвого иргмения микст меть вад гае а, Ь, с и и — ли — лншрым В процессе реэолюш и можно испольэовать стратегию по ис. мы»па ени О сто уст'эго лнэмонкш. Стратегию м жно риме«ать о всем ыгерыем' и. » вмбор си с колг рк 'р Оя ср ° в итог»Ибер са Ой ратег и НООольэу мсжмр эо. Нци с ратегнв являют, б т г б„,эгх ютсв аабммп эвристика,и Онн нс олратумев»"'г »нани) о ыиь ой угш прелметной области задачи Напшшср, с риц шее ш с . ИОПРЕ прюера ьто "„вэов тьк Рши атаооформе а Ь -е,а. Это»мрьжеиае можно инте и 'синев» Эео вм р решравать шк.
"Проеерп г, гтстиин и . и ложно ли сир»жение с»цена » ст е Оте ) Ощуг они" " "' ычыыобиш. р ш и... «Ю СООМОШ»ю гя«свслсдут - ы ш(, юрыо„ампы гтр ь ложно иг и О)'сверить г Фтый - 'уше шу„ сп соб и «утони» срб ООРО(йпт«О 'ИОЦ(вомо 'боям жн й ыс лицы )чэсптр' снн Э спертммогу ц деРИ»т инфоРм Шв о том, ы Гт ц и исО ной П) н )ноннин 90 о огни» не «тн игна аа В сяслуюшем рати м в о РНР»ью(КОО 1ьи 1919б) тш ся хорн век с вираж „„„ тация спольэустс в кач стае г „. 1 тиа и» п)ю телурнеа ° терцре. г ой стратспш. Ношшмг ш скую информацию. ' шг сй с кр иг ту арисцг 12.3.2.
Логическое ирограммироааии роааиие н язык РИОКОО Чгобм понять матсмап чсскис осн вм осн вм яэьиа НК0200, ве гге ргр г нрпо О '1 Р'л ие ш йгс Рюшашшюв. За см м б в» к ноас«адил 1Олу симан, Оксима - ' 'см лишним к мему ммную Пмтсг,ю Рои дтрг й и» ы й (рг се) 1, „" ' Орую нно ла нюн им ша ьмыш и яэьжа РК01.00 """ пол мотрсно асн львова ие оп "рата а о с и» .ю ю расом рн базу давим» литъюнь паник ". ш'оп тени нмк амрюк ннй. п »гоп тени рюлеа -2) Есле о равич ь эш мноэкесты вьгра оным .
сад вшам ис б тес Одного по смите ьнаго лнт ала ( б ли ер ). и ос а нт рала атаюк б или более о рпншльв уч Р тр н гво лн ьюикго с иеы орммн н тер Во-п рюш зада ги, пн мваеммс с с мми »оно вмн. помошью это о н бора диэъюньтов. сотра ют са нюо исвмполннмости (О эшобаьй(у) длв опров пров»рос»на рюрсшсмнй т с а«эяюгся олными смысле опровсрлю ня 1рюдсл 12.2) Во-морит, важнмм рснмуше т оц ограсг рата пдквас в ха и очень эффе в наличае фф кгнан и стратег писка апра орле гл, но н »ейной вт дм й и 1 или. 1 ф рмы прелпочтен и еннинчно о смриксн н свеыюш целее и н.
рокеннв слева напра» с помошью пансы в глубину Прн эффекти оой рсы омгни рс«)Рсин Ьаиечнмх реиурс еммь вито о»1 эта шратсгил шр нтнрует ию денно про- аешкеиия. сс Ит . лн р странство шиъюнкгов обламст свойством свми лиимос н ( ап Еиь)е нко 1«Ь.)919) Х рн вс освмршкенаеылер. Оболшоэног ыаоиишл. наго литерала, т.е, моны быть танкан в форме в-ь, ь,, ьн гы в и Ь, Н Ь, — лоло;китель»не втер»ам Чтобы од ср ) лючевио роль един тасино.
го положь ожтие ьного литер»ы в рюрсшснин. »орновсюм вь рюши и обм о юиисмван в на имлликацинс олоивг::льнммшп р виде и ач-оюь, „ь П, -иле чем обсудить стратегию поиска »алим ф рмачьн с сир»поленце юдмноже- сшу, т Р г «ю вмр х и й 0(о п сшцю) Это подмножс тво вместе са сгратегией с- )о Р " гм» гюго рьведснтш целевог вмрвынгм на»И»ветел ы~ «ской р гремиой Рс Ргойг»ш) г-е,*в, е, в„ О)1 Р Ь Л Е Л Ц Н И Е АЛ ПРОГРАММА ЛОГИЧЕЕКАЛ ео еы)м копий, с»лед яея г п ы — это ииюксссво всеоб Ьоогы гип ' гэ г'Рснгг "еюэ стер«ого по~ялш е к э форне « «сшл, тэп«сэинык форне «гя н-д,,о, Ььж Ь, ' "" Оры ' лг"т'дэ тюзы»эют т тьиыс тгггтсршм, ' с л е егггш.
л ьоньюцьцця Ь б зэн»сапы в трет форьгж ПО!«ТГКНП ЛЬНЫ й Ц Ол«и н 3 пипеетс Шгцвтсюнгш ипсрээое Эпг »ОР«жпы о нэтыюсмос беээоголово нос сырел ел«е ди пр ряемьк стет 2. в, в, а„ нэтывэюжв ф к ш и Нэси 3 в Ь, Ь, ишмеытся отношснксм пр»вил». Гсср»» ториовсип»мрэимгпй допуск»от толще !экие формы. Елец» от символе иыпликшни г- может рэсполэг»исл только Один лгперел. н он должен бьиь пелоюпсльным. Все пишрюы спрэээ от спи»о»э т- то:кс по ожп ель ы. При»»ценно выршкний, со.гсрэешпх нс более шиою иолоюпсльного лншратэ, к хор опекой форме, выполлк. ется в три этшэ Оичюэ выбнрэстся пояоэопспьный лншрэл э выр»же Та. если он сушссг»уст.
° Нсренешэшс» в сто левую честь (нэ основе ьоммутэтпвиого свойстве лпьоншин) Эптт еи нет»си ый паюьиыльныи литерал стенавится з»голо«ком гюр«О»схо. пгвмрпьсюи. Змеи»сс «ырпкенис прлнодишя к ьор о»ской форме по яро»пят а Ь, Ь, Ь эг-(Ьщдгп Ь) н, и»инки. ко оспе«с тяьои де морг»наты топ«с прпеолитс к пят)' е ЬЮЬ; .Ь.. ле эл» с«симан ккмэппаипн промежуго вмт це'кй Ь, используется к имуштпв с ' со!В«я )стю копью ьцпи Олслум отмсппь, что и " рэ о пь, что порой не«от«ажно преобрэзоветь лгпьюгг 'гиен жше» гп пр:нпвогииого п эн ..о е могут Рцэр»«стел к ториовсюй форьк Неьотарь'с эь'Рэис ф р г . нэнрн г р Р О дяя со!лепил хорнопс исшдном про.лежен«и должн с О с " песни Ес жио содсрлитьс» е боксе одного пОюжлт " с гид«юг ж ьюжст понэдобнться "ересь'отр сс ' реи«1 страт пь про«:ржсиий. Р э тж ясин» »не стс» Оты ВОсть р шиэеш гг фф С ОКО Алгор тмнычншгсюя «логической рогр»ммереелиэустл юрюв«р н ю«ю при» лсцнеислсв пеыря сюш Ес иисле елыр «сии» сте т-э, в,я.
Нс цд «» кдом шаге вычислений ю оРигм Ронтвпль мм абРюом в б Реет пскотгРО» л»чение е, 1 г ".. Затем и»оспою нелстсрмииировэ вп выбор» строп с» еыр»женно (с дг — Ь,, Ь,, *Ьо „ торос используется,шя приведе целевого ир кения у ем унифнк ци« в и е, с помощью полег«нов«и Е Новос целевое выряжен«с рины стенд г-(е, *и,, Ь,*Ь,* . Ь,эе,, ... О„)б 7»кой роцесс пеле!ори Ниро«и ого при«слепил целевого ырэ е нро юли»с кя ло те»пор,ПОК»ЦСЛСВОСМ О Сот»ОНЕОКЭ Сте» УСЫМ если откататься о елстср ииироюиности та сче упорядочения подтэляч в пропсссе приведения, то ретудьтш вычислений е !ценится Ка»сом р зультюцч. получаемым с до ошью нсястермниироээнио о по скэ.
можно лике пригни пумм поююго упоря,ючсмцопт срсбора. Однако, сини»» уровень ислегермиииравэн О, нюжна опрелелить сгрэтепги паз»оп»юшне исключгпь иеиук ые эе эи иэ ггространсша по сг,э. 7»«. оо о т»- д»Ч« ПР»КГНЧССКИХ ЯТЫ ОВ ЛОГИЧЕСКОГО ПРОГР»М. РОЭЭННЯ вЂ” Обееп»ЧПЬ ПРОГРЕ. И Е средствами юипроля, » по вотможиоспг н учсньшить уро»снь иедекрминярояяни кп Е помощью зпгх срелспт прогрэ мист может обеспеч пь порхюк приведем бр ь и»бор лпью кгпв ььь вырэжсн«Гг.
с отгшуечых ллп прин леннэ к»яаого цел ео о вырэ«скня (Кяь н э элгорнтиэх попою нэ графах, лл предотвращения бесконсчиьа шгглоэ О доке!»тел,сте т необходимо прсдприюгмять дополнитсл с ер р д с р 1 Еаглэс а эбстрэьг ой спеццфнкэинп лопг сок»я прогр»мча должн» облэлэть ясное шмэишкой, свойстве иой системам опроееркенгш ршрешенги В рмюте ( эп Ешйеп и Кокяйщ. 1976) окэюно.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
