Информатика и её применения
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Информ. и её примен.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Информ. и её примен., 2012, том 6, выпуск 2, страницы 59–76 (Mi ia202)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Унификация языков систем на правилах для обеспечения интероперабельности декларативных программ

Л. А. Калиниченко, С. А. Ступников

Институт проблем информатики РАН

Аннотация: Проанализированы рекомендации W3C RIF (Rule Interchange Format), ориентированные на обеспечение интероперабельности разнообразных систем на правилах введением расширяемого семейства унифицированных языков (диалектов) на правилах, позволяющих создавать сохраняющие семантику отображения в диалекты языков различных систем на правилах. Для определения мотивации проекта RIF дан краткий обзор развития и применения языков и систем на правилах в областях представления знаний, дедуктивных баз данных, логических моделей рассуждений. Также проанализированы различные семантики логических языков на правилах, оказавших влияние на конструкцию RIF. Рассмотрены основные классы применений интероперабельных программ на правилах, на основе которых были выработаны требования к RIF. Рассмотрены основные решения, принятые в проекте RIF.

Ключевые слова: унификация языков; расширяемость языков; системы логического программирования; системы на активных правилах; продукционные системы; представление знаний; дедуктивные базы данных; логические модели рассуждений; стратифицированная семантика; стабильная модель логической программы; хорошо обоснованная семантика; диалекты RIF; каркас RIF

Полный текст: PDF файл (267 kB)
Список литературы: PDF файл   HTML файл
Тип публикации: Статья

Образец цитирования: Л. А. Калиниченко, С. А. Ступников, “Унификация языков систем на правилах для обеспечения интероперабельности декларативных программ”, Информ. и её примен., 6:2 (2012), 59–76

Цитирование в формате AMSBIB
\RBibitem{KalStu12}
\by Л.~А.~Калиниченко, С.~А.~Ступников
\paper Унификация языков систем на правилах для обеспечения интероперабельности декларативных программ
\jour Информ. и её примен.
\yr 2012
\vol 6
\issue 2
\pages 59--76
\mathnet{http://mi.mathnet.ru/ia202}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ia202
  • http://mi.mathnet.ru/rus/ia/v6/i2/p59

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. И. В. Павлов, “Оценка надежности сложных систем с восстановлением по результатам испытаний элементов”, Информ. и её примен., 8:1 (2014), 21–27  mathnet  crossref  elib
  • Информатика и её применения
    Просмотров:
    Эта страница:304
    Полный текст:99
    Литература:31
    Первая стр.:3
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022