Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 75
Текст из файла (страница 75)
а а цещв໠— 1а звщ „„, зисшер левом — -р) Таблню Отлвиа .ч нв де„оц, Т дцдпцэ содсрлвн, Рэздмчные спос суде нкао до полного устр отряюню Такис н Реобразованпв нсаб .одцмо паочсредн Р О и Онат'ть В б о устранения отличий нан лес Интересных задачи а и доказан.льства тсарсьт. нсвь В ущранг гп напр мую В этом сл ;-" у р™шщ'„ чуз м случае нз таблнцы выбирается аперттор '! ° н зтв отлнч и. Такая ,пеню ощнчай Прц 'р ур» Рнмсняетсл рскурснано ло полнасо усцт о оцс ч Мопсе по „.„ов кхе,ч,цзх мс Юоя т) 524 цветку д н. "РЕшения зддач нскусстввннпгп нщя столбце табл.
12 1 (Х й н 5, 196 юп, 19636) и вю лог«чеши з д ч В НСНЛ вш и по и, прнменснаю. ИР ом злбце пр юдпся ре о. удблпцв 12.1. Пр нлвпрвопр в н д юлогнчо «пвэндвч п)п прав попрвобразов юн Рвкомендацнн ндацнн по прн вконце Пр етш, ЯЛВ ВЛС-д т о пр «,еи Я ЯЛ — пва в э оа е В табл 12.2 предщщшено докюащльства, сгенерированное чсзоаеко» (Хс Ц н 5тщоп, 19636) Прн этом человеку, не ммеющему ольда в решс нн юлач форчюьной ло.
пгкн, были прелое зюены правила пресбразою» нз твбэ. 1 ! Т!мбо алось орсобразоват вырахенне(йд Р) ( йпс)квгшу-( О Р) Вотюзнвче няхнзглавы2снмвоа "обозначает, обозн чает г а Π— В табл 12 1 снчваз -ь итн еь Обозначит «ор. Реэшую замену В правом стюбпе табл 12,2 указаны прввюа ю шбд 12!. прнменасмые нв каха м Этапе доказвщльсгва Таблмцв 12 2. докпэатвдьотво твэромы пв Оенпво ночзгш»н ючюзюннпэы юыпон И !чв п!п послвдоватвл ность прнмвнвннв пРавил првобраэованнй о . '22 п, Р П им»ивине правил И( п)п последовательное преобразованы( -ИОО д О (-И -РПИ Сй Р П -ООИ Р О -Р О .(Р -О) -(-О Р> Пршюо 6 О и р ю П (пори с" »т 5 и> Прш Пр «лог рим с 4 Р* Прв бери е н ю 12 прш ла(при м«м е 13 Ч Ои Р66 нейсе ло» т. 6 1 в в 10 12 (Э (4 В РШою Пес е( и виол, О (6616) (рагс(ии решении задач чел веком названы прцее( О« юшшю 0 1 ""а бшцй процесс нспольтовяню (Ч>е браюааню л(ш уменьшени» р вн нйвк нпкпюй '1«'тп 'Оц '(ш'и "сребсше Илгори(ы выпоююю полунш шв»инес«сше ы)ш(ее сф«шт Ь СР5(Селеш1Р(оц(ешф>(юг) Па Рис 12З покюаны схем« фУ«кцнониРованн» и таблица свален Ллп Срб, Трсбу орсо рюова ь в б шова ь нырял«иис д в выражение В Пля этою сна мла необходимо наип( р ч«с О сиду д ц В Во втором блоке первой сг(юки Решается подгадала — уменьшение О третий Мок >иа исае на то, ле процедура уменьшения ршлнчн» «вюс тел Рс„урсы ией у еньшение рюлич н выпслняс ся во второй строке.
где длл О выбнраетс опс, . юр О. На с о леле с(вкок операторов формируется на основе таблицы связей Опера. торы нт мого списка поспелова сльно проход»1 тесю прим нююсшн (Уе»ИЫЬ(у (еп) В рльей лрс е парис. (2 1 испоеьтуется нужный оператор н умсньшаетс» О. Псполюусиая в Срб молель решен(ы >апач основана на двух комцонентах.
Пер- вый — с ка ыше обш процедура сравнения двух состояний н уменьшен«» их Ршлнчив Второй — и бя «еятсб Вйые о( сопиесцопя), описыва(о(цая вэаимосвйта мьюу ушслауюшими рюличюми и коих>с(нымн преобршованюмн, примеюсмыю( для их уменьшен е. Таблица связей дея 12 преобратовпний. Опнспнных в табл 12.1, по. «»тана а рис (2.(. Вл» у ньшенн» ратшзци в алгебраической форме при Решении ш' лач ало»обив ной нх башен (шн моделировамин более сложны» н(р, таких юк мазы, гт римсняться пру(нетаблиць( святей Мнп(очнспенныс приме«сина силе СР5о канна(Е пын Испей (йбу). стрипур»романе прошел уменьшения различий дпя конкретной прюь(ст'ьп' поюгал орши носат паис Р т поиск е пропрпктве о>е(опций. Эвристический иди приор"т""" порядок ушзыиения а>ли ушз ратин ш( неявно спрелеллетсл порядком прсобрааований иа осло люм о ючнй.
Соглнсио хому цо обь Р(шку ычио сначалв выпал«липея более пбши» Шхю(Р»' еююш(п(«юшнные Зачастую при ощюлслении парилка преобраи>вала' учип(вюса мнение тшп е ц с(пое по данюй прсдылиой области С см Срб гцк(Ш«юа и л (ко «в» Одним ш н(а (ко ш рюннтня исслеловмшй во»(но( дним ш н(асино исашпю н(ис м веч СКОЮ Юю Е а С(ШЮЕ ПСКУССти»ННО(О И«ты«ЮПа Дйа аиап«та Чаш В'""" " проц сш рн»,м„, ппи пел й н б т ш' В чае(ности, испольаусмые в СРВ мепшы юм нср дев юш >вменены снск ой 1 бине н снск ой лопзеского вывола, прсюшв» ыл д сш' ф р й челшкко (глава 16>. В с('арсмеи« 6(ш >д» шд( пл вюлц ( где д що( т( сьюпп 16(лл(ы О цш ПР 'КР» '(Ь 61 Д»Ы«ЮП л йц "Св Ц "~Ф У Усе * Р Июл р у»а ц» и И Р ЮО шт«б Ь( ~ю Е:':Л-' й" Ит(И "С ИО Иш о »с Шит Рлу ые уамаж с О т р ен ь(рд р й(п нл 1«ю й д И П«СЕМРШИЮПЕ Ы.«)Ы Л-ЬЛ,(«е(,У,, РС« Уле«1»среОша сор: и*т ( тв ш, славе сси» ое он(ра Р та цш й А( Я2 яа ю яа яе ят яе й» и\ля((я(2 Долее Мз Ии в амо глава (2.
двтомвтическил РВ~У РИ мы аа снл црл ар т е вт (иер сс ч нм а енн»с Таа, вюсто табли ш отл чнй в системах бтя(рб ЯВ5тй(РЗ сга непал юеать юб (ы р ( ('>ш(аю ыые) для юо«ирю и (р(апп ю> плв прова пе — >1О е ный кл уира ле- »'1" Р'>йотами Чтобы решить твлачу. напрцч р, 1ерс( 1 в лр> с (в > ю т>н рн лине. ть и.
оп 'ж. яюш(й .кйлшш (юбота. Сначала необхюи о полою ть прелмл, копрмйр ботл Р ' ' Р> « ле а, воин в нл, ледах» обшшу л Прн Д«срн ышн (ц кпмнаты наби ули(ю ' 1 а воцш бйб Часть ц ,Поцошапельнме ч иашюогпйн~ 12.3Л. Введение Рюонош — эк Омш гп приемов до«шпкм«ты тсср м в области исчиысны ац выий ны! л!Ндппюв, а к«ыши1 к сфере нскусспсннога шпшныпа с ссрслшш 65„ нови« логосы. пы (В!Оное, 1977), (Воппюп, 19651, (кома)зйь 19796) Резашоцы иртекс ыюлх исполюуе о.лл пссгроепн нрыеркенгю (кйтктюп> ( овр шел)222) В юпш лраюическю пр енсинем м ода рсэшышю, в частности прн ссзланин сивым ш рокртмп, ласка совреие ые покоаение имкрпретаторов языка РВОЬОО (рис 1221 Прин«во р тес шм (или разр шенвя), зелен ыи в рабате (Пов пион, 1965), шшсы. мт споюб обнару ения про арский в базе аииы дизъюнкти ных выражений нри альюы нспользояаюш подскново«опровержение разрешения — э О оп«об до.
аюакль сре», ос«оюм ый на фор ул р вке Обратного утверждения и дебавае. ннн отрмытпвно>а яшка в ны к г ству из е ь аксиом «оторые до прадас. лыкынм счюаытш лшннны и Затем прынпо резолюции используется длн локвзакм. стев го, что «ое прекпслоъение ведет к пр пнворечню (докаэательсша ст Обрашок) псскоаьку в прысссе докюатсльскв теорсиы покюывашся, что сбрзкст утюр ление иесое е имо с сушесгвуюшим набаро» аксиом, но*одное угырмяснат лоа«но быль ис инни В этот! н состоит доказательство теорем. Процесс до«макам ва рси л макам ва от обратного со онт нз слсдуюших этапов 1 Прсдпононения илн аксиом дриволятся к д зъюик наной ф Рме (с (полрюлсл 12.2 2) 2 К наберу аксиом деба« тинной форме «ляется о рицаине локазывасмог >твержлекиа Э В мпоанястся осам стнае с .т' мтш новые основанные на н е разрешение этих лнзъюиктов, в Результате .н )г,г Э).
4 Генсрнрушся пус«ы вм ени, 5. .Пс, ы длв мр жение,означаюшсе и отнворечис дшаиовки, использаы длв Р ынны ллв ьскул > ! с! по!ус« .Уюы стрнюиы огринаная— ы — истинно (подраздел 12 2 6). 52В Часты Дсп Д шслннгелыыв «оп таяне" опрыы решения задач искусственно!Он"т 529 ГЬВВа 12 2 Автоматические рассуя денна Тй!95(а» гшда какц)шцзиыр Ьвпй 1„ !97! 197 ), (5ъсе л ',глдм й днзлОп гнь к тешу тр т ан й табл н' с'О " У' . и писки зоба«т "' " ул тени, с 12 1 Т блица ошр'цнй , " досде вмпалненнп отраний Систем „ В ""Рота к юРым л ф"кн!О н Яа тэдле7Я, ° 'Рсыизац ЯнааэыксР)КВ, бн 5тд)Р5,бмлао нс павр бу. Я Зт! Ю» Ч РЫ У ШСН«т В Ызаект ск до) (Орб) иыш к искмы (оас Твеопп км з л ч, г«лпюзсы«О ун )ф т нрэ гюй «юды рсш н пы ю г шракпги пРи сныил зп ч „ азы оыюл е геки и г «ОЮВ„ Р Р' гр 'ФР т выт Яыь 'гны сорт г юм«арлре, Юг«лрм ар 12.2, доказательство теорем методом резолн)цнн см д 2 у огрю,гн! «ам!кызы От Обрыио о т бу ""Р янйх н Вон форме югнчсскы ершы (1гк П Литер ы'! и оторы гоуннфицнрою ь ц д,ь там гегкшрушся н герша и егО Отднынггя ЬНЫРК уп ПРЕМДЕЧЕ ПЕРсй д „6 „' ' Ъьн, „" м"'"""и саеДУюш ии лРимер Н „ и ю«амеи к с попу с«ному с л ла Рн зто» иост дрь ' ус«о е леле Ра лов цкь чита!с !мне!!па "Фило Омер стае Этн Прадас Р У ринси — в тные ы(ддп„(, 2.
Фидо — собака. Под(йбо) э. на основе правила о деления н подстановки ьдпогх) па учи ашшагмда) а. Все животные смертны. У(ухал!ша((у)-ьдге(у)). 5 на осилив правила атлелени» и нолстыювкн (рбо!у! ц л>чвм дге(вп ). По принципу резолюции зтм дреликвты неабкалнма преобрюовать в днзьюнкгивную форму. ппвликат аа Форма Диз юиктие забор«в у(хкдод(д)-ьапгша)(д)) дед(л) в «лейд) дад(ица) ПО9(йдо) УОЭ(лл шп!О) — ьдте(У)) ад!па!РО ОЫРО Запишем отрицание нелеаого утвержынни "Фило с еркнч Фекгбо) аге(йцо) В !полная резолюцию с использованием обратных шпсралов, поиучим новме лнз ° "кш'!иные вырюкеннл, прсдсквленныс на рнс 12.2. Этот пронесс ючас«гю нюмыст м' "В «от«к« (с)взйгпб).
«меод ! на рнс 12 2 озмачает пустой низъюнк\ нли пративоре чне. Он птывслнзнрует кон НЧ ПИЛУ ОРЕЛ«Ката В СГО О рии Ниа, С НВЛНЧНС Дву ЛРО л пм „чнвыт высьюыев. Н«6 а "ян тве днзыаикюв П с Одыатс„ыос ъ долг ш е о о скио оь К е аний унифиы. „цце »ситной форме, поэзо„„ ир» ык лсл "" " Рм е, ,еедсюм ар в,м вы «взы е исти но ц н) ирц ди,ненни" сущщтв .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
