Studopediya

КАТЕГОРИЯ:


Алгоритми извод при определени условия

Механизмът на прилагането на правилата за нарича механизмът за оттегляне. Има два вида механизми извод: механизъм, основан на производство модел на системата и механизма на основата на логиката програмен модел. Те осъзнават, два основни аспекта на извод:

намиране на всички възможни изводи от фактите и правила;

резултатите от изследването на предпоставките за да се определи тяхната истина.

По този начин, има две основни области на извод: преки - прехода от фактите, дадени на последствията от тях и по-нататъшно производство на дърво, и обратно - рекурсивно търсене на фактите, които определят истинността на даден извод.

3.2.4.1. Директен изход Алгоритъм

Real знания често се съдържа само ограничен форма на изразяване, наречен рог изрази. Horn израз е дизюнкция на литерали, включително положително не е повече от един.

Например, изразът:

А по-естествено да се разбере е следващата форма на изразяване по-горе:

Такива изрази се наричат някои. Тук, от лявата страна на изразяване (правилото) се нарича тялото на изразяване, и последната част - изрази за глава. експресията на тялото е предпоставка.

клауза Horn състояща се от един положителни писма, посочени факта.

Клаузи без положителни писма могат да бъдат написани като Изводът, който в последната част на лъжата:

Базата данни е израз на ограничения за интегритет.

Да предположим, че имаме на база от знания, която съдържа само определени изрази и не съдържа ограничения за интегритет. Това знание, което наричаме е във формата на рог.

Получаването логична последица от използването на рог на изразяване може да бъде време, че е линейно в зависимост от размера на базата данни на знания.

Функция булев Fwd (КБ, литър) носи логичното заключение за истинността на входящите писма литър в база кб знания в Horn форма.

се използват следните символи:

от дневния ред - "Дневен ред" - списък на символите, които са известни за да е истина (в началото на този списък от факти), но все още не са обработени

брои - масив, в началото на работата, съдържащ броя на предпоставки в съответните правила на базата от знания (т.е. размера на масива е равен на броя на правила BZ)

Направи извод - булев списък, индексиран от Литера (съдържа всички писма, които са в основата на знанието), където в началото на всички стойности са неверни.

Псевдо-алгоритъм директен извод в Horn BZ:

булев Fwd (КБ, литър)

{

докато списък на дневен ред, не е празна направя

{

P = Pop (дневен ред) // извличане на първата истинска буквата "

ако (! подразбираща [P]) се // ако не сме третирани

{

подразбираща [P] = вярно // установи, че то се преработва



Рог за всеки С експресия в които има

помещение P направя

{

брои [и] -; // декрементирате недоказани предпоставки за C

ако броят на [и] = 0, тогава правят // ако всички предпоставки са доказани

{// Head [с] - извежда израз "главата"

ако Head [с] = литър тогава

върнете вярно // ако проявата на главата - литър, а след това си истината се оказа

Push (Head [с], на дневен ред ) // В противен случай, ние го сложи в списъка на доказан

}

}

}

}

върне фалшиви // тук може да бъде само в случай на повтаряне през всички варианти и в същото време истината не е доказано литър

}

Пример за използване на директен алгоритъм извод: проста база от знания, състояща се от рог изрази (а); съответната графика И-ИЛИ (б)

Arc свързан линия крива представлява съюзът (те трябва да докаже валидността на всеки ARC), и дъги не са свързани един с друг, представлява дизюнкция.

Това е лесно да се уверите, че алгоритъмът е директен извод е последователен: всяка стъпка на извод по същество представлява прилагане на правилата на раздяла. В допълнение, директен алгоритъм извод е пълна: тя може да се произвежда от всяка атомна предложение, което следва от базата от знания. Най-лесният начин в това може да се види от това, крайно състояние подразбираща маса (след алгоритъм достига фиксирана точка, която да стане невъзможно нови стъпки за извеждане).

Тази таблица съдържа истинската стойност за всеки символ, изведена от логиката по време на процеса, както и за всички други символи фалшиво. Тази таблица може да се разглежда като най-логичен модел; Нещо повече, ^ всеки конкретен израз в оригиналната база от знания KB е вярно в този модел.

Недостатъци:

• По време на работа се оказва много ненужни заключения

• Ниска ефективност

• Да не се използва по време на естественото човешко мислене, защото на екстремни съкращения

3.2.4.2. Назад алгоритъм верижното

Назад верижното алгоритъм, както показва самото му име, той работи в обратна посока от запитването. Ако веднага можете да видите, че твърдението, съдържащо се в литър на искането, е вярно, че не е необходимо да се извършва никаква работа. В противен случай, алгоритъмът намира тези последици в базата от знания, от което следва, Liter Ако можете да докажете, че всички условия на един от тези последици са верни (използвайки назад верижното), след това изявление Liter също е вярно. Приложено към търсенето Q, е показано на фигурата, този алгоритъм ще тече надолу през графиката, докато, докато достигне броят на известните факти, които формират основата на доказателствата.

Обратните логичния извод е форма на мислене, насочено цели. Тази форма е полезен при подготовката на отговори на конкретни въпроси, като например следното: "Сега какво да правя" и "Къде са ми ключовете?" Често, разходите за обратно извикване е много по-малък в сравнение със стойността, която е линейно зависим от размера на базата на познанието, защото този процес засяга само факти, пряко свързани с производството.

Вербална обратен алгоритъм извод:

Булева Back (КБ, литър)

• Търсене на желаните букви фактите. Ако писмото е, неговата истина е известна. Exit.

• Анализ на аз-ти изречение. Ако последната част от изказването присъства литър, след това ние се образува в резултат на: ВЕИ = Back (КБ, A ) >

• връщане на ВЕИ, ако е вярно.

• Ако в края на BZ, тогава аз ++ и преминете към 2.

• В противен случай, върнете фалшива

Назад верижното алгоритъм, както е видно, че е рекурсивно, така че е необходимо да се избегне примка заради изразяване на тип A-> B и В-> A.

На механизма за връщане продукция е изградена, внедрена в Prolog. Обратният извод се използва за диагностициране и класификация.

Назад механизъм верижното е разработен по-късно от пряк изход предавка. Той се счита за по-гъвкав, еластичен и значително време ефективни резултати.

<== Предишна лекция | На следващата лекция ==>
| Алгоритми извод при определени условия

; Дата: 03.01.2014; ; Прегледи: 212; Нарушаването на авторските права? ;


Ние ценим Вашето мнение! Беше ли полезна публикуван материал? Да | не



ТЪРСЕНЕ:


Вижте също:



zdes-stroika.ru - Studopediya (2013 - 2017) на година. Тя не е автор на материали, и дава на студентите с безплатно образование и използва! Най-новото допълнение , Al IP: 66.102.9.24
Page генерирана за: 0.05 секунди.