Кургаев, А. Ф. Нормальные формы знаний [Текст] / А. Ф. Кургаев, С. Н. Григорьв> // Доповіді Національної академії наук України. - 2015. - № 11. - С. 36-43. - Библиогр. в конце ст. Рубрики: Математика--Математична кібернетика--Теорія інформації Комп'ютерна наука і технологія--Штучний інтелект--Представлення знань Комп'ютерна наука і технологія--Прикладна техніка--Комп'ютерна лінгвістика Кл.слова (ненормовані): Синтаксис -- Метаязык -- Английский язык Анотація: У новому способі подання й використання знань, знання гранично відділені від даних. Поділ просторів і механізмів обробки знань і даних дозволяє застосовувати для кожного з них оптимальні апаратні засоби. Дод.точки доступу: Григорьв, С. Н. |
Кургаев, А. Ф. Интерпретатор универсальной машины Тьюринга [Текст] / А. Ф. Кургаев, С. Н. Григорьев> // Доповіді Національної академії наук України. - 2016. - № 10. - С. 28-34. - Библиогр. в конце ст. Рубрики: Математика--Математична кібернетика--Теорія керуючих систем Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування Математика--Дослідження операцій--Математичне програмування Кл.слова (ненормовані): Метаязык -- База знаний -- Форма знаний -- Язык формальный Анотація: На прикладі інтерпретатора універсальної машини Тьюрінга доведено достатність виразних можливостей метамови нормальних форм знань для постановки та розв'язку довільного завдання, для якого є розв'язок, і отже, універсальність машини, що реалізує цю мову. Дано формальний текстовий та графічний опис інтерпретатора. Дод.точки доступу: Григорьев, С. Н. |
Кургаев, А. Ф. Модельное проектирование процессора [Текст] / А. Ф. Кургаев, С. Н. Григорьев> // Доповіді Національної академії наук України. - 2017. - № 2. - С. 16-23. - Библиогр. в конце ст. Рубрики: Математика--Математична кібернетика--Моделі Комп'ютерна наука і технологія--Апаратне забезпечення--Процесорні блоки Електроніка та радіотехніка--Деталі електричних машин--Конструювання електричного кола Кл.слова (ненормовані): Устройство операционное -- Граф переходов -- Управление сетевое -- Управление распределенное Анотація: Запропонована нова послідовнісна структура розподіленого мережного пристрою керування та методологія модельного проектування процесора, послідовним нарощуванням структури процесора в контексті розгортання алгоритму обчислювального процесу. Дод.точки доступу: Григорьев, С. Н. |
Кургаев, А. Ф. Формализация списков в метаязыке нормальных форм знаний [Текст] / А. Ф. Кургаев> // Доповіді Національної академії наук України. - 2017. - № 10. - С. 18-27. - Библиогр. в конце ст. Рубрики: Комп'ютерна наука і технологія--Штучний інтелект--Представлення знань Кл.слова (ненормовані): Список -- Предикат -- Рекурсия -- Лисп -- LISP Анотація: Вперше запропоновано формалізацію предикатів на списках у метамові нормальних форм знань, базуючись на відомих описах цих понять на Прологу, які використовують списковий домен. |
Кургаев, А. Ф. Новое определение языка веб-онтологий OWL2 [Текст] / А. Ф. Кургаев> // Доповіді Національної академії наук України. - 2018. - № 3. - С. 22-35. - Библиогр. в конце ст. Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Мови програмування Комп'ютерна наука і технологія--Дані--Системи управління базами даних Комп'ютерна наука і технологія--Штучний інтелект--Представлення знань Кл.слова (ненормовані): Синтаксис -- Метаязык -- Форма знаний Анотація: Дано у метамові нормальних форм знань (НФЗ) описи манчестерського синтаксису й синтаксису функціонального стилю мови веб-онтологій OWL2 - центральної мови семантичного стека Тіма Бернерс-Лі. |