ГОСТ Р ИСО 18629-12—2010
Неформальнаясемантика символа subactivity:
(subactivity ?al ?а2) принимает значение TRUE в интерпретации теории ядра подчиненной деятельно
ститолько втом случае, еслидеятельность?al является подчиненной деятельностьюдеятельности ?а2.
Отношение подчинения деятельности представляет собой дискретноечастичное упорядочение мно
жества деятельностей.
6.4.2 Примитивная деятельность
Обозначение KIF символа primitive:
(pnmitive ?а)
Неформальнаясемантика длясимвола primitive:
(primitive ?а)принимает значениеTRUE винтерпретации теории ядра подчиненнойдеятельноститоль
ко втом случае, еслидеятельность ?al не имеет подчиненных деятельностей.
6.5 Определения
Деятельность является примитивной только втом случае,если она не имеет подчиненных деятельно
стей.
6.5.1 Определение 1
(forall (?а) (iff(primitive ?а)
(forall (?al)
(implies (subactivity ?al ?а)
(в ?al ?а))))))
6.6Аксиомы
6.6.1 Аксиома 1
subactivity— этоотношение между деятельностями:
(forall (?а1 ?а2)
(implies (subactivity ?а1 ?a2)
(and (activity ?a1)
(activity ?a2))))
6.6.2 Аксиома 2
Отношение subactivityявляется рефлексивным:
(forall (?a)
(implies (activity?a)
(subactivity ?a ?a)))
6.6.3 Аксиома 3
Отношение subactivity является антисимметричным:
(forall (?a1 ?a2)
(implies (and (subactivity ?a1 ?a2)
(subactivity ?a2 ?a1))
(= ?a1 ?a2)))
6.6.4 Аксиома 4
Отношение subactivity является транзитивным:
(forall (?a1 ?a2 ?a3)
(implies (and (subactivity ?a1 ?a2)
(subactivity ?a2 ?a3))
(subactivity ?a1 ?a3)))
6.6.5 Аксиома 5
Отношениеsubactivity являетсядискретным упорядочением, поэтомудля каждой деятельности су
ществует подчиненная деятельность, расположенная в структуре этого упорядочения.
(forall (?а1 ?а2)
(implies (subactivity?а1 ?a2)
(exists (?a3)
(and (subactivity?a1 ?a3)
7