436. Неповнота знань і немонотонний висновок (Основні моделі висновку)

Дані і знання, з якими доводиться мати справу ІС, рідко бувають абсолютно точними і достовірними. Властива знанням невизначеність може мати різноманітний характер, і для її опису використовується широкий спектр формалізмів|. Розглянемо один з типів невизначеності в даних і знаннях - їх неточність. Називатимемо вислів неточним, якщо його істинність (або помилковість) не може бути встановлена з визначеністю. Основоположним поняттям при побудові моделей неточного виводу є поняття вірогідності, тому всі описувані далі методи пов'язані з імовірнісною концепцією. Модель операції з неточними даними і знаннями включає дві складові: мова представлення неточності і механізм виводу на неточних знаннях. Для побудови мови необхідно вибрати форму представлення неточності (наприклад, скаляр, інтервал, розподіл, лінгвістичний вираз, множина) і передбачити можливість приписування міри неточності всім висловам. Механізми операції з неточними висловами можна розділити на два типи. До першого відносяться механізми, що носять "приєднаний" характер: перерахунок мерів неточності як би супроводжує процес виводу, що ведеться на точних висловах. Для розробки приєднаної моделі неточного виводу в заснованій на правилах виводу системі необхідно задати функції перерахунку, що дозволяють обчислювати: а) міру неточності антецедента| правила (його лівій частині) по заходах неточності складових його висловів; би) міру неточності консеквента| правила (його правій частині) по заходах неточності правила і посилки правила; у) об'єднану міру неточності вислову по заходах, отриманих з правил. Введення міри неточності дозволить привнести в процес виводу щось принципово нове - можливість об'єднання сили декількох свідоцтв, підтверджуючих або спростувальних одну і ту ж гіпотезу. Іншими словами, при використанні мерів неточності доцільно виводити одне і те ж твердження різними шляхами (з подальшим об'єднанням значень неточності), що абсолютно безглуздо в традиційній дедуктивній логіці. Для об'єднання свідоцтв потрібна функція перерахунку, що займає центральне місце в перерахунку. Відмітимо, що, не дивлячись на "приєднаність|" механізмів виведення цього типу, їх реалізація в базах знань робить вплив на загальну стратегію виводу: з одного боку, необхідно виводити гіпотезу всіма можливими шляхами для того, щоб врахувати всі релевантні цій гіпотезі свідоцтва, з іншого - попередити багатократний вплив сили одних і тих же свідоцтв. Для механізмів операції з неточними висловами другого типу характерна наявність схем виводу, спеціально орієнтованих на використовувану мову представлення неточності. Як правило, кожному кроку виводу відповідає перерахунок мерів неточності, обумовлений співвідношенням на безлічі висловів (співвідношенням може бути елементарний логічний зв'язок, безвідносно до того, чи є це відношення фрагментом якого-небудь правила). Таким чином, механізми другого типу застосовні не тільки до знань, виражених у формі правил. Разом з тим для них, як і для механізмів "приєднаного" типу, однією з головних є проблема об'єднання свідоцтв. Немонотонний висновок - Спосіб виводу, при якому істинність виведених висловів може зменшуватися. Наприклад, твердження, визнані істинними на одному етапі, можуть бути знехтувані надалі.