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

• Published in: Моделювання та інформаційні технології
• Date: 2010
• Main Authors: Верналь, А.А., Нечипоренко, О.В., Фуртат, Ю.О.
• Format: Article
• Language: Ukrainian
• Published: Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2010
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/21834
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Логічний вивід та керування в системі неформального програмування / А.А. Верналь, О.В. Нечипоренко, Ю.О. Фуртат // Моделювання та інформаційні технології: Зб. наук. пр. — К.: ІПМЕ ім. Г.Є.Пухова НАН України, 2010. — Вип. 56. — С. 20-26. — Бібліогр.: 7 назв. — укр.

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