Файл: системи штучного інтелекту.doc

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 27.11.2019

Просмотров: 1760

Скачиваний: 4

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

У нашому прикладі фрейм "Людина" може мати слоти "Прізвище", "Ім'я та no батькові". Тому відповідні слоти в описі фрейму "Студент " можна не задавати, а обмежитисяСистеми штучного інтелегту Сурове H.M. лише слотами, специфічними для нього: "Факультет", "Курс". Якщо якісь слоти вже запов­нені конкретними значеннями, то ці значення можуть успадковуватися фреймами- нащадками.

  1. Поповнення первинних описів на основі фреймових моделей Фрейми виявилися зручним інструментом для опису ситуацій, які сприймаються системою, та для зіставлення цих ситуацій з тими знаннями, що зберігалися в пам'яті (власне, Мінський вважав, що саме в цьому полягає одне з основних призначень фреймових моделей).

Нагадаємо, що первинним описом ситуацГІ або об'єкта називається ftc опис у тому вигляді, в якому вони безпосередньо сприймаються органами чуттів. Ми знаємо, що цей первинний опис, як правило, поповнюється на основі наявних знань. Коли інтелектуальна система сприймає деякий об'єкт, вона формує первинний опис і зіставляє цей опис з фреймами, що Зберігаються в її пам'яті (формування первинного опису та зіставлення можуть відбуватися і паралельно). Якщо зіставлення з деяким фреймом пройшло достатньо успішно, система відносить новий об'єкт до поняття, що описується цим фреймом. На основі цього вЩповідним чином здійснюється поповнення первинного опису, а саме:

  • формується загальна структура опису нового об'єкта (фактично тепер він розглядається як екземпляр певного фрейму);

  • заповнюються всі слоти нового екземпляра, значення яких визначаються в описі родового фрейму або задаються в первинному описі;

  • якщо опис недостатньо повний (не вистачає значень деяких важливих слотів) або суперечливий (це відбувається, наприклад, якщо об'єкт зіставляється з кількома фреймами або інформація, що вводиться, суперечить визначеній за успадкуванням), можуть бути активізовані процедури уточнення.

Розглянемо приклад.

Нехай у пам'яті інтелектуальної системи зберігається фрейм опису одного дня навчання в школі:

ЗДНЯТТЯ_В_ШКОЛI ((Вид_роботи, НАВЧАННЯ),/

(Початок, 9.00),

(Кіяькість_уроків, _),

(Закінчення, Початок + Кількість_урокІв * 0.45 +

0.10 * (Кількість_уроків -1)), (Коли, _), (XTo,J, (Де, <Вул. О.Бендера, 999>)).

Зверніть увагу на те, що атрибут Закінчення є обчислюваним, оскільки його значення залежить від кількості уроків.

Нехай на вхід системи подається речення "Вчора Петро був у школГ. Система * повинна на основі відомих їй алгоритмів виявити, що це речення зіставляється з фреймом ЗАНЯТТЯ_В_ШКОЯІ і сформувати опис на основі цього фрейму (фактично, r нових екземплярах фрейму). Вона дає цьому опису назву, наприклад Заняття_Петра і відображає в заголовку, що це екземпляр фрейму ЗАНЯТТЯ_В_ШКОЛІ. Далі заповнюються слоти, і опис набуває такого вигляду:

Заняття_Петра (ЗАНЯТТЯ_В_ШКОЛІ) ((Вид_роботи, НАВЧАННЯ),(Початок, 9.00),

(Кількість_уроків, _),

(Закінчення, Початок + Кількість_уроків * 0.45 +

  1. 10 * (КількІсть_уроків - 1)), (Коли, ВЧОРА), (Хто, Петро), (Де, <Вул. О.Бендера 999>)).

Слоти BMA^o6oTH, Де та Початок були заповнені на основі базового фрейму, а слоти Коли та Хто — з введеного тексту. Слоти КІлькІсть_уро-кІв I Закінчення залишилися незаповненими — для цього не вистачає інформації.

Тепер система в змозі відповідати на ряд запитань, наприклад: "Що вчора робив Петро?" або "Де вчора був Петро?". Точнішу відповідь на запитання "Коли Петро був у школі? "система може дати, якщо вона має інформацію про поточний час.

Якщо системі потрібно відповісти на запитання "Коли Петро закінчив навчання у школі?", вона має активізувати процедуру уточнення (у дано му разі спитати у користувача, скільки було уроків). Після відповіді си стема може здйснити необхідні обчислення та відповісти на поставлене запитання. *

Важливою властивістю фреймових моделей є те, що фрейми можуть містити процедури, які виконують ml чи ІншІ дії. Такі процедури прийнято називати приєднаними, їх можна розглядати як окремі слоти. На інтуїтивному рівні наявність приєднаних процедур дає підстави говорити про те, що фрейм має здатність виконувати ті чи Інші операції.

Найбільш використовуваним типом приєднаної процедури є процедура, Яка активізується шляхом зовнішнього виклику (за повідомленням, яке наД'Яодить від іншого фрейму).

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

Велике значення мають слотові демони. На відміну вІд звичайних при-гднаиих процедур, що описують поведінку фрейму в цілому, слотові демо^юв'язанІ з конкретними слотами. Типовим є використання стандартних слотових демонів, якІ визначають, що слід робити, якщо деякий слот змовився, або якщо відбулося звернення до незаповненого слота.

Існують різні підходи до зберігання фреймових структур у пам'яті обчислювальних машин, і, відповідно, до мов опису знань на основі фреймів. Таких мов є досить багато; як приклади можна навести KRL, FRL (розвитком якого є HPRL), ПРЕФ, ДИЛОС, RLL [145, 223]. Кожна мова передбачає свої структури для подання фреймів і типові операції над ними.

Можна вважати, що у типовому фреймі зберігається така Інформація: • ім'я і загальний опис фрейму;

  • інформація про батьківський фрейм;

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

Системи штучного інтелекту. Сурова НЛІ

Важливою властивістю слота є, зокрема, режим успадкування: можна задати обов'язкове успадкування, успадкування за певної умови певній умові, відмову від успадкування тощо.

I семантичні мережі, і фрейми в першу чергу є формалізмами для струк-ТуршацІЇ знань, на відміну від логічних і продукцІйних моделей, цент місце в яких займають процедури дедуктивного виведення. Семан-тичні мережі основний акцент роблять на описі різноманітних зв'язків між Інформаційними одиницями, а фреймові моделі — на відношеннях узагальнення та агрегації.

Семантичні мережі та фрейми мають значно більше спільних рис, ніж відмінностей, і тому на сучасному етапі фреймові моделі та семантичні мережі розглядають, як правило, у спільному контексті. 3 одного боку, ніщо Не вважає розглядати вузли семантичної мережі як фрейми з власною внутрішньою структурою. 3 іншого боку, можна вводити різноманітні зв'язки Між слотами фреймів. Тоді фрейм набуває рис семантичної мережі.

  1. МережІ подібностей І відмінностей При пошуку фреймів, які найкраще підходять для опису даного поняття, велике значення мають мережі подібностей або відмінностей. Кожний вузол такої мережі є фреймом опису певного поняття, а зв'язки відповідають подібностям чи відмінностям між фреймами.

За допомогою мереж подібностей можна визначати семантичну близькість між поняттями [254]. Ця обставина може бути використана, наприклад, при зіставленні. Якщо при зіставленні з фреймом, що описує певне поняття, виникають розбіжності, мережа подібностей дозволяє переходити до сусідніх, схожих з ним, фреймів з метою пошуку точнішої відповідності.

Мережа відмінностей концентрується на описі відмінностей між поняттями. Можна, наприклад зафіксувати деякий фрейм як базовий, a для інших зберігати лише відмінності від базового або сусіднього фрейму. Так, у [223] показано, як один предмет може описуватися різними фреймами, що відповідають різним умовам спостерігання цього предмета. Риси, спільні для цих різних фреймів, описуються базовим фреймом.

Сценарієм називається фретюподібна структура знань, яка визначає послідовність подій, характерних для певного процесу чи для певної ситуації, або причинно-наслідкові зв'язки між подіями.

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

Наведемо приклад дуже простого сценарію, який визначає послідовність дій при f відвідинах ресторану [129]. Для цього сценарію визначені слоти Мета, Ролі (основні дійові особи), Змінні (риси, різні для неоднакових конкретних реалізацій сценарію), f Кількість.сцен І слоти, що відповідають сценам (тут — подіям), що послідовно змінюють одна одну:

Відвідини_ресторану - (Мета: Приймання їжі; Ролі: Відвідувач, Офіціант',

Системи штучжж» іитеяипу. СуромНм Змінні: HoaeajPecmopaHy, Мкце, Ченання_ 1, Чекання_2, їжа. Сума; КІльмкть сцен: 4 Сценв__і (Зайняття місця):

ВІдШувач заходить до Назва_ Ресторану Відвідувач вибирає Місце (умова: Місце повинно бути вільним)

Відвідувач проходить до Місця I сЩае Сцена_2 (Замовлення):

Відвідувач чекав Чекання_1 хвилин Офіціант підходить до Відвідувача Офіціант дае Відвідувачу меню Відвідувач чигав меню I вибирає їжу Офіціант відходить

Сцвиа_3 (Прийом їжІ): Відвідувач чекає Чекання_2 хвилин Офіціант приносить Ьку Відвідувач зЯдає їжу Сцена_4 (Завершальна):

Відвідувач кличе Офіціанта

Офіціант підходить до Відвідувача I дає йому рахунок на Суму Відвідувач платить Суму Відвідувач залишає Назва_Ресторану).

Цей сценарій задає загальну схему розвитку подій: опис конкретної по-І нІдовності подій при конкретному відвідуванні ресторану породжується при підстановці замість Ролей I Змінних конкретних значень.

Даний сценарій можливо розглядати як базовий, на основі якого можна будувати схожі сценарії, що можуть виникати при Іншому розвитку подій (наприклад Офіціант приніс не ту їжу, яку замовляв Відвідувач, або Від<ін)\'вач не має потрібної Суми грошей, або Відвідувач намагався втекти з ресторану, не розплатившися, тощо).

Як і іншІ типи фреймів, сценарІЇ можна використовувати для поповнення опису ситуацій. Так, якщо інтелектуальна система сприймає текст "Студент Іванов відвідав ресторан", вона зіставляє його з відомими їй сценаріями I на основі цього може вЩповідати на запитання, пов'язані з тим, що-саме робив Іванов у ресторані.

Є вЩомий анекдот про спілкування з Інтелектуальною системою. Людина приходить на роботу і питає у робота:

-Деце?

  • Що саме?—запитує той.

  • Сам знаєш, — відповідає людина. -A.. кажемашинаіприносить те, що потрібно.

Тепер МИ можемо ПОЯСНИТИ, що може лежати в основі прийняття рішення Інтелектуальним роботом. Механізм може бути, наприклад таким. І'обот спостерігає ситуацію, яка полягає в тому, що людина приходить на роботу I питає "Де це?". Він зіставляє цю ситуацію зі своїми знаннями I находить кілька сценаріїв можливого розвитку подій. Він не знає, який I них вибрати, і тому задає уточнююче запитання. Відповідь "Сам знаєш" інтерпретується так, що варто використати виведення за замовчуванням, тобто вибрати той сценарій, який реалізується найчастіше.

Смпнм >Q4Knw Жтечтету, Сим> HM

  1. Фрейми та об'єкпіо-орїситопаГїе програмування

Поняття фрейму, яке розглядається • теорії штучного Інтелекту, ТІ поняття об'єкті (в іншій термінології — класу), тісно пов'язані між собою. Пврвдигмв об'єктно- орієнтованого програмування випливас з об'сктно-оріснтованого сприйняпя свгіу, що складається з великої кількості об'ск-, Вони є порівняно незалежними, вле постійно взаємодіють між собою. Кожний об'єкт мав певні властивості тв вміє виконувати деякі v функцІЇ. Можна вважати, що об'єктна модель в конкретизацією абстрактнішо? фреймової моделі.

У (31) сформульовано деякі важливі визначення.

Об'єктом називається абстракція, що характеризується станом, поведінкою та ІдентифІкованІстю; сукупності схожих об'єктішутворюють клас; терміни "екземпляр класу "та “об'єкт "рівноправні.

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

До цього можна додати, що "статичний перелік властивостей" є характеристикою всього класу, а "поточні динамічні значення" ~ характеристикою окремого об'єкта, або екземпляра класу. Опис окремого екземпляра на основі загального опису класу можна отримати, якщо визначити конк-ретнІ значення властивостей.

Поведінка визначається тим, як об'єкт функціонує та реагує на зов­нішні подІЇ; поведінку прийнято характеризувати в термінах зміни ста­нів об'єктів та передачі повідомлень між об'єктами; поточний стан

об'єкта є сумарним результатом його поведінки.

ІдентифІкованістьце така властивість об'єкта, яка відрізняє Оого від ydx інших об'єктів.

Важливим є те, що об'єкти слід розглядати як абстракції певних сутно-стей, тобто об'єкт описує властивості даної сутності, що є найважливішими з певної точки зору. При цьому для екземплярів класу спільними є всі характеристики, а не лише деякі. Точніше, спільним є перелік характеристик, а не конкретні значення; екземпляри одного класу можна розрізняти між собою саме за рахунок того, що характеристики різних екземпля­рів класу мають різні значення.

Об'єкти та класи маютьтакі найважливіші властивості [31]:

  1. Абстрагування — виокремлення в описі класу найважливіших характеристик деякої сутності, що відрізняють її від ydx інших сут-ностей.

  2. Інкапсуляція — елементи об'єкта, що визначають його властивості та поведінку, повинні бути відокремлені один від одного. Інакше кажучи, клас повідомляє про свої

функціональні можливості, але приховує від зовнішнього світу особливості реалізації цих можливостей і свою внутрішню будову.

Слід відмітити, що в програмуванні термін "інкапсуляція" часто вживається у вужчому значенні, а саме: в класі можуть бути описані процедури (методиІ що визначають його поведінку.

Модульність — об'єкт складається з окремих відносно самостійни


хмодулів.

  1. Ієрархія — об'єкти та класи є ієрархічно упорядкованими. Зокрема, вони утворюють ієрархію класів та ієрархію об'єктів Счив. п. 4.5). Успадкування (наслідування) пов'язане саме з цими ієрархіями, в першу чергу — з ієрархією класів.

Існує багато об'єктно-орієнтованих мов програмування, тобто мов, які безпосередньо підтримують об'єктну модель та об'єктноорієнтовану парадигму програмування. Історично першою була мова Smalltalk. Зараз популярними є Delphi (візуальна реалізація Паскалю), C++ (стандарт де^акто в сфері об'єктно-орІєнтованого програмування), Java. Також розвиваються технології об'єктночзрІєнтованих баз даних [99,147],

ТЕМАгЛОГІЧНІ МОДЕЛІ ТА МЕТОД РЕЗОЛЮШЙ

  1. Логічні побудови та логічні моделі

Поняття "логІка" має глибокі філософські коренІ. Для теорІЇ I практики штучного Інтелекту особливе значення має таке питання яким_ чином можна формалізувати логІчнІ побудови так, щоб вони могли здійснюватися автоматично, без участІ людини^__

Як уже зазначалося, логічне виведення за дедукціею (яід загальних правил до часткових наслідків) є одним_з основних механізмів мислення; до того ж цілком бездоганним з погляду логіки. Самецей-вид логічного-виведеннянайбільш вивчений і найкраще підцається формалізацІЇ fl29,144,167,172, 272]. ~T^

Можна- розглядати, як мінімум.дв^ задачі_ пов'язаних з автоматизацією дедуктивних n обудо.в: *

задача виведення наслідків, яка формулюється так: знайти всі вірно побудовані формули, якІ можна логічним шляхом вивести з аксІом на основі правил виведення].або, упрактичнішІй інтерпретації — знайти всі наслідки із заданих фактів;* задача перевірки справеддивостіданого твердження. Часто вона трактується як задача автоматичного доведення теоремi l формулюється таким чином. Дана деяка теорія (логічна модель); потрібновстановити, чи є певнетвердження теоремою, тобто чи можна його вивести з аксІом даної теорії.. ,.~ *

