Структура состояний порождающего процесса

- множество состояний.

, где n - имя объекта, Zn_i - значение объекта.

Индивиды

Точные отношения

Смысл: на кортеже предикат с именем n истинен.

Недоопределенные отношения.

3. Структура входной информации – как и в Реляп

4. Структура выходной информации – как и в Реляп, но еще может быть противоречие

5. Входная процедура – тождественное преобразование

6. Выходная процедура – тождественное преобразование

Рецепт (правила интерпретации

1. Правило вывода при отсутствии противоречия

- то противоречие.

- множество правил.

Для правила перехода в противоречивое состояние предусловие такое же, а постусловие меняется:

Правило остановки

Нет применимых правил или достигнуто противоречие