Поповнення знань інтелектуальних систем на основі казуально-залежних міркувань

Л.С. Берштейн, В.Б. Мелехина

1. Введення

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

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

У роботі розглядається один з можливих шляхів обходу вищевідзначене труднощів поповнення знань ІС, активно взаємодіють з СП, пов'язаний із застосуванням псевдофізіческой логіки казуально-залежних предикатів і правил означіванія їх змінних в процесі виведення умовиводів [2]. Особливість казуально-залежних предикатів полягає в тому, що в них на Предикативні змінні накладаються причинно-наслідкові обмеження, які дозволяють виділяти монотонні ділянки виведення істинних висновків у довільній області їх визначення.

2. Казуально-залежні Предикативні змінні та їх властивості

казуально-залежною предикативний змінної називається пара A (Fa) = (Ca, Fa), де Ca-назва або ідентифікатор змінної: Fa-безліч умов приналежності або вимоги, яким повинні відповідати об'єкти ПС, що відносяться до змінної A (Fa).

У свою чергу, кожен об'єкт ai (Xi) довільної ПС може визначатися безліччю характеристик Xi, i = 1, n. Тоді пишемо, що ai (Xi)