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

Abstract

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

The task of fuzzy inferencing mechanism development in the system of the informal programming is considered. For this system concepts «logical-linguistic rule», «conventionally fuzzy statement», «quantifier», «modifier» are specified. The model of fuzzy inferencing is described in SInP. Also for the system a control structure is considered. Semantic categories «general rule – separate rule» «general rule – exception» are determined. The use of these categories in system’s control structure creation is described.