Студопедия

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

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

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






  • Определение языка для записи порождающей модели






     

    Типы данных

    Объекты служат для представления понятий ПО: индивидов и отношений.

    Имя объекта предназначено для упоминания объекта.

    Имена всех объектов различны.

    Индивиды - целое, вещественные, строка (в процессе вывода, значение индивида не изменяется)

    Отношения - точные (значения в процессе вывода не меняются) и недоопределенные (значения в процессе вывода меняются).

    Проблемно ориентированные правила

     

    .ЕСЛИ < условие>, ТО < следствие>

    все переменные следствия должны содержаться в условии.

     

    < условие> = см. РЕЛЯП.

    < следствие> = преобразуется по правилам Де Моргана и раскрываются скобки.

    Pi и P’i имена недоопределенных отношений.

    ti и t’i вектора термов.

     

    и - имя недоопределенного отношения.

    и - вектора выражений.






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