У статті описується конструкція системи переписування термів TermWare-3, що побудована на основі рефлексивного числення контекстних термів, коли структура терму включає до себе, окрім дерева, ще й внутрішній контекст та ...

Висвітлено основні напрямки, задачі та типи результатів глибокого аналізу великих (комп'ютеризованих) даних. Показано практичне значення великих даних та великої аналітики як фундаменту створення нових комп'ютерних технологій ...

Ціль роботи – аналіз засобів семантичного пошуку у Wiki-ресурсах та розробка напрямків розширення його можливостей на основі використання сучасних засобів керування знаннями. В статті аналізуються переваги, які забезпечує ...

Досліджено нові програмно-орієнтовані логіки часткових предикатів з операцією (композицією) предикатного доповнення, такі логіки названо LC. Для першопорядкових LC запропоновано низку відношень логічного наслідку та відношень ...

Вивчаються програмно-орієнтовані логічні формалізми – логіки загальних недетермінованих (GND) предикатів. GND-предикати моделюються як 7-значні TD7-предикати. Досліджено девіантні алгебри істиннісних значень (TV-алгебри) ...

Розроблено програмний засіб для оптимізації обчислень, що дозволяє в автоматизованому режимі здійснити оптимізацію програми шляхом підвищення її швидкодії. Для цього реалізовано спеціальний плагін до системи переписувальних ...

У роботі обговорюються сучасні комп'ютерні технології підтримки функціонування шкільного колективу на базі індивідуально-типологічного підходу для підвищення ефективності навчання і збереження біосоціального здоров'я його ...

Викладено методи, що використовуються агентом для розпізнавання невідомого навколишнього середовища, в тому числі: метод визначення відстані до найближчого видимого об’єкта та координат перетину з цим об’єктом променя (як ...