Buchumschlag

Метаязык нормальных форм знаний

Представлен метаязык нормальных форм знаний, даны его текстовое и графическое описания. В текстовой и графической формах даны формальные описания множества лингвистических примеров, в том числе синтаксиса подмножества простых предложений английского языка и метаязыка Extended Backus–Naur Form. Сдел...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2016
ISSN:	0023-1274
Hauptverfasser:	Кургаев, А.Ф., Григорьев, С.Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2016
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/142053
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:	Метаязык нормальных форм знаний / А.Ф. Кургаев, С.Н. Григорьев // Кибернетика и системный анализ. — 2016. — Т. 52, № 6. — С. 11-20. — Бібліогр.: 4 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

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

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

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

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

Нормальные формы знаний
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2015)

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

Эволюция структуры объекта науки
von: Кургаев, А.Ф.
Veröffentlicht: (2016)

Алгебро-алгоритмические средства проектирования знаний предметных областей
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2009)

Идеология как метаязык отчужденного индивида
von: Гижа, А.В.
Veröffentlicht: (2013)

Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
von: Марченко, А.А.
Veröffentlicht: (2016)

Метод автоматического построения онтологических баз знаний. III. Автоматическая генерация таксономии как основы онтологии
von: Марченко, А.А.
Veröffentlicht: (2016)

Метод автоматического построения онтологических баз знаний. II. Автоматическое определение семантических отношений в онтологической сети
von: Марченко, А.А.
Veröffentlicht: (2016)

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

О влиянии потребительских предпочтений на равновесие в открытой экономической системе
von: Махорт, А.Ф.
Veröffentlicht: (2016)

О влиянии зависимости структуры потребления товаров от цены на равновесие в экономической системе
von: Махорт, А.Ф.
Veröffentlicht: (2015)

Специализированные клеточные структуры для контурного анализа изображений
von: Белан, С.Н.
Veröffentlicht: (2011)

Об эффективности метода вероятностно нейтральных битов в статистическом криптоанализе синхронных поточных шифров
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2016)

Алгебраически вырожденные приближения булевых функций
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2014)

Усовершенствованный тест k-мерности для булевых функций
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2013)

Выделение характеристических признаков изображений с помощью преобразования Радона и возможность его аппаратной реализации в клеточных автоматах
von: Белан, С.Н., et al.
Veröffentlicht: (2013)

Покрытия множеств и отношение толерантности
von: Герасин, С.Н., et al.
Veröffentlicht: (2008)

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

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

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

Методы распознавания групповой принадлежности, основанные на доверительных границах, и их апробация в клинической онкологии
von: Петунин, Ю.И., et al.
Veröffentlicht: (2009)

Верхние оценки несбалансированности билинейных аппроксимаций раундовых функций блочных шифров
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2010)

Верификация программ: состояние, проблемы, результаты. I
von: Крывый, С.Л., et al.
Veröffentlicht: (2013)

Верификация программ: состояние, проблемы, результаты. II
von: Крывый, С.Л., et al.
Veröffentlicht: (2014)

О криптографических свойствах нового национального стандарта шифрования Украины
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2016)

Композиционно-номинативные аспекты адресного программирования
von: Никитченко, Н.С.
Veröffentlicht: (2009)

Метод автоматической классификации на базе нечеткого отношения сходства
von: Гуляницкий, Л.Ф., et al.
Veröffentlicht: (2016)

Об инвариантности ключей относительно операций табличных алгебр
von: Редько, В.Н., et al.
Veröffentlicht: (2015)

Асинхронные распределенные вычисления при ограниченном числе копий структурированного программного ресурса
von: Коваленко, Н.С., et al.
Veröffentlicht: (2012)

Согласование спецификаций автоматов, представленных в языке L
von: Чеботарев, А.Н.
Veröffentlicht: (2016)

Проектирование реактивных алгоритмов путем решения уравнений над автоматами
von: Чеботарев, А.Н.
Veröffentlicht: (2012)

Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
von: Чеботарев, А.Н.
Veröffentlicht: (2013)

Улучшенная верхняя граница для относительного расстояния между булевой функцией и множеством k-мерных функций
von: Алексейчук, А.Н.
Veröffentlicht: (2015)

Согласование взаимодействующих автоматов
von: Чеботарев, А.Н.
Veröffentlicht: (2015)