Зображення обкладинки

Формализация списков в метаязыке нормальных форм знаний

Впервые предложена формализация предикатов на списках в метаязыке нормальных форм знаний, базируясь на известных описаниях этих понятий на Прологе, использующих списковый домен. Среди описанных предикатов: добавление элемента в список, удаление элемента, удаление повторов, принадлежность элемента сп...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Доповіді НАН України
Дата:	2017
Автор:	Кургаев, А.Ф.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Видавничий дім "Академперіодика" НАН України 2017
Теми:	Інформатика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/126979
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Формализация списков в метаязыке нормальных форм знаний / А.Ф. Кургаев // Доповіді Національної академії наук України. — 2017. — № 10. — С. 18-27. — Бібліогр.: 8 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Описание списков и множеств в метаязыке нормальных форм знаний
за авторством: Кургаев, А.Ф.
Опубліковано: (2020)

Определение формальных языков в метаязыке нормальных форм знаний
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2017)

Определение языков XML/RDF Semantic Web в метаязыке нормальных форм знаний
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2017)

Расширение метаязыка нормальных форм знаний
за авторством: Кургаев, А.Ф.
Опубліковано: (2020)

Новое определение SPARQL — языка запросов Semantic Web
за авторством: Кургаев, А.Ф.
Опубліковано: (2018)

Модельное проектирование процессора
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2017)

Интерпретатор универсальной машины Тьюринга
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2016)

Новое определение языка веб-онтологий OWL2
за авторством: Кургаев, А.Ф.
Опубліковано: (2018)

Анализ доминирующих моделей представления и использования знаний
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2014)

Поэтонимология: из заметок о метаязыке науки
за авторством: Калинкин, В.М.
Опубліковано: (2008)

Алгоритм нормальных форм в нелинейных сингулярно возмущенных системах с нестабильным спектром
за авторством: Ломов, С.А., та інші
Опубліковано: (1986)

Гибкая сортировка таблиц с использованием списков типов
за авторством: Марьянович, О.Т.
Опубліковано: (2006)

Формализация алгоритма классификации объектов
за авторством: Мартынюк, Т.Б., та інші
Опубліковано: (2015)

Многократный выбор решения при наличии одной из форм принципа гарантированного результата
за авторством: Михалевич, В.М.
Опубліковано: (2011)

Формализация постановки многофакторного экспериментального исследования
за авторством: Радченко, С.Г.
Опубліковано: (2011)

Диаграммы классов ООП: формализация и анализ
за авторством: Буй, Д.Б., та інші
Опубліковано: (2013)

Проблема предсказания структуры протеина: формализация с использованием кватернионов
за авторством: Гуляницкий, Л.Ф., та інші
Опубліковано: (2013)

Модифицированный метод построения нормальных форм вынужденных колебаний и его приложение в динамике однодискового ротора
за авторством: Перепелкин, Н.В., та інші
Опубліковано: (2011)

Об оценке эффективности применения линейных списков при реализации систем компьютерной алгебры
за авторством: Клименко, В.П., та інші
Опубліковано: (2005)

n- исчисление – реалистичная формализация класса переписывающих систем
за авторством: Шевченко, Р.С., та інші
Опубліковано: (2011)

Формализация социологических теорий: необходимость и возможности применения
за авторством: Теличко, Т.
Опубліковано: (2010)

Формализация автоматизированного решения синтезированных задач гибких тренажеров
за авторством: Верещагин, И.И.
Опубліковано: (2005)

Теория выпуклых продолжений в задачах комбинаторной оптимизации
за авторством: Яковлев, С.В.
Опубліковано: (2017)

Оценки сложности алгоритмов реализации теоретико-множественных операций в табличных алгебрах
за авторством: Канарская, И.С.
Опубліковано: (2016)

Формализация проблемы оптимального управления большими системами в критических режимах
за авторством: Рудакова, А.В.
Опубліковано: (2014)

Математична модель вектора прискорення за його слідами в сейсморозвідці
за авторством: Литвин, О.О.
Опубліковано: (2016)

Про характерні співвідношення кореляцій в деяких системах лінійних структуральних рівнянь
за авторством: Балабанов, О.С.
Опубліковано: (2016)

Системний підхід до освоєння підземного простору мегаполісів в умовах невизначеностей та багатофакторних ризиків
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2018)

Особенности петербургского и киевского списков исторического произведения Хурреми Челеби Акая: текстологический аспект
за авторством: Сейтягьяев, Н.С.
Опубліковано: (2012)

Общие аспекты состояния фауны птиц Крыма. Сообщение 1. Опыт ревизии авифаунистических списков
за авторством: Костин, С.Ю.
Опубліковано: (2006)

Минимизация КНФ частично-монотонных булевых функций
за авторством: Пынько, А.П.
Опубліковано: (2017)

Численное моделирование дробно-дифференциальной динамики процесса фильтрационно-конвективной диффузии на основе параллельных алгоритмов для кластерных систем
за авторством: Богаенко, В.А., та інші
Опубліковано: (2017)

Задача упакування гомотетичних опуклих багатогранників
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2017)

Грид и облачные технологии для моделирования движения намагниченного асимметричного тела во внешнем магнитном поле
за авторством: Ляшко, С.И., та інші
Опубліковано: (2016)

Формализация задачи комплектования и эволюционные аспекты ее решения
за авторством: Кучер, П., та інші
Опубліковано: (2009)

Формализация оценки достаточного уровня декомпозиции модели предметной области
за авторством: Любченко, В.В.
Опубліковано: (2010)

Формализация согласования экспертных оценок при реализации метода Делфи
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2012)

Представление процедурных знаний в диалоговой базе знаний
за авторством: Чмырь, И.А.
Опубліковано: (2008)

Оптимізація цільового перенесення ліків із систем мікроголок
за авторством: Ляшко, С.І., та інші
Опубліковано: (2017)

Формализация правил МППСС-72 в системе поддержки принятия решений судоводителя
за авторством: Бень, А.П.
Опубліковано: (2011)