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