ЛЕКЦІЯ.

Інтелектуальні
агенти. Від логіки висловлень
до методу резолюцій
Глибовець М.М.
 Логічні агенти
● Твердження - це елементи фізичної конфігурації агента, а міркування -
процес створення нових елементів фізичної конфігурації з існуючих.
● Процес формування логічних міркувань повинен гарантувати, що нові
елементи конфігурації представляють ті аспекти світу, які насправді
випливають з аспектів, представлених існуючими елементами конфігурації
● Останньою проблемою, яку необхідно вирішити по відношенню до логічних
агентів, є проблема обґрунтування: встановлення зв'язку між процесами
логічного міркування і реальним середовищем, в якій агент існує, якщо
такий зв'язок дійсно існує.
● Зокрема, ця проблема вирішує питання про те, як дізнатися, що база знань є
істинною в реальному світі? (Адже база знань - це всього лише «синтактика»
в голові агента.)
● Це філософська проблема, якій присвячено багато книг.
● Проста відповідь полягає в тому, що зазначений зв'язок створюється за
допомогою датчиків агента. Наприклад, у нашого агента для світу
wampusa є датчик запаху. При виявленні неприємного запаху програма
агента створює відповідну заяву. Це означає, що якщо дане твердження
дійсно є в базі знань, воно вірне в реальному світі.
 Логіка висловлювань: дуже проста логіка
● Синтаксис логіки висловлювань визначає допустимі висловлювання.
● Атомарні висловлювання (неподільні синтаксичні елементи) складаються з
одного пропозиціонального символу.
● Кожен такий символ позначає висловлювання, яке може бути як істинним, так
і хибним.
● Для позначення таких символів в даному розділі використовуються великі
літери: P, Q, R і т.д
● True - це те ж саме, що і істинне висловлювання, а False - тотожне
помилковому висловлюванню.
● Є два пропозіціональних символи, які мають постійне значення: True - це те ж
саме, що і істинне висловлювання, а False - тотожне помилковому
висловлюванню.
● Складні висловлювання утворюються з більш простих тверджень за допомогою
логічних зв'язків.
● П'ять логічних зв'язків, описаних нижче, широко використовуються.

●
 Логіка висловлювань
● Граматика висловлювання логіки висловлювань у БНФ:
 Логіка висловлювань. Семантика
● Семантика логіки висловлювань повинна визначати, як слід обчислювати
значення істинності будь-якого висловлювання за допомогою моделі.
● Ця процедура виконується рекурсивно.
● Всі висловлювання утворюються з атомарних тверджень і п'яти сполучників,
тому необхідно вказати, як обчислити істинність атомарних висловлювань, а
потім як обчислити істинність висловлювань, утворених кожним з цих п'яти
сполучників.

● Семантика логіки висловлювань повинна визначати, як слід обчислювати

значення істинності будь-якого висловлювання за допомогою моделі.
● Ця процедура виконується рекурсивно.
● Всі висловлювання утворюються з атомарних тверджень і п'яти сполучників,
тому необхідно вказати, як обчислити істинність атомарних висловлювань, а
потім як обчислити істинність висловлювань, утворених кожним з цих п'яти
сполучників.
 Логіка висловлювань. Семантика
● .
 Логіка висловлювань. Семантика
● .
 Логіка висловлювань. Семантика
● .
Логіка висловлювань. База знань
 Еквівалентність, допустимість і доцільність
● Перш ніж ми перейдемо до подробиць алгоритмів логічного виведення,
необхідно розглянути деякі додаткові поняття щодо логічного наслідку.
● Як і сама концепція наслідку, ці поняття застосовні до всіх форм логіки, але
найкраще їх ілюструє логіка висловлювань.
Еквівалентність, допустимість і доцільність
 Виконуваність
●
 Зв’язок допустимості та доцільності
● .
 Закономірності міркувань в логіці висловлювань
●
 Закономірності міркувань в логіці висловлювань
●
 Використання всіх логічних еквівалентностей
● .
 Використання логічного виведення
●
 Використання логічного виведення
●
 Доведення
●
 Доведення
●
 Доведення
●
 Резолюція
●
 Резолюція
●
 Резолюція
●
 Резолюція
●
 Резолюція
●
 Резолюція
●
 Резолюція
●
 Кон'юнктивна нормальна форма
●
 Кон'юнктивна нормальна форма
●
 Кон'юнктивна нормальна форма
●
 КНФ. Алгоритм резолюції
●
 Лістинг коду алгоритму
●
 КНФ. Алгоритм резолюції
● .
 КНФ. Алгоритм резолюції
● .
 КНФ. Повнота алгоритму резолюції.
● .
 Фундаментальна теорема резолюції
● .
○ Дякую за увагу.