Реферат Представлення знань предметної області ЕС

Тема: Новые рефераты

ЕС, що базуються на продукціях, складаються з трьох компонентів :

1. БЗ, яка містить правила продукцій;

2. БД, яка відображає поточний стан завдання;

3. Керуючою структури - механізм виводу (інтерпретатор правил), вирішальна, яке з правил продукції слід застосувати наступним.

Механізм виведення виконує дві функції:

В· по-перше - перегляд існуючих фактів з робочої пам'яті і правил з БЗ і додавання в робочу пам'ять нових фактів;

В· по-друге - визначення порядку перегляду і застосування правил.

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

4. Представлення знань за допомогою логіки предикатів

Логіка предикатів базується на логіці висловлювань, причому висловлювання - це пропозиція, приймає тільки два значення:

істина або брехня.

Наприклад, у нас є висловлювання: В«ціна високаВ», В«ціна низькаВ», В«у відділі працює 15 людина В». З них можна отримати:

Ціна висока або низька. p> Ціна висока і у відділі працює 15 осіб.

Якщо Договірна висока, то Ціна низька.

І навпаки, будь-яке висловлювання може бути розділене на кілька висловлювань за допомогою виділених слів-зв'язок. p> Елементарні висловлювання можна розглядати як змінні, що приймають значення істина або брехня. p> Позначимо елементарні висловлювання символами А і В, а для позначення виділених слів-зв'язок застосуємо такі символи:

Г№ - В«неВ», Гљ - "або", Г™ - В«іВ», Г‰ - В«якщоВ».

Наприклад, є вислів В«Сидоров - бухгалтерВ».

Розіб'ємо дане пропозиція на частини - Сидоров (суб'єкт), бухгалтер (властивості суб'єкта):

бухгалтер (Сидоров).

Або В«Василь - начальник Петра В»: тут два суб'єкта, і відношення між нимиВ« .... - Начальник ..... В», отримуємо:

начальник (Василь, Петро). p> Замість імен можна підставити змінні х, у, z, тоді:

бухгалтер (х),

начальник (у, z).

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

В«існує такий х, що ... В»,В« Для будь-якого х .... В». p> Введені допущення називаються кванторами спільності та існування:

"х (), $ у ().

Тоді пропозицію можна записати: "х $ у (бухгалтер (х) Г‰ начальник (х, у)).

Важлива послідовність постановки кванторів: якщо змінимо місцями: $ у "х (бухгалтер (х) Г‰ начальник (х, у)),

то це буде позначати:

У всіх бухгалтерів загальний начальник.

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

Введемо поняття предиката. p> Функцію від буквених змінних, приймаючу логічні значення y (0 або 1), назвемо n-місцевим предикатом або просто предикатом. Будь кінцевий предикат можна задати за допомогою таблиці його значень, де кожному набору значень аргументів ставиться у відповідність значення предиката у.

Алгебра предикатів характеризується алфавітом букв А, що складається з k різних символів і алфавітом змінних b, що складається з n різних символів. p> Для побудови будь формули будемо користуватися символами:

- буквами -

- змінними -

- знаками диз'юнкції - 'Гљ' і кон'юнкції - 'Г™';

- дужками - '(' і ')';

- логічними константами - '0 'І '1'. p> Під будь формулою алгебри кінцевих предикатів будемо розуміти:

а) формула може бути символом '0 'або '1';

б) усі вирази виду a i (x j ), де індекс i змінюється від 1 до k, а індекс j - від 1 до n, також вважаємо формулами ;

в) якщо вираження А і В є формулами, то вираз (логічне додавання А і В) буде представляти із себе формулу.

г) якщо вираження А і В - формули, то вираз (логічне множення А і В) - називаємо формулою.

Розглянемо тотожності алгебри предикатів:

Закони ідемпотентності:

,. br/>