ГОСТ Р И С 018629-11 — 2010
- рекурсивной совокупности С, выражений «b-соп». известных как переменные X, которые включают
в себя по меньшей меро последовательности inf-, inf-*-, max- и max+;
- рекурсивной совокупности Fx выражений <b-funo, известных какфункциональные символы X, кото
рые включают в себя по меньшей меро последовательности beginof и endof;
- рекурсивной совокупности Р,_ выражений <b-pred>, известных как предикаты X, которые включают в
себя по меньшей мере последовательности activity (действие), activity-occurrence (появление действия),
object (объект), timepoint (момент времени), is-occuring-at (происходит в момент времени), occurrence-of
(событие чего-либо), exists-at (существует в момент времени) и participates-in (участвует в чем-либо).
5.3 Грамматика
В словаре lexicon X грамматику на основе
а
устанавливают в следующей форме Бэкуса-Наура:
- «соп» ::= элемент Сх;
- <var> ::= элемент Vx;
- <func> ::= элемент F,.;
- «pred» ::= элемент Рх;
- <term> ::= «atomterm» | «compterm»;
- <atomterm> ::= <var> | <con>;
- <compterm> ;.= (<func> <term>):
- предложение <sentence> ::= <atomsent> | <boolsent> | <quantsent>:
- <atomsent> ;:= (<pred> «term»*) | (<term> <term>);
- «boolsent» .:=(not <sentence>) | (and <sentence> «sentence») | (or <sentence>
«sentence»*) | (implies <sentence> <sentence>) | (iff «sentence» «sentence»).
- «quantsent» ::= ({forall | exists} {<var> | («var»*)} «sentence»);
- «psl-sentence» ;;= «sentence».
5.4 Язык
Язык PSL Lx,созданный на основе словаря к, представляет собой совокупность выражений, которые
могут быть выведены из нетерминального предложения PSL «psl-sentence» с использованием вышеука
занной грамматики. Элементы Ц являются предложениями (sentences) Ц. Ограничения, установленные
пользователем, должны быть созданы с использованием языка PSL.
П р и м е ч а н и е — Примеры ограничений, установленных пользователем, приведены в приложении С.
6 Основные элементы ядра PSL
В настоящем стандарте определены элементы, которые составляют ядро PSL.
6.1 Основные свойства
Основными свойствами языка являются:
- элементарная лексика;
- определенная лексика с поддерживающими определениями;
- аксиомы.
Так как данные понятия являются элементами ядра языка, нет необходимости применять дополни
тельную теорию.
Смысловое значение следующих терминов следует либо изаксиом, либо издополнительных опреде
лений.
6.2 Элементарный словарь ядра PSL
В элементарный словарь входят:
-элементарные категории;
- индивиды;
-элементарные отношения;
-элементарные функции.
П р и м е ч а н и е — В логических элементарных концепциях не устанавливают формальные определения
в пределах онтологии.
6.2.1 Элементарные категории ядра PSL
В настоящем пункте приведены элементарные категории с неформальными описаниями.
6