ГОСТ Р ИСО 18629-42—2011
(implies (and (profile ?ocd ?а)
(profile ?осс2 ?а))
(root_equiv ?а ?осс1 ?осс2)))))
20.5.4 local
Некоторое действие является локальным, если каждое его выполнение порождает события, не экви
валентные корнями.
(forall (?а) (iff (local ?а)
(forall (?а1)
(exists (?occ1 ?occ2)
(and (occurrence_of?occ1 ?a1)
(occurrence_of ?ooc2 ?a1)
(profile ?occ1 ?a)
(profile ?occ2 ?a)
(not (root_equiv ?a ?occ1 ?occ2)))))))
20.5.5 restricted
Некоторое действие является связанным, если для него существуют другие действия, эквивалент
ные корнями.
(forall (?а) (iff (restricted ?а)
(and (exists (?а1)
(forall (?occ1 ?occ2)
(implies (and (occurrence_of ?occ1 ?a1)
(occurrence_of ?occ2 ?a1)
(profile ?occ1 ?a)
(profile ?occ2 ?a))
(root_equiv ?a ?occ1 ?occ2))))
(exists (?a2 ?occ3 ?occ4)
(and (occurrence_of?occ3 ?a2)
(occurrence_of?occ4 ?a2)
(profile ?occ3 ?a)
(profile ?occ4 ?a)
(not (root_equiv ?a ?occ3 ?occ4)))))))
20.6 Грамматика описаний процесса распределения комплексных действий
Нижеследующие грамматические утверждения определяют описания процесса, установленные в KIF
для распределения комплексныхдействий.
< universal_axiom > ::= (forall (?s)
(implies (legal ?s)
<distribution_fonmula>))
< restricted_axiom > ::= (forall (?s)
(implies < successor_axiom >
< distribution_formula>))
< distribution_formula > ::= (exists (?occ)
(and (occurrence ?occ ?a)
(root_occ ?s ?occ)))
21Основанное на состоянии распределение комплексных действий
Данный раздел характеризует все определения, обусловленные основанным на состоянии распреде
лением комплексных действий. Критерий, используемыйдля классификации указанныхдействий: зависит
или нетдействительное событие, заключающееся в выполнении комплексныхдействий, от состояния до
выполнения указанныхдействий.
21.1 Примитивная лексика основанного на состоянии распределения комплексных действий
Лексика основанного на состоянии распределения комплексныхдействий не требует примитивных
соотношений.
27