4 Компонент виведення

Його дії засновані на застосуванні правила виведення, яке звичайно називається модус поненс, і якого полягає в наступному: нехай відомо, що істинне твердження А та існує правило виду «Якщо А, то В», тоді твердження В так само істинне. Правила спрацьовують, коли знаходяться факти, що задовольняють їхній лівій частині.

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

Мері шукала ключ.

Тут для слова «ключ» припустимі як мінімум два значення: «джерело» і «ключ від квартири».

Зрозуміти факти є ще складніше, якщо вони є складовими частинами продукцій, що використовують правило модус поненс для виведення висновку. Приведемо такий приклад:

ЯКЩО Білий автомобіль легко помітити вночі

9

І Автомобіль Джека білий

ТО Автомобіль Джека легко помітити вночі

Цей висновок легко виведе навіть дитина, але воно виявляється не під силу жодній з сучасних ЕС.

Компонент виведення повинний мати здатність функціонувати при будь-яких умовах. Механізм виведення повинний бути здатний продовжити міркування і згодом знайти рішення навіть при недостатній інформації. Це рішення може і не бути точним, однак система ні в якому разі не повинна зупинятися через те, що відсутня яка-небудь частина вхідної інформації.

5 Реалізація продукційних правил в скбд Microsoft Access

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

НехайD₁ ,¼ , D _n —множини-домени;

D = D₁ ´D₂ ¼´D_n —декартовий добуток.

R-відношення є підмножиною D, n - арність відношення.

Е

1

лементи відношень кортежі. Нехай (d₁,d₂ , ,d_n ) R,d₁ ÎD ,...,d_n D_n . Кількість кортежів у R називається кардинальністю відношення. Відношення можуть розглядатися як таблиці - при цьому кортежі

являють собою рядки таблиці. Імена стовпців називаються атрибутами. Впорядкована множина всіх атрибутів відношення R називається схемою R.

Ключ відношення R—це підмножина k-атрибутів відношення R, значення яких є унікальними у відношенні. З допомогою ключа можна ідендифікувати кортежі відношення. Ключ повинен бути мінімальним: він не повинен містити атрибутів, які не потрібні для унікальної ідентифікації кортежів. Ключ повинен існувати завжди. Кожне відношення може мати декілька ключів. Процедури, побудовані винятково з фактів, відповідають відношенням, при цьому арність відношення збігається з арністю процедури.

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