УПРАВЛЕНИЕ НА ИЗВОДА В СИСТЕМАТА GURU

1. УПРАВЛЕНИЕ НА ИЗВОДА В СИСТЕМАТА GURU ИЗЧЕРПАТЕЛНОСТ НА АРГУМЕНТАЦИЯТА Степента на изчерпателност на аргументацията, която е необходима, желателна или допустима, зависи от ситуацията (налични време, средства и т.н.), в която се провежда консултационната сесия. И предлаганият съвет, и скоростта, с която той се получава, зависят от степента на изчерпателност.

2. По време на консултацията е възможно изчерпателно да се използват всички правила, необходими за получаването на препоръката. В следващата консултация със същия набор от правила е възможно машината за извод да спре веднага, щом целевата променлива получи определена стойност, дори и тогава, когато при по-нататъшния извод може да се намери друга стойност за тази променлива. Абсолютната изчерпателност може да не бъде необходима или желана във всички ситуации.

3. Изчерпателността на аргументацията се управлява от променливата на средата E.RIGR и от клаузата RIGOR за всеки набор от правила (по-точно, от кода за точност Rigor за всяка променлива). Възможните стойности варират от A (абсолютна изчерпателност) през C (щателна или умерена изчерпателност) до M (минимална изчерпателност). Точният ефект от тези стойности зависи от това, дали се извършва прав или обратен извод.

4. Изчерпателност на правия извод A (абсолютна изчерпателност). Когато интерпретацията започне, машината за извод итеративно разглежда и обработва правилата от набора. На всяка итерация се проверява предпоставката на всяко правило, което още не е активирано. Във втората и всички следващи итерации се преглеждат всички правила, чиито предпоставки досега са имали стойност FALSE или UNKNOWN.

5. Ако някоя от предпоставките се окаже TRUE, съответното правило се активира. Тези итерации върху набора от правила продължават, докато се стигне до итерация, през която не се активира нито едно правило. Тогава полученият резултат се съобщава на потребителя. Машината за извод е била абсолютно изчерпателна в правия извод. Добре е тази изчерпателност да се използва за размитите променливи.

6. M (минимална изчерпателност). Машината за извод прекратява разглеждането на правилата веднага щом целевата променлива получи стойност, различна от UNKNOWN. Стойността на една променлива не се приема за UNKNOWN, ако коефициентът й на достоверност е по-голям от стойността, присвоена на променливата на средата E.UNKN (по премълчаване тази стойност е 20). Това може да се случи дори преди да е завършила една пълна итерация.

7. Тази стойност на променливата на средата E.RIGR винаги резултира в разглеждане на много по-малък брой правила. Поради това се осигурява по-бърз извод, отколкото при абсолютната изчерпателност. При това е възможно да се получат различни стойности за целевата и другите променливи.

8. C (умерена, щателна изчерпателност). Тук машината за извод работи по-продължително, отколкото при минималната изчерпателност, но спира преди достигането на абсолютната изчерпателност. Стойността C за E.RIGR задава изчерпателност, подобна на минималната, но тук машината за извод продължава работата си след намирането на първата възможна стойност, за да прегледа всяко правило, което може да повлияе на стойността на целевата променлива в случай, че бъде активирано. Ако предпоставката на правилото е FALSE или UNKNOWN, машината няма да проверява отново правилото по време на същата консултация.

9. Изчерпателност на обратния извод A (абсолютна изчерпателност). Когато започне обратният извод, машината за извод преглежда всички правила - кандидати за присвояване на стойност на съответната неопределена променлива (тези правила обикновено се наричат правила - кандидати, идентифицирани за тази променлива). Правилото - кандидат се преглежда, като се проверява неговата предпоставка. Ако предпоставката е истинна (има стойност TRUE), правилото се активира и се преглежда следващото правило - кандидат.

10. Ако предпоставката е неистинна (има стойност FALSE), правилото не се активира и се преглежда следващото правило - кандидат. Ако предпоставката е UNKNOWN, се осъществява по-нататъшен обратен извод, за да се определи дали предпоставката е TRUE или FALSE и да се продължи съответно с активиране или неактивиране на правилото. Тази процедура продължава, докато се прегледат всички правила – кандидати за определяне на неопределената променлива. По този начин машината за извод е абсолютно изчерпателна в обратния извод.

11. M (минимална изчерпателност). Машината за извод ще преустанови преглеждането на правилата - кандидати веднага, щом като на неопределената променлива се присвои някаква стойност, чийто коефициент на достоверност е по-голям от E.UNKN. Веднага след като правилото - кандидат се активира и се намери определена (KNOWN) стойност на съответната променлива, машината за извод декларира прекратяване на активирането и продължава работата си с търсене на стойност за друга неопределена променлива (ако има такава).

12. C (умерена, щателна изчерпателност). Тази възможност е подобна на минималната изчерпателност, но машината за извод продължава след намирането на съответната стойност с изследването и на останалите правила - кандидати. Ако предпоставката на правилото - кандидат е TRUE, правилото се активира. Ако тя е FALSE или UNKNOWN, машината за извод продължава със следващото правило - кандидат, докато всички правила - кандидати се прегледат. И тук в общия случай този подход е компромисен (между абсолютната и минималната изчерпателност).

13. РЕД НА ИЗБОР НА ПРАВИЛА Редът за избор на правила се определя от променливата на средата E.SORD. Тази променлива има за стойност низ, който може да е поредица от еднобуквени кодове, специфициращи реда за избор (определящи критериите за избор). Пример: E.SORD = "PC" .

14. В системата GURU са предвидени следните критерии за избор (кодове на критериите за избор): F: избор на правило, което е най-близо до първото в набора; P: избор на правило с най-висок приоритет; C: избор на правило с най-ниска цена; U: избор на правило, чиято предпоставка съдържа най-малък брой неопределени променливи;

15. H: избор на правило, чието действие (заключение) дава най-висока достоверност на неопределената (текущата целева) променлива; R: избор на произволно правило.