Студопедия

Главная страница Случайная страница

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






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






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

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

 

Индивиды

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

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

 

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

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

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

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

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

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

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

 

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

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

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

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

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

 


Поделиться с друзьями:

mylektsii.su - Мои Лекции - 2015-2024 год. (0.007 сек.)Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав Пожаловаться на материал