 |
|
Related Communities:
|
 |
|
 |
Unification of the Rule-based System Languages to Provide Interoperability of Declarative Programs.
| Author(s): | Kalinichenko L.A., Stupnikov S.A. |
| Created: | 2012/06/01 |
| Published: | Informatics and Applications. -- 2012. -- V. 6, Issue 2. -- P. 88--105. (In Russian) |
| Abstract: | |
| Проанализированы рекомендации W3C RIF (Rule Interchange Format), ориентированные на
обеспечение интероперабельности разнообразных систем на правилах введением расширяемого семей-
ства унифицированных языков (диалектов) на правилах,позволяющих создавать сохраняющие семантику
отображения в диалекты языков различных систем на правилах. Для определения мотивации проекта RIF
дан краткий обзор развития и применения языков и систем на правилах в областях представления знаний,
дедуктивных баз данных, логических моделей рассуждений. Также проанализированы различные семан-
тики логических языков на правилах, оказавших влияние на конструкцию RIF. Рассмотрены основные
классы применений интероперабельных программ на правилах, на основе которых были выработаны
требования к RIF. Рассмотрены основные решения, принятые в проекте RIF. |
| Download: |
[ Adobe PDF ]
|
|
|
