Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Доповіді НАН України
Datum:	2017
1. Verfasser:	Кургаев, А.Ф.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Видавничий дім "Академперіодика" НАН України 2017
Schlagworte:	Інформатика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/126979
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Формализация списков в метаязыке нормальных форм знаний / А.Ф. Кургаев // Доповіді Національної академії наук України. — 2017. — № 10. — С. 18-27. — Бібліогр.: 8 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

Определение формальных языков в метаязыке нормальных форм знаний
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2017)

Определение языков XML/RDF Semantic Web в метаязыке нормальных форм знаний
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2017)

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

Новое определение SPARQL — языка запросов Semantic Web
von: Кургаев, А.Ф.
Veröffentlicht: (2018)

Модельное проектирование процессора
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2017)

Интерпретатор универсальной машины Тьюринга
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2016)

Новое определение языка веб-онтологий OWL2
von: Кургаев, А.Ф.
Veröffentlicht: (2018)

Анализ доминирующих моделей представления и использования знаний
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2014)

Поэтонимология: из заметок о метаязыке науки
von: Калинкин, В.М.
Veröffentlicht: (2008)

Алгоритм нормальных форм в нелинейных сингулярно возмущенных системах с нестабильным спектром
von: Ломов, С.А., et al.
Veröffentlicht: (1986)

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

Формализация алгоритма классификации объектов
von: Мартынюк, Т.Б., et al.
Veröffentlicht: (2015)

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

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

Диаграммы классов ООП: формализация и анализ
von: Буй, Д.Б., et al.
Veröffentlicht: (2013)

Проблема предсказания структуры протеина: формализация с использованием кватернионов
von: Гуляницкий, Л.Ф., et al.
Veröffentlicht: (2013)

Модифицированный метод построения нормальных форм вынужденных колебаний и его приложение в динамике однодискового ротора
von: Перепелкин, Н.В., et al.
Veröffentlicht: (2011)

Об оценке эффективности применения линейных списков при реализации систем компьютерной алгебры
von: Клименко, В.П., et al.
Veröffentlicht: (2005)

n- исчисление – реалистичная формализация класса переписывающих систем
von: Шевченко, Р.С., et al.
Veröffentlicht: (2011)

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

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

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

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

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

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

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

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

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

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

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

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

Задача упакування гомотетичних опуклих багатогранників
von: Стоян, Ю.Г., et al.
Veröffentlicht: (2017)

Грид и облачные технологии для моделирования движения намагниченного асимметричного тела во внешнем магнитном поле
von: Ляшко, С.И., et al.
Veröffentlicht: (2016)

Формализация задачи комплектования и эволюционные аспекты ее решения
von: Кучер, П., et al.
Veröffentlicht: (2009)

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

Формализация согласования экспертных оценок при реализации метода Делфи
von: Панкратова, Н.Д., et al.
Veröffentlicht: (2012)

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

Оптимізація цільового перенесення ліків із систем мікроголок
von: Ляшко, С.І., et al.
Veröffentlicht: (2017)

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