ГОСТ Р ИСО 18629-42—2011
(forall (?а) (iff(partial_state_ideal ?а)
(and (exists (?s1)
(forall (?s2)
(implies (and (subactivity ?a ?a1)
(poss ?a ?s1)
(poss ?a ?s2)
(state_equiv ?s1 ?s2))
(poss_equiv?a1 ?s1 ?s2))))
(exists (?a2 ?s3 ?s4)
(and (subactivity ?a ?a2)
(poss ?a ?s3)
(poss ?a ?s4)
(state_equiv ?s3 ?s4)
(not (poss_equiv ?a2 ?s3 ?s4)))))))
31.5.3 rigid_state_ideal
Некоторое неделимое комплексное действие ?аявляется действием с жестким идеальным состояни
ем при условии: если и только если какие-либо и когда-либо допустимые события для ?а согласованы по
состоянию, то существуют супердействия для ?а. не согласованные по допустимости.
(forall (?а) (iff(rigid_statejdeal ?а)
(forall (?s1)
(exists (?a1 ?s2)
(and (state_equiv ?s1 ?s2)
(subactivity ?a ?a1)
(poss ?a ?s1)
(poss ?a ?s2)
(not (poss_equiv ?a1 ?s1 ?s2)))))))
31.5.4 tim ejdeal
Некоторое неделимое комплексное действие ?а является действием, идеальным по времени при
условии: если и только если какие-либо и когда-либо допустимые события для ?а согласованы по времени
начала отсчета, то все сулердействия для ?а согласованы по допустимости.
(forall (?а) (iff(timejdeal ?а)
(forall (?а1 ?s1 ?s2)
(implies (and (subactivity ?a ?a1)
(poss ?a ?s1)
(poss ?a ?s2)
(begin_equiv ?s1 ?s2))
(poss_equiv ?a1 ?s1 ?s2)))))
31.5.5 partialjim ejdoal
Некоторое неделимое комплексное действие ?а является частично идеальным по времени тогда и
только тогда, когда существуют допустимые события для ?а. согласованные по времени начала отсчета, в
которых все супердействия для ?а согласованы по допустимости.
(forall (?а) (iff(partialjimejdoal ?а)
(and (exists (?s1)
(forall (?s2)
(implies (and (subactivity ?a ?a1)
(poss ?a ?s1)
(poss ?a ?s2)
(begin_equiv ?s1 ?s2))
(poss_equiv?a1 ?s1 ?s2))))
(exists (?a2 ?s3 ?s4)
(and (subactivity ?a ?a2)
(poss ?a ?s3)
(poss ?a ?s4)
(begin_equiv ?s3 ?s4)
(not (poss_equiv ?a2 ?s3 ?s4)))))))
46