ГОСТ Р ИСО 18629-12—2010
(forall (?осс)
(implies (not (initial ?осс))
(exists (?а ?осср)
(= ?осс (successor ?а ?осср)))))
7.5.11 Аксиома 11
Случай ?осс1 происходит ранее следующегослучая ?осс2 только в том случае, если случай ?осс2
происходит позжеслучая ?осс1.
(forall (?а ?осс1 ?осс2)
(iff(earlier ?ocd (successor ?а ?осс2))
(or (earlier ?осс 1?осс2)
(= ?осс1 ?осс2)))))
7.5.12 Аксиома 12
Отношение legal является ограничением к случаямдеятельности:
(forall (?осс)
(implies (legal ?осс)
(activity_occurrence?осс)))
7.5.13 Аксиома 13
Если случай деятельности допускается, то допускаются и все предшествующие ему случаи дея
тельности:
(forall(?осс1 ?осс2)
(implies (and (legal ?ocd)
(earlier ?осс2 ?осс1))
(legal ?осс2)))
7.5.14 Аксиома 14
Момент завершения endof случаядеятельности предшествует моменту начала begmof следующего
случаядеятельности:
(forall (?осс1 ?осс2)
(implies (earlier ?осс1 ?осс2)
(before (endof ?ocd)(beginof ?осс2))))
7.5.15 Определение 1
poss— этоотношение междудеятельностями и случаями деятельности:
(forall (?а ?осс) (iff(poss ?а ?осс)
(legal (successor ?а ?осс))))
7.5.16 Определение 2
Случай деятельности ?осс1 предшествует случаю деятельности ?осс2 только в том случае, если
?осс1 происходит ранее ?осс2 в отношении упорядочения earlier, и кахадыйслучай между этими случаями
является возможным:
(forall (?осс1 ?осс2) (iff(precedes ?осс1 ?осс2)
(and (earlier ?осс 1?осс2)
(legal ?осс2))))
8 Теория ядра дискретного состояния
В Discrete state введено понятие состояний (флюентов). Флюенты изменяются только принаступле
нии случаевдеятельности, ноостаются неизменными во время случаевпримитивной деятельности. При
этом у деятельностей есть предпосылки (флюенты, существующие донаступления случая) ипоследствия
(флюенты, возникающие после наступления случая).
8.1 Примитивные категории
Нелогическая лексика теории ядрадискретного состояния включает в себя следующую примитив
ную категорию:
- state.
8.2 Примитивные отношения
Нелогическая лексика теории ядра дискретного состояния включает в себя следующие символы
примитивных отношений:
11