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

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