ГОСТ Р ИСО 18629-41—2011
- (conflict ?а ?s);
- (dysfunction ?а ?s).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
17.3 Теории, обусловленные неделимыми действиями: параллелизм вниз
Для данной теории необходимы:
- act_occ.th;
- complex.th:
- atomic.th;
- subactivity.th:
-occtree.th:
- psl_core.th.
17.4 Дсфинициональныс расширения, обусловленные неделимыми действиями: парал
лелизм вниз
Для данного расширения дефинициональные расширения нетребуются.
17.5 Определения неделимых действий: параллелизм вниз
Для неделимых действий (параллелизм вниз)определены нижеследующие понятия.
17.5.1 Superpose
Некоторое действие является суперпозицией тогда и только тогда, когда возможно каждое его под
действие. когда возможно самодействие.
(forali (?а ?s) (iff(superpose ?а ?s)
(forall (?а1)
(implies (and (subactivity ?a1 ?a)
(poss ?a ?s))
(poss ?a1 ?s)))))
17.5.2Assistance
Некотороедействие является ассистирующим тогда итолькотогда, когда оно возможно, возможна и
любая совместная композицияего поддействий.
(forall (?а ?s) (iff(assistance ?а ?s)
(forall (?а1?а2)
(implies (and (subactivity ?a1 ?a)
(subactivity ?a2?a)
(poss ?a ?s))
(poss (cone?a1 ?a2)?s)))))
17.5.3 Team
Некоторое действие является командным тогда и только тогда, когда оно возможно, ни одно из его
поддействий невозможно в изоляции.
(forall (?а ?s) (iff(team ?а ?s)
(exists (?a1 ?a2)
(and (subactivity ?a1 ?a)
(subactivity ?a2 ?a)
(poss ?a ?s)
(not (poss (cone ?a1 ?a2) ?s))))))
17.5.4 Ghost
Некоторое действие является паразитным тогда итолькотогда, когда оно невозможно, ниодноизего
поддействий такженевозможно.
(forall (?а ?s) (iff (ghost ?а ?s)
(forall (?a1)
(implies (and (subactivity ?a1 ?a)
(poss?a1 ?s))
(poss ?a ?s)))))
17.5.5 Conflict
Некоторое действие является конфликтным приусловии, что, как только оно невозможно, становятся
возможны некоторые изего поддействий.
28