Язык описания задач SITPLAN-2 часть 1

ТОЧКА Х1_Х2_Х3;
РЯДОМ (ОБ_1, СТОЛ)
(ПОВ_1_ОБ_2 НА ПОВ_3_ОБ_4)
ОБ_1, ОБ_2, ОБ_3 на полу.
префикс отрицания (НЕТ, NOT) в составе описательного выражения означает отсутствие свойства, состояния или связи, подается данным описательным выражением.
Примеры
НЕТ Х1 В ЯЩИКУ_2;
НЕТ РОБОТ РЯДОМ СТОЛ_Х2.
процедурные описательной выражения используются в следующих случаях:
"Для описания обращения к встроенной процедуры. Например,!Переставить МОЖНО (Х1, Х2, Х3). Во время вызова этой процедуры проверяется возможность перестановки объекта Х1 с объекта Х2 на Х3.
"Для определения iмперативiв (конструкций), обеспечивающие участие пользователя в процессе решения задачи, а также поиск, извлечение, ввiд и модификацию определенных конструкций в базе знаний, например,! ВЫПОЛНИТЬ {OP1}. {OPn}. Этот Императив означает выполнение последовательности операторов {OP1}. {OPn} СИТ! Удалить {пр. 1, пр. 2,. водоворот}.
системно-векторная психология
Во время его выполнения с описания ситуации будут изъяты выражения, взятые в скобки.
4.2. Операционные вирвзы
операционные выражения используются для задания одной или нескольких операций над объектами среды. Это могут быть арифметические, логические, тригонометрические операции, операции отношение, присваивание и др.
Декларативнi операционные выражения используются для представления ситуаций в задачах, требующих формульных преобразований, например, при выполнении електродинамiчних расчетов, доказательств теорем в исчислении высказываний, во время выполнения преобразований пiдiнтегральних выражений i такое.
процедурные операционные выражения означают запуск одной или нескольких встроенных процедур, реализующих Указанные в выражениях операции.
процедурные операционные выражения, забранi в скобки, вычисляются, начиная с скобок наибольшей вкладеностi.
Примеры
(1)
(2) (3)
(4)
Выражения (1), (2) являются декларативными. Они не задают какой последовательности выполнения операций. К ним могут быть применены правила вывода i тотожнiх преобразований. Например, выражение (1) с помощью правила замены iмплiкацiи дизьюнкцiею можно привести к виду Выражение (2) можно привести к виду
Выражения (3), (4) является процедурными. Они задают определенную последовательность выполнения операций. Последовательность выполнения операций выражения (3) такова:
1) выполняется операция сложения i;
2) возвышается к квадрату;
3) результат шага 2 вiднiмаеться от результата шага 1,
4) переменные присваивается результат операции вычитания.
Во время обработки выражения (4) сначала выполняется операция над переменными i, потом операция над,, i наконец операция над значениями «истина» или «хибнiсть», что полученные в результате операций (1), (2). Результатом (4) также имеет значение «истина» или «хибнiсть».
4.3. Кванторы i ограничители
В языке SITPLAN-2 с целью расширения выразительных возможностей вводятся дополнительные средства типа кванторiв i обмежувачiв, которые служат для указания мiры, насколько значения переменных должно быть истиной, чтобы высказывания вцiлому стало истиной.
Примеры выражений с кванторами
ВЕСЬ Х1 Есть Х2: ЦВЯХ Х1 С МАТЕРИАЛА Х2 ТЕРМОСТОЙКАЯ.
Это выражение означает, что среди гвоздей есть хотя бы один из термостойкой материала. Если квантор в выражении является отсутствующим, то по умолчанию переменные считаются охваченными квантором существования.
В состав вводимых обмежучив входит ограничитель цикла, обозначенный служебным словом ЦИКЛ. Он используется во время описания ситуаций i операторов с большим количеством объектов, которые находятся в одном i том же отношении.
Пример
ЦИКЛ 100 Х1: ЦВЯХ Х1 в ящике.
Это выражение может быть интерпретированная следующим образом: «В ящике находится ста гвоздей». Как видно из приведенного примера в выражениях с циклом может быть явно указано количество повторiв цикла, если она не указана, то семантика ограничителя цикла совпадает с семантикой квантора общности, то есть выражение
ЦИКЛ Х1: ГВОЗДЬ В Яшико
есть эквивалентен выражения
ВЕСЬ Х1: ГВОЗДЬ В Яшико.
ограничители максимума и минимума позначуються, соответственно, служебными словами MAX и MIN i означают, что выражения с переменными, охваченными этими ограничителями, есть истина при максимальных или минимальных значениях переменных.
Например, выражение
MAX Х1: ИНСТУЛЬТ Х2 С вероятностью Х1
будет истиной при максимальных значениях переменной Х1.
Ограничитель старта (СТАРТ) служит для задания интервала времени, в течение которого достигается iстиннiсть охваченных им выражений.
Часовые интервалы обозначить парами, где — нижняя, а — верхняя граница временного интервала.
Чтобы подать различные временные интервалы, використують выражаемое семантика которых приведена в табл. 1.
Таблица 1
Выражения ограничителя Часовой интервал
СТАРТ В
СТАРТ ПЕРЕД
СТАРТ ПОСЛЕ
СТАРТ МЕЖДУ
Ограничитель продолжительности (длит) служит для указания продолжительности действий или событий. Выражение ограничителя задается переменной, константой или функцией:
СТАРТ В 7_0_0 длит 10 с: звонит будильник.
длит Х1 с: ПЕРЕДАЧА ДАННЫХ НА ЗЕМЛЮ.
длит К-Y / 2 перемотки ленты.
Ограничитель достоверности (ГОСТ) служит для указания степени истинности следующего за ним выражения. Степень истинности выражений задается числовыми значениями в интервале от 0 до 1:
ГОСТ 0.7: ИНСУЛЬТ ИШЕМИЧЕСКИЙ ПАЦИЕНТА ИВАНОВА В.В.
4.4. Составляющие выражения
Для большей наглядности i компактности в языке SITPLAN-2 используются конструкции типа фреймiв. Это составной выражение, содержащей iменувальну часть выражения, которая идентифицирует описательное понятие, i набор выражений, которые вiдображують свойства, отношение и составные части, котрi непосредственно входят в структуру объекта описывается.
Примеры
1. Составной выражение, используемое для описания составляющих объектов:
КОМНАТА К1: длиной 8 м;
шириной 10 м;
ДВЕРИ А соединяют КИМНАТУ_К1 С КИМНАТОЮ_К2;
СТОЛ 1 РЯДОМ с СТОЛОМ 2.
2. Составной выражение, используемое для задания параметров стратегии планирования:
ПАРАМЕТРЫ: СТРАТЕГИЯ Х1;
КОЭФФИЦИЕНТ ЦР Х3;
лимит времени Х3;
ПРЯМОЕ разветвления Х4;
обратном разветвления Х3.
В языке SITPLAN-2 приняты такие согласования относительно описаний упорядоченных i неупорядоченных списков выражений:
"упорядкованi списки выражений, в которых имеется в виду связка типа
"неупорядкованi списки выражений, в которых имеется в виду связка типа
"упорядкованi списки выражений, в которых имеется в виду связка типа, берутся в угловые скобки;
" неупорядкованi списки выражений, в которых имеется в виду связка типа, берутся в квадратные скобки [].
Если списки выражений НЕ взятые в скобки, имеется в виду связка типа
Х1 РЯДОМ С Х2;
ВЫСОТА Х1 Х3.
описательной выражения, використуються для описания исходных i целевых ситуаций, состоят из элементов списка базовых вiдношень

Комментирование и размещение ссылок запрещено.

Комментарии закрыты.