Логічний вивід та керування в системі неформального програмування
Розглядається задача розробки механізму нечіткого логічного виводу в системі неформального програмування. Для цієї системи конкретизуються поняття «логіко-лінгвістичне правило», «умовно нечітке висловлювання», «квантифікатор», «модифікатор». Описується модель нечіткого логічного виводу в СНеП....
Збережено в:
Дата: | 2010 |
---|---|
Автори: | Верналь, А.А., Нечипоренко, О.В., Фуртат, Ю.О. |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2010
|
Назва видання: | Моделювання та інформаційні технології |
Онлайн доступ: | http://dspace.nbuv.gov.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) -
Про варіаційний вивід однієї змішаної системи рівнянь теорії пружності
за авторством: Шульга, М.О.
Опубліковано: (2009) -
Методи та інструменти розробки інформаційної системи валідації результатів неформального навчання
за авторством: Прийма, С.М.,, та інші
Опубліковано: (2020) -
Логічний наслідок та його формалізації в композиційно-номінативних логіках
за авторством: Шкільняк, С.С.
Опубліковано: (2012)