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

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


      Під логічним виведенням розуміють процес одержання висновків з передумов. Існують різні моделі логічного виведення. Розглянемо поняття дедуктивного виведення в логіці числення предикатів, що базується на застосуванні визначених правил виведення до множини вихідних істиних тверджень. Хоча числення предикатів є потужним інструментом, що підходить для опису різноманітних предметних областей, однак воно не позбавлено недоліків. Зокрема, теорія числення предикатів дозволяє одержувати правильні висновки, опираючись на загальнозначущі твердження й обґрунтовані правила логічного виведення. Разом з тим, часто потрібно здійснювати логічне виведення в умовах, коли вхідні дані не є абсолютно достовірними і повними, а правила логічного виведення мають евристичний характер і є ненадійними. У цьому випадку застосовують процедури, що забезпечують логічне виведення висновків з визначеним ступенем впевненості (процедури логічного виведення на ненадійних знаннях), а також процедури немонотонного логічного виведення, що допускають одержання в ході логічного виведення висновків, що можуть логічно суперечити твердженням, які є в базі знань [__].
      Крім дедуктивного підходу, у системах штучного інтелекту широко використовують індуктивні схеми логічного виведення. Такі схеми дозволяють виводити узагальнення наявних часткових тверджень. Здатність до узагальнення є важливою функцією природного інтелекту і використовується для одержання нових знань. Тому індуктивні схеми логічного виведення є елементом підсистем штучного інтелекту, що навчаються. При навчанні із сукупності наявних фактів, шляхом узагальнення, формуються нові поняття і правила, завдяки цьому індуктивні схеми