Студопедия

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

Разделы сайта

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






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






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

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

     

    Индивиды

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

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

     

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

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

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

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

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

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

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

     

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

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

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

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

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

     






    © 2023 :: MyLektsii.ru :: Мои Лекции
    Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав.
    Копирование текстов разрешено только с указанием индексируемой ссылки на источник.