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

Інформація × Реєстраційний номер 0212U006509, 0111U006938 , Науково-дослідна робота Назва роботи Теоретико-математичні методи дослідження та розробки інтелектуальних інформаційних систем в неформалізованих та слабоформалізованих предметних областях Назва етапу роботи Керівник роботи Провотар Олександр Іванович, Дата реєстрації 20-04-2012 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Досліджені розв'язки нечітких неперервно-дискретних систем та методи аналізу і обробки даних в умовах невизначеності. Одержані нові наукові дані про синтаксис та семантику комп'ютерно-орієнтованих систем реалізації логічних та онтологічних методів аналізу даних в неформалізованих предметних областях. Розроблена архітектура систем обробки логіко-математичних знань. Опис продукції Запропоновані підходи до формалізації (алгоритмічної) в різних предметних областях та проведена їх класифікація, досліджені питання алгоритмічної класифікації різних логічних теорій. Проаналізовано можливість ефективного застосування різних нечітких моделей для апроксимації нечітких функцій та моделювання ігрової динаміки. На базі теорії можливостей досліджені нечіткі неперервно-дискретні системи, зокрема, гібридні автомати з нечітким перемиканням, досліджені характеристики їх розв'язків. Розроблені методи аналізу і обробки даних в умовах невизначеності, які використано для розв'язання задач оптимального керування рухомими об'єктами. Розроблено трирівневу архітектуру системи обробки логіко-математичних знань з можливістю використання коректних і повних першопорядкових пруверів. Проведено семантичне дослідження лямбда-числення на базі оригінального поняття неперервності функції. Автори роботи Бичков О.С. Вольчина І.І. Григорьєва Н.І. Заворотний А.Л. Касьянюк В.С. Лялецький О.В. Лялецький О.О. Малютенко Л.М. Польща М.В. Провотар О.І. Провотар Т.М. Протасова К.Д. Додано в НРАТ 2020-04-02 Закрити