Автоматизація дедуктивних побудов знаходить широке практичне застосування, наприклад в експертних системах. Як ще один приклад можна згадати програмні системи, які аналізують математичні тексти, написані спрощеною математичною мовою, та перевіряють правильність доведень, що містяться у цих текстах.

Механізм автоматичного доведення теорем було покладено в основу однієї з основних парадигм сучасного програмування'^логічного програмування. Програма розглядається як набір логічних формул разом з теоремою,~що має бути доведена, Найвідомішим представником логічного програмуванням мова Пролог]26, 172, 292].


ЛогІчні моделі єодним з основних засобів задання знань. Позитивною характеристйкоюлогічних мрделей^иступаєр^нозначнІсть теоретичного обґрунтуванняі.. можМвІсть реалізації формально точних_логічних побудов; недоліком — формальний процедурний стиль мислення. Людська логіка — інтелектуальна модель з нечіткоюСиотсми шгучиого інтелекту Сурова HLM.

структурою. У цьому полягаєї! відмінність відформальноїлогіки.

Логічною моделлю називається формальна система, що задається четвіркою <T, P, A, B>. Тут T — множина базових елементів (алфавІт),Р — множина синтаксиЧнихттравил, на основі яких конструюються правильно побудовані формули; А множина аксіом, тобто формул, якІ приймаються за Істинні, В — множина правил виведення.

У рамках логічної моделі істинному твердженню відповідає теорема, тобто Лравильно побудована формула, яка може бути виведена з аксіом шляхом скінченного числа застосувань правил виведення.

Логічні моделі та продукційні системи (розд. 8) основний акцент роблять саме на дедуктивному логічному виведенні.

У найтиповішому випадку логічна модель задання знань базується на. формалізмах логіки предикатів першого порядку.

  1. Короткий вступ до числення предикатів

Предикатом називається деяка логічна функція від довільного числа аргументів, яка приймає одне з двох можливих значень — "істина " гбо "хибність ". Предикат можна розуміти як певне твердження, істинність якого залежить від змінних — об'єктів, про які йдеться в цьому твердженні. Як приклад можна навести фразу "X більше за 2 ". Цей предикат є функцією вІд аргументу X і набуває значення "Істина", наприклад при X=3,1"хибність " при X =1.

Логіку предикатів деякою мірою можна вважати спеціальним математичним апаратом формалізації людського мислення. Тому визнається, що мови програмування логічного типу є найзручнішими для роботи з базами знань.

Числення предикатів використовуєтакІ основні елементи:

  1. константи (константні терми) c> сь ',

  2. змінні (зміннІтерми))с„)с2,...;

  3. функціональні літери JjJ* • ••',

  4. предикатнілІтери p рь • ••',

  5. логічні символи3^* **v*~ v31

  6. спеціальний символ

