ГОСТР ИСО 18629-43—2011
16.6 Грамматика эффектов действий, основанных на продолжительности и времени
Грамматика описаний процесса для эффектов действий, основанных на продолжительности и
времени.
< maintain
_
effect
_
axiom > ::= (foralt (?s)
(implies (and (occurrence ?s <term >)
<durationJiteral >
< simple
_
state
_
axiom >)
<simple
_
holds
_
axiom >)))
<partial
_
maintain
_
axiom > ::= (forall (< variable >)
(implies (and (occurrence < variable > < term >)
<durationJiteral >
< state
_
axiom >)
< simpleJiolds
_
axiom >))) |
(forall (< variable >*)
(implies (and (occurrence < variable > < term >)
<interval Jiteral >
< simple
_
state
_
axiom >)
< simple
_
holds
_
axiom >))) |
17 Упорядочивание соотношений в комплексной последовательности
Данный раздел характеризует все определения, обусловленные упорядочиванием соотношений в
комплексной последовательности.
17.1 Примитивная лексика упорядочивания соотношений в комплексной последователь
ности
Л
ексика упорядочивания соотношений вкомплексной последовательности нетребует никаких прими
тивных соотношений.
17.2 Описываемая лексика упорядочивания соотношений в комплексной последователь
ности
В данном подразделе определены нижеследующие соотношения:
- (coo
_
precedes ?осс1 ?осс2 ?а);
- (strong
_
parallel ?осс1 ?осс2 ?а);
- (atomocc ?осс).
Каждоепонятие определяется неформальной семантикой и аксиомами KIF.
17.3 Теории, обусловленные упорядочиванием соотношений в комплексной последователь
ности
Дляданной теории необходимы:
- soo.th;
- actocc.th;
- complex.th;
- atomic .th:
- subactivity.th:
- occtree.th:
- psl
_
core.th.
17.4 Дефинициональные расширения, обусловленные упорядочиванием соотношений в
комплексной последовательности
Дляданного расширения необходимо нижеследующеедефинициональное расширение:
- strongposets.def.
17.5 Определения упорядочивания соотношений в комплексной последовательности
Для упорядочивания соотношений в комплексной последовательности определены нижеследующие
понятия.
24