Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 91
Текст из файла (страница 91)
С+ ° !а э Те» не «юнее С(5Р н РКОБОО продолжают нгреть сваю)»ь е рщрэбеткепрэ янов лрогрзмм новых методов рсшенсщ задэч. кром юго. зш юьп с уэдт з гя обоснованы» мнаптх средств, «оторые впосневсьн« ля э юэш ещ ы щмш Шоюаммпйювз Нэцболее ярым прпмером ям»пи 1 Ро , а гоь тнческое улрсюпне вьмью в лруп( срсзствэ, впереы реэлгловэнные в язык«я программнровз нв зыз» не. у сг Сюластсв кч тленно, по весь осшльной мнр рогрвммв(мм. няню п» ю пшзыш лсреюь с а«ларем т «зыков Ресдгпагцтт( ь с«усы«энного »ось ящ с мой ючп зре г пснмкть !.!Бр, ркоТОО тшн Бюзйш(!со временем булет«П ' ле лнышщы Авар )ь.рен. что зт языюг дрнгадвтс» чмтюелю, юле сг ' клевета« н н»ткет ее месю в Сьг 1« «юн любом друго» конкурнруюше" л боб Чстщп »к««тек еле гннп ог р рэммнрсвэннв шзн нею)е 14.0.
Введение "'"э) Ке я)ос — йсйбннп (Те~бе ). Яш р я Кек рсвлнзэшш прнншшов логнческого претр ммнрованзщ язкь РКОТОО енгкгл ннлрюнмй н существенный лэл в рсшенне зздзч нскусств н с о пню пккг Нянослю за»н е 1 снн шест дс . р (бес)зшпь ютпаппсз) — редство вряма о вмрэ» ю взэпмосвязе1 в звл ч к ° кзс ш, строенные ер Потна уннфн зпш н н оры рясны проверк» иютвептвня н попс з. В зшй глюе буд)т за»рок)ть многце вэмнь е вопросы лоптческоге проша «ро ш н эргзннзмшк язык Рр(й 00 В Рыле с 14,! Превп нсн бэзовмй сюлэкснс юыьа РВОТ(6 н нескшько про:тм* пщцшч. Псмонстрнрушпзн» нслользавзнне не»»еле релнютов в шчес ю эрелстэел нн». Будет паюзан .
юь о еююзть ссстолн е среды РК01.00 п нспшьз вюъ ерем Ршвшче ш(с т ре (одюяренлнзвше по сювглубнпуваззмюРКОТОО Врюлсле!42рассматр вэетсяво р ссоздвннлоб" р ь д (АТД) (" т'гзс( !х(л (урез — АОТ) ня ыш РК01.00 К нпм лносяща сэм (м си. Ред ( ое Ч' ) р.р ю.н,.„ргд,(р ° уй. ° ),н *Ус»Не и 1 щ душан«ой слстемы рюд ш !4 1 рюрзбот т в рэздею 143 у рмюяющгь сюуктур для ор~™«п цска, оннсэн ы» э где« 3,4, б.
В резлеле(45 по р«юэ рэззьт 74 РвбэтЫЕ Е»СЯ г ю ен(т (р! ппег) В Р«ЗЗС.Е(46 «ОМГЩЕ тЮННтн « »Р д Е. (щще.ршфсзтс) — рсднютов. сбл сть терпрегш ~ штор ь «»лмюэюг шмн зыш РКО(.00 Нэ р чер. Нрэьснве вео»(кп кые ся п«ннмм, есдн з »немн»к ыс з чкз ь ты ю» о неп ть сеять з ° о о р "' ""'"' нспользуюзс дл» и строю,м «дщр р ю Р (щеы.п г«ргмю) нэ дрнмоняются лля созланнл щ,г ы, в свою о «Рол прет, языке РКОО)0 «отар е род с вя вастраенню н прусты нрнм спек»с лзыю РКОСОО сго зсв панс» в лрослзанстце »маров расом юрнввс ' ущюнс.э з 'кнц абакы которого нзложс р сез й, прнн«нпы ра Рпсюкс яс асман нчссюм с с вап сн пране -р рам „р, ", а(в сыпем зп х с олхадо в ат хекллрпа я нм х мс 14.1.
Синтаксис дл сис для программирования логи „ преднкйтов 16.1.1. Предетавлсдые фактов В прюныл Нммщря на сушсстваваннс мнагочнсясннмк лнюек1ов языка РКОСОО, д спользусшя всхолнв серена юыка С-рй01.00, разработан ая Уорреном (Ш Перейрой (ремщ) (Ощн(п д Ней(й, 1яяи Чтоб» упрост(пь прелставлсннс дзццнх н «е Рй0100, врн апнсзн ш ваньк» прел»катав в главе 2 используются многие сю ющщ, «рннятые в ло взыкс. Оанако сушею вуют м агочнслснные отлнчня снныкспп лощкн прею(к он от юмк РК0100 Напрныср в СРКОСОО сна(вол - сащкщшз) г сн алу (- яогн преднкагов первого порядка Прнвслсм еще несколько отлнчнй с шк са РК0100 огабазна ннй, испол зуеммх в главе 2 Нээваннв опвраннн Обозначен е е логика преднка таз Обозначен»в в языке РВОЫЗБ и гыканеп Дкорл любнтСьюзн сел д.во н Ршк н люб п Кейт" однем а ' е (доя, камю).
гн» ДРНМЕРО »Два, Кс» Са»ЗКН О, Ч, Н (- рй(К.ОО Имена прсднкатов (лапа«об(о 1, щ н(- нз лагнкн прел»катав дар метро« н дзжс послы»нос юзн о владо м!1»ея),щднщс анно я Ок псрсмснно чнщо вм в а н„ц ц((нс ой "се»внтк ой") кон стно" цусг ннкзюп а(рана »пню, рачс еба сн ротной задачи. В агом языке о а ш ащ , жьгма на язьгкс РКО100 — ло набор сщ с гре ванин пр внльного пастраення " м д.
ня формул. , 'а,о н ваюшнхаб 'н 'пмнщ "е у р — на р сшш фнквш н аз палм» прав о пс щщ хыу нв н прелмепюй бяэсп( чн. зо» еп ( Ыц ) кон«)х он млачн И п КОССО ат счасг на вопросы, к самы»оса з1опз наба о ра сн цнфнмш»н. Зшр сы и бизе лана шаблоны, про,(сщвлснньм в юм я» о мок мок м сини н е, по н записи бпы нн м. Ннгсрпрощтар РКСНХ)О нспопьзу попок на асю аб с ш ланов лня одред с»н огд вмыютс«гн згн .На!юсы йап скн пг эс (вне ал — н с бю ол — н аго мл мных Ннгсрпрештар обрабатывает запросы выпшшяя попс» базе ланных е г ну спею на.
драво »определяя.валяется я»данный прес. «нч локтю»с. ' д дани х. РКО1.00 — зта а новпщ ннмрнрсгнрус ый язык Некат рме бла РК0100 р ют талька в Рпкнме рпрегзш(н. врун» лопусюют щ пнешню челы нлн всею набора спеннфнкаднй лля ускорснвн аз(поше прог)мммм РКО100 — ло нн. геракл (йщык ппльзоаатпывводпззпрмь(аапегнапр . тДопущнм, требуется алнсать "мнр самца нй н антнпапю" Дморажв. Кейт и Сьюзн Бюс данных юля 3 ай зала»к мо.
ст сакер»ать сшдуюш й набор прел катав 1зх (д д 1 Квя(де гдв, ннн!в) 1*Кев(деагд, 11К (»все. д!и). 1 Кея(Каее, в в!е) пот х = х= хне з-11кя (дод. пег' !. 0™щм нсскал ка мамснюв а агах я»мерах Во- срвы, дрн обр бо ке зэщюса "квн(де де, х) полю,сеген, ноеждоваш на яв,зп прнщншенгм з но„,му 'Ларс( ор мп,, щр и спсн ф( щш бю лв нм ко р» мо Р аа р щ сг в. щр г мва а 14 Введен» РК0100 616 Ч стьЧ ( да»к»нюх кз налог»» п о н р г(зд эм((роцннцд ллю »скупа Как н вгвзве2.
Мена мена прслнка зв н связаннык переменных представляют собой ао сдовамлм ос б всн о. и о.н фровых с»»«алая, «оторые начннаются с буквы Пйн' снн е рсашавляются вн ес анне строп буквенно.цлфровых с»»волан, «щорыс нзчюя ся (хщ» бьб с прап»спой букв т ак,выраженне ° лн.сжелучшс, 1!М (я щуо е, ющ щ . шет и релст валь тот факт, чю "«» ш кт,чю "каждый любют Сьюз»2 Ил» щ яв де, т), 10 (нн, О пр лпа ляе мнопыт а п о аюцед, «Ото гх з п а, рь деба джордж н Сыазн сня( Щс Хая(МО НРСЛСЩВ " ю(я гяе, к ""зззг Вго можно записать в н(ыс сщ, на (я (я о д, к 'пг'(ДЖОР»»я(обатсьюз "ИОжнО прея те)з !О,, (О о де вс хе) Эют набор спенвфнкацнй нмсст а сан» )ю нныр р ш(ю нлн отщфшкснззе гы "'(з(Р" Джорджа ю е о лрумн Этот мнр наляетс малщью пы баз дамных (равд«л 2.1).
Затем ннт р рстюорума . Озвдзватьво росы 1*» в(д д, к се) тщ "- 1 К Фасв, в е). т '.- 11» в(де д, Х) . »=Ко 611 н дарядке. я котором были найдет,, Х Онн валера „„м(де. Хотя это противоречит ф,„„ швются в том " повем хате. затон «няраванный дори»а« — это свогства б „и ест» . аэ еинаылле 'стасо. мх спсднфы ' «аосдсдовэылылых машинах Прог! я „ыыыа ' ' „„;, »стеРмкил'Р бож. Фа нспрал Ур о ов реыизоюн« .
еныв в биэс данньп. сд «ля нык на о ияп ш н т 100»алжснзю ь по на запрос выдаются пасло пользаватюьс око с что пасла. ' ' и плпврзт к пыледнсму иайынному рс Улл. юн», ( щ ря ' ' дят л н юсины вых ю'адных отвш став ватсаьим арлю а " .. т, пнтсрар татар вылэст ответ по. уют сшив)п» з мю'ш с н шр эсниыс вмш пш,,(,ад сз (ащие). В языке РКОЬОО арсик и „ц ыюрпол) «"зы Ш»)ык ",, и нслюа лакюать истинность его отрюю ! Хал(деогде, П!»л обрей тшс портал,(дода» палучеюш 1з«ея (деогде, Ьеат! )л« а(деагдв, Ьвеш аан иеышрае прюял ,, адрес сюпышя ла:кныл(.
Тюшлл обраъзм я юл ыил ус лехом, тиф Пшкаиупо внемю(зл ияа ит к ниогочислениым практическим и фи.лософ. Дап шеннс згмлнупи ° мира приводит к Дану Н гмср, невозлгажность вю(ючить нскопзрый фшп в бп ск м ело настям в языке. Налрвмср, н по его истинность неизвестна. Однако в си у данних зачапую означает, по его —.т трипустся как ожный Если нек гзрый прслнкат бьшуяу зам нуте гя миро этот фета грину шсн няи врн его в дс ыла л была дан>щена опечатка напалабне 1 ливи (деагде, Ье ег), о аею а данный зыра ырас будет по Аспслх трактовки отрицания «ак лют — очень е анмд опрос в о ла в в облас и кск>сгпсннага ил(шаго«и. Хаги эта предположение с(мснсиы пр стон ссай р щения пробземы нюаианных знаний, более сложные ползали, вшм ислени лп ачнме юдам (истина, ажь, неизвестна) и немонатанные Рассую ню (см главу Р) абсспеч лают гораздо более богатый контекст для интерпретация.
Внраасния РКО!.00, лсволпаванныс в приневеннаи выше базе данных, явюютп «ра крзмн спсаиф кашли ф юе Насд РКО).ОС такзсе позволяет апрсделюь «рыл» 9 )е), опнсывмошие заямосвязи психу фапамн с использованием лаплческой ника» «аш .-. При сошанин прав па на языке РКОЬОО слова от снмвоаа л — мо юрасншэ гапсз тол о олин прыакат Эшт преликат должен бып палажю еть лызг тяже)ль (Рош е М ги), те я полиси представлять собой символ с отриианнем (Разлад ПВ Все энрике иа логики прелнкатов, содеикашне отношения нл(пликапни лтлн зюнэ »с«знати(~. н т.л), вол.кю бит приведены эый форме, «агоре» лга у'г"" кислер ес од (Ноги с)а зе), В карновскай лизьюиктивной форме в левой чаат» км юш (мклю синел ол б лол нен салерзитьса единственный положительный литеры Лиши ' г р ес аю ап е (Наш сЬщс сз)са(нь) эквивалентна полной тсарллн предка „ Р, ской юи доказательств на основе опровсрдсння (сы гл Д пу тнм. н пе шфика ,был~и фикашим при сдснной выше базы ланных трсбус ' пра няо, вреасляюшьепа х ухдрузеи Е о можно аннсать следу озднм абрю "т' 1 ! ы (х, т! К В(Х 2) 11« ь(У Это вмрп спи монна инте а я» перарспгроаать так -Х и У вЂ” лрузь» если ' лось вам о отмсппь Лве намел'гз реижат а, ни а само, лиме» "„ а о ласт оп дс, о зен а рслсзсння) переменных Х.
у гт 2 аг! у н орю, персмсиныс, н сот с унл Флштрусмь е или св» ывасмыс с Х ав, по всему выражению. Обрабатьу ирвин а ! ленд п в ии српреышр и РКОЬОО ажно проиллюстрнрават наслелующсмпримере если к набору спсоификан й из предыдущего прим ра латпысно прнвлаю (т (в бд, ерпретатору ншкиа лшредать запрос пая(д отде, нл1 ). уе д,ш ответа на этот запрос РКО1.00 осушестшшсз паис в бюс данных с пом щью ы. (ориг ° с воэвРатом, 'Рсд 'нного в ' ва 3 н 5 3 Рас 1 Пи(деогдв эзе) унифинвру тс» Влрааер ота и > «лю и ( раяилв Лсода(Х, У) л — 11)СЕВ (Х, 2), 1Л) Ее ! У, 2) ПРИ ПОМ ПЕРЕМсинай Х СШП- эпствУст значение де 9в.
а У вЂ” в эхе. ИнтсРпрста оР ищет з ченнс пеРемеииай 2, д катарога вырадшнис 1зиев(дв где. 2) нпиино Зга выпыыеыл с помощью первого фыпз в базе лаииых. в«а аром 2 соат с ствуст)саге. упт„м ии српрсщтор пытается опрсдынть, истинна и вмрэкение 1лие*(вавзв, «аее ). Ес и оно она стоа по киым, и иа основе попУшенил замкнУ асти м«Рэ »аннов значение лля 2 («асв) отклон»етая Тогда интерпретатор вазврашаетс лэя поиска ято. рагозначе ия2в ырпкенин1 «ея(дса де, 2) Затемпроясряс си солт стет не вырыв ш1лиев(де где, >Н второмудюьюнк. ту абюе данных, при агам псременизв 2 се зывытся созн чснием в в е Поые этого интерпретатор пытается найти соответствие для выражен 1л«ев(пав в, я яле) Есдн зт попытка тоже за ершватся нсудзчей, та иитерпро агар снова перс одит к бюе »вплыл (возвращается) в паис ах следующего значения ллл 2 На от раз в третьем нр .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
