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