Елементарне твердження складається з предиката 1_з8'язашх_а ним тер-мів. Складні твердження будуються з елементарних за допомогою логїчних зв'язок. Серед них можна виділити логічні зв'язки:"/" (and, &), "або " (or, v), "ні" (not, ~)та імплікацію (— >). Імплікація посідає особливе місце, оскільки вона використовується для побудови правил виведення і читається "якщо..., тоді...".

Наступний перелік містить опис зв'язків, якІ використовуються в логіці, та їх

Зв'язок

Запис

Інтерпретація

Заперечення

~ о

"не є а"

Кон'юнкція

а&Ь

та Ь“

Диз'юнкція

ovb

або Ь"

Імплікація

а-Ь

а випливає Ь"



Наприклад запис: чоловік (женя) v жінка (женя)

/Тотожність (еквіва-

a<->6

"a еквівалентне Ь"

Ілентність. рівність)



є однією з формалізацІй запису твердження, що людина Женя може бути або чоловіком, або жінкою. Аналогічно,

чоловік (X) —> людино (X) означає, що якщо дехто на Ім'я X є чоловіком, то він є і ЛЮДИНОЮ.

Для ІмплІкацП та тотожності справедливі такі твердження:

a —> Ь дорівнює<~»*>' о <-> Ь дорівнює <°А »v (r«* ~ * o*+b дорівнює<'*»*<>**

