ГОСТР ИС0 18629-43—2011
(forall (?s1)
(implies (next
_
subocc ?s ?s1 ?a)
(or (exists (?s2 ?s3)
(and (snapshot ?s ?s2 ?a)
(next
_
soo ?s2 ?s3 ?a)
(iso
_
occ?s1 ?s3)))
(exists (?s2)
(and (sibling ?s ?s2 ?a)
(iso
_
occ ?s1 ?s2))))))))
6.5.7 bag
«bag» — это дерево действий, все элементы которого обладают свойством «rotated» (см. 6.5.3).
Интуитивно ясно, что данное понятие соответствует карте технологического процесса, содержащей только
соотношения типа «и» без линейногоупорядочивания.
(forall (?осс) (iff(bag ?осс)
(forall (?а ?s ?осс1)
(implies (and(same
_
grove ?occ?occ1)
(occurrence
_
of ?occ ?a)
(subactivity
_
occurrence ?s ?occ1))
(rotate ?s?a)))))
6.5.8 choice
_
poset
«choice
_
poset» — это дерево действий, все элементы которого обладают свойством «reflected»
(см.6.5.4). Интуитивно ясно, чтоданное понятие соответствует карте технологического процесса, содержа
щей толькосоотношения «или».
(forall (?осс) (iff(choice
_
poset ?осс)
(forall (?а ?s ?осс1)
(implies (and (same
_
grove ?occ ?occ1)
(occurrence
_
of ?occ ?a)
(subactivity
_
occurrence ?s ?occ1))
(reflect?s?a)))))
6.5.9 strong
_
poset
«strong
_
poset» — это дереводействий, все элементы которого обладают свойством «flip» (см. 6.5.5).
Интуитивно ясно, что данное понятие соответствует карте технологического процесса, содержащей линей
ное упорядочивание внутрисоотношений типа «и».
(forall (?осс) (iff(strong
_
poset ?осс)
(forall (?а ?s ?осс1)
(implies (and (same
_
grove ?occ?occ1)
(occurrence
_
of ?occ ?a)
(subactivity
_
occurrence ?s ?occ1))
(flip?s?a)))))
6.5.10 complex
_
poset
«complex
_
poset» — это дерево действий, все элементы которого обладают свойством «turn» (см.
6.5.6). Интуитивно ясно, что данное понятие соответствует карте технологического процесса, содержащей
как соотношения «и», таки соотношения «или».
(forall (?осс) (iff(complex
_
poset ?осс)
(forall (?а ?s ?осс1)
(implies (and (same
_
grove ?occ?occ1)
(occurrence
_
of ?occ ?a)
(subactivity
_
occurrence ?s ?occ1))
(turn ?s?a)))))
6.6 Грамматика описаний процесса для сильных частично упорядоченных действий
Нижеследующие грамматические утверждения даютописаниятехнологического процесса ивспомо
гательные правила, определенные в KIFдля сильныхчастично упорядоченныхдействий.
П р и м е ч а н и е — Функция и важность грамматических утверждений поясняется в ИСО 18629-1:2004
(пункты 3.3.8,4.2.4 и 5.1).
7