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

Інформація × Реєстраційний номер 0215U000685, 0111U006938 , Науково-дослідна робота Назва роботи Теоретико-математичні методи дослідження та розробки інтелектуальних інформаційних систем в неформалізованих та слабоформалізованих предметних областях Назва етапу роботи Керівник роботи Провотар Олександр Іванович, Дата реєстрації 24-03-2015 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Розглянуто базові операції, які використовуються при роботі з ДНК у лабораторних дослідах. Створено емулятор ДНК-обчислень на мові програмування JAVA, з використанням бібліотек SWING, JUNG та бази даних SQLite. Продемонстровано реалізацію нечіткої логіки в іграх за допомогою програмного забезпечення Android (SDK). Обгрунтовано, що необхідним елементом розвитку систем обробки логіко-математичних знань (систем ОЛМЗ) є створення засобів їх інтелектуальної підтримки на логічному та онтологічному рівнях. Продемонстровано, що підхід до побудови інтелектуальних та логіко-онтологічних засобів систем пошуку доведень у даний час повністю відповідає існуючим тенденціям розвитку комп'ютерних наук та автоматизації міркувань. Запропоновано теореми Ербрана для класичної й інтуїціоністської логік у деякому уніфікованому вигляді. Опис продукції Автори роботи Григор'єва Н.М. Лялецький О.В. Лялецький О.О. Провотар Т.М. Протасова К.Д. Додано в НРАТ 2020-04-02 Закрити