3 кожним предикатом може бути пов'язаний квантор — елемент, який визначає, за яких умовпрєДикат перетворюється на істинне висловлювання. Розрізняють квантор узагальнення (V) I кванторкнування (3).

Якщо й позначає змінну, а r — твердження, то запис v означає, що "г справджується для всіх й", а запис В u г означає, що "Існує й, для якоїг справджується". Перший квантор називають квантором узагальнення, оскільки кажуть про будьчцо у всесвіті ("для будь-якого й, ... "). Для зручпостІ запису позначатимемо його all. Другий називається квантором Існування, оскільки вказує на існування деяких об'єктів ("існує й таке, що..і"). Для зручності запису його позначатимемо exists.

Ось приклади використання цих кванторів.

AII(X, чоловік (X) •» людина (X)}

означає, що для будь-якої змінної X, якщо вона означає чоловіка, то означатиме I людину також, або ж для будь-якого X, якщо X— чоловік, то X— людина; або ж: всі чоловіки — люди.

За тим самим принципом:

exists (Z, батько (Іван, 2) & жінка (Z))

означає, що існує певний об'єкт, що може бути позначений змінною Z. При цьому Іван є батьком 11Z— жінка. Ми можемо прочитати це таким чином: Існує Zтаке, що Іван є батьком ZiZ — жінка', або: Іван має дочку.

