ГОСТ Р ИСО 18629-42—2011
31.5.6 rigid_time_ideal
Некоторое неделимое комплексное действие ?а является жестко идеальным по времени при усло
вии: если и только если какие-либо и когда-либодопустимые события для ?а согласованы по состоянию, то
существуют супердействия для ?а. не согласованные по допустимости.
(forall (?а) (iff(ngid_time_ideal ?а)
(forall (?s1)
(exists (?a1 ?s2)
(and (begin_equiv ?s1 ?s2)
(poss ?a ?s1)
(poss ?a ?s2)
(not(poss_equiv?a1 ?s1 ?s2)))))))
31.5.7 state_nonideal
Некоторое неделимое комплексноедействие ?а является неидеальным по состоянию при условии:
если и только если какие-либо и когда-либодопустимые события для ?а согласованы по состоянию, то все
события для супердействий по ?а согласованы подопустимости.
(forall (?а) (iff(state_nonideal ?а)
(forall (?a1?s1 ?s2)
(implies (and (subactivity ?a ?a1)
(not (poss ?a ?s1))
(not (poss ?a ?s2))
(state_equiv ?s1 ?s2))
(poss_equiv?a1 ?s1 ?s2)))))
31.5.8 partial_state_nonideal
Некоторое неделимое комплексное действие ?а является частично неидеальным по состоянию тогда
и только тогда, когда существуют допустимые события для ?а. согласованные по состоянию, в которых все
супердействия по ?а согласуются подопустимости.
(forall (?а) (iff(partial_state_nonideal ?а)
(and (exists (?s1)
(forall (?s2)
(implies (and (subactivity ?a ?a1)
(not (poss ?a ?s1))
(not (poss ?a ?s2))
(state_equiv ?s1 ?s2))
(poss_equiv ?a1 ?s1 ?s2))))
(exists (?a2 ?s3 ?s4)
(and (subactivity ?a ?a2)
(not (poss ?a ?s3))
(not (poss ?a ?s4))
(state_equiv ?s3 ?s4)
(not (poss_equiv ?a2 ?s3 ?s4)))))))
31.5.9 rigid_state_nonideal
Некоторое неделимое комплексное действие ?а является жестко неидеальным по состоянию при
условии: если и только если какие-либо и когда-либодопустимые события для ?асогласованы по состоя
нию. то существуют супердействия по ?а. не согласованные по допустимости.
(forall (?а) (iff (rigid_state_nonideal ?а)
(forall (?s1)
(exists (?a1 ?s2)
(and (state_equiv ?s1 ?s2)
(not (poss ?a ?s1))
(not (poss ?a ?s2))
(not(poss_equiv?a1 ?s1 ?s2)))))))
31.5.10 time_nonideal
Некоторое неделимое комплексное действие ?а является неидеальным по времени при условии,
если и только если какие-либо и когда-либо допустимые события для ?а согласуются по времени начала
отсчета, то все события для супердействий по ?а согласуются по допустимости.
47