Студопедия

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

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

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






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






 

Типы данных

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

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

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



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

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

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

 

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

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

 

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

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

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

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

 

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

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






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