У логіці предикатів елементарним об'єктом, який мае значення "істина", є атомарна формула (літерал). Агомарнз формула містить символьні позначення "предиката I термІв, які відіграють роль аргументів цього пре-диката. Узагальнено позначення предиката є Ім'ям в^ношення, яке Існуєміж аргументами.

Атомарна формулазаписується як позначен.ня предиката і мае такий вигляд: Р(Ц t&

деР—позначення предиката, а гь tb..., г„ — терми. Число термівдпя кожного предиката фіксоване і називається його арн/с-тю. Терми визначаються так: 1) константний терм — терм;

  1. змінний терм — терм;


якщо арність функціональноїлітери/є п, а t\, tb ...,tn терми, тоді / (/l, tb ..,, /„)також терм.

ВІрно побудована формула отримується в результаті комбінування атомарних формул за допомогою логічних зв'язок.

Символ D позначає хибну замкнуту формулу і визначає поняття "про-тиріччя". Так, формула А —> 0 означає хибність А, вона еквівалентна формулі ~ А.

Серед формул можна виокремити спеціальний клас формул: тотожньо Істинні формулиТякІ н а з и в ають та втологі я м и. Приклад тавтології:

ЛІтерал “~А**л-„.. називається позитивним, якщо він не стоїть пЩ знаком

заперечення.

Літерал називається негативним, якщо він стоїть під знаком заперечення.

д из'юннтом (або фразою meopfi) називється диз'юнкція деякоїкІяькостІ атомарних формул.

У TeppjU .практиці автоматичного доведення теорем найвживанішими c фрази спеціального типу, які називаються фразамиХорна (або хорнІвськими диз'юнктам

Фразою Хорна називається диз'юнкції: довільноїкІлькості атомарних формул, з яких позитивноіо~є не більше ніж одна (тобто у фразІ Хорна лише одна атомарна формула може не стояти під знаком заперечення). Фрази Хорна по суті є імплікаціями. Справді, розглянемо фразу ^^-Ву_-СуД.(кожний з літералів А, В, C, D може залежати від довільної кількості констант і змінних, тут це несуттєво). Усі літерали, крім Z), є негативними, отже, дана фраза являє собою фразу Хорна. Але відповідно до правил де Моргана вона еквівалентна фразі ~ (ABC) у D. А це, в свою чергу, є іншою формою запису імплікацІЇ (твердження D випливає зкон'юнкції тверджень А, В, C).

Дпя конкретних застосувань іноді потрібно привести логічні формули до спеціального вигляду. Прикладом може послужити пренексна нормальна форма.

Пренексною нормальною формою називається запис логічної формули у

вигляді: ^ *л ■_• ^л У>

деJ<. один з квантор1в4існування чи узагальнення), M — деяка кон'юнктивна нормальна форма, тобто кон'юнкція деякоїкількостІ диз'юнктів.

Пренексну нормальну форму легко побудувати шляхом тотожних перетворень логічних формул.

Після отримання пренексноі нормальної форми необхідно усунути у ній квантори Існування та узагальнення. Перший усувається зі збереженням несуперечливостІ формули шляхом введення так званих констант Сколема і функцій Сколема. Розглянемо два приклади, які пояснюють суть методу.

Приклад 7.1. Нехай маємо формулу3*р W по суті це означає, що можна вказати деяку предметну константу c, невизначену, для якої твердження P (c) є істинним. Тоді квантор існування усувається явним введенням цієї предметної константи. Таким чином, здійснюється перехід від формули з**' ^(*)до формули P (c). Константа c називається константою Сколема.

Приклад 7.2. Нехай маємо формулу**3*- F<*y\ тут квантор Існування перебувзє в області дії квантора узагальнення, і процедура дещо ускладнюється. Знову ж таки ми

Снотсмн штучного інтелекту Сурове RM