ГОСТ РИС0 18629-43—2011
- эффекты, основанные на продолжительности:
- эффектыдействий, основанные на продолжительности исостоянии;
- упорядочивание соотношений в комплексной последовательности.
Все дефинициональиые расширения в настоящем стандарте являются расширениями ИС018629-13,
которые, в свою очередь, являются расширениями ИСО 18629-12 и ИСО 18629-11.
6 Сильные частично упорядоченные действия
Данный раздел характеризует всеопределения, обусловленные сильными частично упорядоченны
ми действиями.
6.1 Примитивная лексика сильных частично упорядоченных действий
Л
ексика сильных частично упорядоченных действий не требует никаких примитивных соотношений.
6.2 Описываемая лексика понятий сильных частично упорядоченных действий
В данном подразделе определеныследующие соотношения:
- (same
_
bag ?s1 ?s2 ?а);
- (snapshot ?s1 ?s2 ?a):
- (rotate ?s ?a);
- (reflect ?s ?a),
-(flip?s?a);
- (tum?s?a);
- (bag ?occ);
- (strong
_
poset ?occ);
- (choice
_
poset ?occ):
- (complex
_
poset ?occ).
Каждое понятиеопределяется неформальной семантикой иаксиомами KIF.
6.3 Теории ядра, обусловленные сильными частично упорядоченными действиями
Для данного расширения необходимо иметь:
- soo.th;
- act
_
occ.th;
- complex.th;
- atomic.th;
- subactivity.th:
- occtree.th;
- psl
_
core.th.
6.4 Дефинициональиые расширения, обусловленные сильными частично упорядоченными
действиями
Для сильных частично упорядоченных действий никакие дефинициональиые расширения не
требуются.
6.5 Определение понятия для сильных частично упорядоченных действий
Для сильных частичноупорядоченныхдействийопределены нижеследующие понятия.
6.5.1 same
_
bag
Данноесоотношение используется дляспецификации событий, соединенных оператором типа «и»,
(forall (?s1 ?s2 ?а) (iff(same
_
bag ?s1 ?s2 ?a)
(exists (?s3 ?s4)
(and (next
_
subocc ?s1 ?s3 ?a)
(iso
_
occ ?s3 ?s2)
(next
_
subocc ?s2 ?s4 ?a)
(iso
_
occ?s4 ?s1)))))
6.5.2 snapshot
Событие ?s1 на дереведействийдля?а является улорядоченно-гомоморфическим для элемента ?s2
упорядочивания события.
5