ГОСТ Р ИСО 18629-42—2011
20.1 Примитивная лексика распределения комплексных действий
Лексика распределения комплексных действий не требует примитивных соотношений.
20.2 Описываемые соотношения распределения комплексных действий
В данном подразделе определены следующие соотношения:
- (profile ?осс ?а);
- (root_equiv ?а ?осс1 ?осс2):
- (universal ?а);
- (restricted ?а);
- (constrained ?а).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
20.3 Теории ядра, обусловленные распределением комплексных действий
Для данных дефинициональных расширений необходимы:
- occtree.th;
- psl_core.th.
20.4 Дефинициональные расширения, обусловленные распределением комплексных
действий
Для данных расширений необходимы:
- occ_precond.def;
- state_precond.def:
- precond.def.
20.5 Определения распределения комплексных действий
Для распределения комплексныхдействий определены нижеследующие понятия.
20.5.1 profile
Событие ?осс является элементом профиля для заданного действия ?а при условии, что данное
событие ?осс является начальным событием на ветви дерева событий, которое, в свою очередь, является
событийно-изоморфическимдля ветви некоторого дерева действий, соответствующего действию ?а.
(forall (?осс ?а) (iff (profile ?осс ?а)
(exists (?осс1 ?осс2 ?а1)
(and (occurrence_of ?осс1 ?а)
(occurrence_of ?осс ?а1)
(occurrence_of?осс2 ?а1)
(root_occ ?осс2 ?осс1)
(forall (?оссЗ ?а2)
(implies (and (subactivity_occurrence ?оссЗ ?ocd)
(occurrence_of?оссЗ ?а2))
(exists (?осс4)
(and (occurrence_of?осс4 ?а2)
(precedes ?осс ?осс4)))))))))
20.5.2 root_equiv
Два события ?осс1 и ?осс2 на дереве событий эквивалентны корнями по отношению к некоторому
действию ?а тогда и только тогда, когда существуют события ?а, предшествующие каксобытию ?осс1, так и
событию ?осс2.
(forall (?а ?осс1 ?осс2) (iff (root_equiv ?а ?осс1 ?осс2)
(implies (and (profile ?осс1 ?а)
(profile ?осс2 ?а))
(iff (root ?осс1 ?а)
(root ?осс2 ?а)))))
20.5.3 universal
Некотороедействие является универсальным, если возможно его выполнение когда-либо.
(forall (?а) (iff(universal ?а)
(forall (?осс1 ?осс2)
26