32. Метод резолюції і його застосування в логіці предикатів.

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

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

Метод резолюції є формальним методом .

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

Логіка предикатів широко використовується для подання знань, межі застосування логіки предикатів задається двома припущеннями:

1. існують сутності,

2. існують відношення між сутностями.

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

34. Моделі подання знань і логіка предикатів.

Моделі подання знань що базуються на них відповідно називаються логічно - продукційна фреймова і об’єктивно – орієнтовна модель.

Правила продукції є апаратами вигляду: «Ситуація - дія».

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

Фреймо модель.

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

Об’єктивно – орієнтовані програмовані основними одиницями є об’єкти. Кожен об’єкт містить певну структуру даних і набір процедур ( методів), які опрацьовують ці данні. Об’єкти з однаковими властивостями об’єднуються в класи , кожен клас має однакового предка , який називається надкласами , клас може мати нащадків підкласи.