Логічний вивід та керування в системі неформального програмування

Abstract

Розглядається задача розробки механізму нечіткого логічного виводу в системі неформального програмування. Для цієї системи конкретизуються поняття «логіко-лінгвістичне правило», «умовно нечітке висловлювання», «квантифікатор», «модифікатор». Описується модель нечіткого логічного виводу в СНеП. Також для системи розглядається керуюча структура. Визначаються семантичні категорії «загальне правило – окреме правило», «загальне правило – виняток з правила». Описується використання цих категорій в створенні керуючої структури системи.