Механізм висновку або міркувань

Для побудови механізмом висновку використаються два основних підходи.

Зворотний ланцюжок міркувань підходить для висновку доказу єдиного висловлення.

Розглянемо перше правило про неплатоспроможність: воно буде істинно тільки в тому випадку, якщо обоє висловлення щирі. Щоб довести це (або, у випадку керуючого робота, "зробити"), система повинна побудувати зворотний ланцюжок міркувань, з огляду на всі факти й правила, від висновків до передумов, поки їй не вдасться довести, що всі вхідні умови щирі; у противному випадку система зазнає невдачі.

Звичайно в базі даних утримується кілька альтернативних правил, що визначають дане висловлення. (Вище було наведено два правила, що визначають неплатоспроможність.) Якщо один з можливих проходів по базі даних не вдасться - т. е. не вдасться довести подцели - тоді ЭС будує зворотне трасування.

Тобто ЕС скасує останній вибір правила й (якщо є інше правило з тим же ім'ям) почне прохід по іншій галузі дерева доказів. Таккак ЭС повертається назад, те ціль може бути оголошена недосяжної тільки після того, як система перебере всі можливі шляхи до мети й визнає їх невідповідними.

Прямий ланцюжок міркувань, навпаки, більше підходить для випадків, коли потрібно згенерувати всі імплікації (наслідку) безлічі висловлень. Цим методом зручно користуватися для пошуку всіх варіантів рішень, що втримуються в даній базі знань.

Прямий і зворотний ланцюжки можуть змішуватися, підтримуючи один одного.

Тема №5. Основи безпеки інформаційних технологій

1. Необхідність вивчення безпеки інформаційних технологій

2. Види загроз безпеці інформаційних технологій

3. Віруси як основна загроза безпеці інформаційних технологій

4. Методи забезпечення безпеки інформаційних технологій