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

Реєстраційний номер

0212U006509, , Науково-дослідна робота

Назва роботи

Теоретико-математичні методи дослідження та розробки інтелектуальних інформаційних систем в неформалізованих та слабоформалізованих предметних областях

Керівник роботи

Провотар Олександр Іванович,

Дата реєстрації

20-04-2012

Організація виконавець

Київський національний університет імені Тараса Шевченка

Опис

Досліджені розв'язки нечітких неперервно-дискретних систем та методи аналізу і обробки даних в умовах невизначеності. Одержані нові наукові дані про синтаксис та семантику комп'ютерно-орієнтованих систем реалізації логічних та онтологічних методів аналізу даних в неформалізованих предметних областях. Розроблена архітектура систем обробки логіко-математичних знань.

Опис продукції

Запропоновані підходи до формалізації (алгоритмічної) в різних предметних областях та проведена їх класифікація, досліджені питання алгоритмічної класифікації різних логічних теорій. Проаналізовано можливість ефективного застосування різних нечітких моделей для апроксимації нечітких функцій та моделювання ігрової динаміки. На базі теорії можливостей досліджені нечіткі неперервно-дискретні системи, зокрема, гібридні автомати з нечітким перемиканням, досліджені характеристики їх розв'язків. Розроблені методи аналізу і обробки даних в умовах невизначеності, які використано для розв'язання задач оптимального керування рухомими об'єктами. Розроблено трирівневу архітектуру системи обробки логіко-математичних знань з можливістю використання коректних і повних першопорядкових пруверів. Проведено семантичне дослідження лямбда-числення на базі оригінального поняття неперервності функції.