Логічний вивід та керування в системі неформального програмування
Розглядається задача розробки механізму нечіткого логічного виводу в системі неформального програмування. Для цієї системи конкретизуються поняття «логіко-лінгвістичне правило», «умовно нечітке висловлювання», «квантифікатор», «модифікатор». Описується модель нечіткого логічного виводу в СНеП....
Збережено в:
| Опубліковано в: : | Моделювання та інформаційні технології |
|---|---|
| Дата: | 2010 |
| Автори: | Верналь, А.А., Нечипоренко, О.В., Фуртат, Ю.О. |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2010
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/21834 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Логічний вивід та керування в системі неформального програмування / А.А. Верналь, О.В. Нечипоренко, Ю.О. Фуртат // Моделювання та інформаційні технології: Зб. наук. пр. — К.: ІПМЕ ім. Г.Є.Пухова НАН України, 2010. — Вип. 56. — С. 20-26. — Бібліогр.: 7 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Логічний аналіз онтологічного аргументу
за авторством: Коханенко, О.В.
Опубліковано: (2007) -
Алгебро-логічний підхід до аналізу та обробки текстової інформації
за авторством: Палагін, О.В., та інші
Опубліковано: (2010) -
Методи та інструменти розробки інформаційної системи валідації результатів неформального навчання
за авторством: Прийма, С.М.,, та інші
Опубліковано: (2020) -
Програмування в обмеженнях у системі інсерційного моделювання
за авторством: Летичевський, О.А., та інші
Опубліковано: (2011) -
Логічний наслідок та його формалізації в композиційно-номінативних логіках
за авторством: Шкільняк, С.С.
Опубліковано: (2012)