Пошук академічних текстів

Інформація × Реєстраційний номер 0304U002229, 0101U002163 , Науково-дослідна робота Назва роботи Логіко-математичні та програмологічні засоби інформаційних технологій Назва етапу роботи Побудова алгебри нечітких предикатів та експлікативних логік метаіменного рівня Керівник роботи Редько В.Н., Дата реєстрації 25-02-2004 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Введене поняття нечіткого предикату як засобу формального опису нечітких логічних висловлювань та побудована алгебра нечітких предикатів. Визначена експлікація поняття дескрипції як дескриптивного процесу; побудована універсальна платформа, в рамках якої описані дескриптивні логіки та дескриптивні системи; побудовані і досліджені логіки програмування метаіменного рівня для композицій суперпозиції і рекурсії. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити