ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ТЕХНИЧЕСКОМУ РЕГУЛИРОВАНИЮ И МЕТРОЛОГИИ

Системы промышленной автоматизации и интеграция

ЯЗЫК СПЕЦИФИКАЦИЙ ПРОЦЕССА

Часть 12

Внешнее ядро

ISO 18629-12:2005

Industrial automation systems and integration — Process specification language —

Part 12: Outer core (IDT)

Издание официальное

Москва

Стандартинформ

2014

Предисловие

1    ПОДГОТОВЛЕН Научно-техническим центром ИНТЕК на основе собственного аутентичного перевода на русский язык международного стандарта, указанного в пункте 4

2    ВНЕСЕН Техническим комитетом по стандартизации ТК 100 «Стратегический и инновационный менеджмент»

3    УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 21 декабря 2010 г. № 894-ст

4    Настоящий стандарт идентичен международному стандарту ИС0 18629-12:2005 «Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 12. Внешнее ядро» (ISO 18629-12:2005 «Industrial automation systems and integration — Process specification language — Part 12: Outer core»).

При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов соответствующие им национальные стандарты Российской Федерации, сведения о которых приведены в дополнительном приложении ДА

5    ВВЕДЕН ВПЕРВЫЕ

Правила применения настоящего стандарта установлены в ГОСТР 1.0-2012 (раздел 8). Информация об изменениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего года) информационном указателе «Национальные стандарты», а официальный текст изменений и поправок— в ежемесячном информационном указателе «Национальные стандарты». В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ближайшем выпуске ежемесячного информационного указателя «Национальные стандарты». Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования—на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет (gost.ru)

©Стандартинформ, 2014

Настоящий стандарт не может быть полностью или частично воспроизведен, тиражирован и распространен в качестве официального издания без разрешения Федерального агентства по техническому регулированию и метрологии

ГОСТ Р ИС018629-12—2010

Неформальная семантика символа subactivity:

(subactivity ?al ?а2) принимает значение TRUE в интерпретации теории ядра подчиненной деятельности только в том случае, если деятельность ?al является подчиненной деятельностью деятельности ?а2.

Отношение подчинения деятельности представляет собой дискретное частичное упорядочение множества деятельностей.

6.4.2 Примитивная деятельность Обозначение KIF символа primitive:

(primitive ?а)

Неформальная семантика для символа primitive:

(primitive ?а) принимает значение TRUE в интерпретации теории ядра подчиненной деятельности только в том случае, если деятельность ?al не имеет подчиненных деятельностей.

6.5    Определения

Деятельность является примитивной только в том случае, если она не имеет подчиненных деятельностей.

6.5.1    Определение 1

(forall (?а) (iff (primitive ?а)

(forall (?al)

(implies (subactivity ?al ?a)

(= ?al ?a))))))

6.6    Аксиомы

6.6.1    Аксиома 1

subactivity — это отношение между деятельностями:

(forall (?а1 ?а2)

(implies (subactivity ?a1 ?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 ?a1 ?a2)

(exists (?a3)

(and (subactivity ?a1 ?a3)

7

(subactivity ?аЗ ?а2)

(fora II (?а4)

(implies (and (subactivity ?a1 ?а4)

(subactivity ?a4 ?a3)

(or (— ?a4 ?a1)

(=7a4?a3))))))))

6.6.6 Аксиома 6

Отношение subactivity является дискретным упорядочением. Для каждой деятельности существует подчиненная деятельность, расположенная в структуре этого упорядочения.

(forall (?а1 ?а2)

(implies (subactivity ?a1 ?a2)

(exists (?a3)

(and (subactivity ?a1 ?a3)

(subactivity ?a3 ?a2)

(forall (?a4)

(implies (and (subactivity 7a3?a4)

(subactivity ?a4 ?a2)

(or (= ?a4 ?a2)

(=7a4?a3))))))))

7 Теория ядра дерева случаев

Occurrence tree представляет собой множество всех дискретных последовательностей случаев деятельности, изоморфных подструктурам дерева ситуаций, подлежащих ситуационному исчислению (см. приложение С). Основное отличие дерева ситуаций от последних заключается в том, что для каждого дерева случаев существует единственный начальный случай деятельности, а не единственная начальная ситуация. В ситуационном исчислении используется отношение poss, позволяющее определять ограничения ко всем случаям деятельности в дереве случаев. Так как в дерево случаев входят последовательности, которые разработчиками модели домена будут признаны невозможными, отношение poss «обрезает» ветви дерева случаев, соответствующие невозможным случаям деятельности.

Дерево случаев не является структурой, представляющей подчиненные деятельности какой-либо деятельности. Оно представляет все случаи всех деятельностей в домене, а не конкретный случай деятельности.

7.1    Примитивные отношения

Нелогическая лексика теории ядра дерева случаев включает в себя следующие символы примитивных отношений:

-earlier (ранее);

-    initial (начальный);

-    legal (допустимый).

7.2    Примитивные функции

Нелогическая лексика теории ядра дерева случаев включает в себя следующий символ примитивной функции:

-    successor (следующий элемент).

7.3    Связь с другими наборами аксиом

В теории ядра дерева случаев используется теория pslcore.th, установленная в ИСО 18629-11.

Лексика дефиниций для теории ядра дерева случаев не требуется.

7.4    Неформальная семантика

7.4.1 Отношение earlier

Обозначение KIF символа earlier:

(earlier ?occl ?осс2)

Неформальная семантика для отношения earlier:

ГОСТ Р ИС0 18629-12—2010

(earlier ?occl ?осс2) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том случае, если два случая деятельности ?осс1 и ?осс2 принадлежат одной и той же ветви дерева, а ?осс1 находится ближе к корневому элементу дерева, чем ?осс2.

В интерпретациях деревьев случаев множество всех последовательностей случаев деятельности образует дерево, а отношение earlier задает частичное упорядочение всех случаев деятельности, принадлежащих этому дереву.

7.4.2    Отношение initial Обозначение KIF символа initial:

(initial ?осс)

Неформальная семантика отношения initial:

(initial ?осс) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том случае, если случай деятельности ?осс является корневым элементом дерева случаев.

7.4.3    Отношение legal Обозначение KIF отношения legal:

(legal ?осс)

Неформальная семантика отношения legal:

(legal ?осс) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том случае, если случай деятельности ?осс является элементом допустимого дерева случаев.

7.4.4    Отношение poss

Обозначение KIF символа отношения poss:

(poss ?осс1 ?осс2)

Неформальная семантика символа отношения poss:

(poss ?а ?осс) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том случае, если для деятельности ?а существует случай, являющийся следующим элементом случая деятельности ?осс в дереве случаев.

7.4.5    Отношение precedes Обозначение KIF символа отношения precedes:

(precedes ?осс1 ?осс2)

Неформальная семантика символа отношения precedes:

(precedes ?осс1 ?осс2) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том случае, если случай деятельности ?осс1 расположен раньше случая деятельности ?осс2 в дереве случаев, а все случаи деятельности между этими случаями соответствуют возможным деятельностям. Данное отношение определяет поддерево дерева случаев, в котором каждый случай деятельности является случаем возможной деятельности.

7.4.6    Отношение successor

Обозначение KIF символа отношения successor:

(successor ?а ?осс)

Неформальная семантика символа отношения successor:

(= (successor ?а ?осс) ?осс2) принимает значение TRUE в интерпретации теории ядра дерева случаев только в том случае, если ?осс2 обозначает случай ?а, следующий за случаем деятельности ?осс в дереве случаев.

7.5 Аксиомы

Теория ядра дерева событий включает в себя следующие аксиомы:

7.5.1    Аксиома 1

Отношение earlier применимо только для следующих случаев деятельности:

(forall (?осс1 ?осс2)

(implies (earlier ?осс1 ?осс2)

(and (activity_occurrence ?ocd)

(activity_occurrence ?осс2))))

7.5.2    Аксиома 2

Отношение earlier нерефлексивно для множества случаев:

(forall (?осс1 ?осс2)

(implies (earlier ?осс1 ?осс2)

(not (earlier ?осс2 ?осс1))))

9

ГОСТ Р ИС0 18629-12—2010

7.5.3    Аксиома 3

Отношение earlier является транзитивным для множества случаев:

(forall (?осс1 ?осс2 ?оссЗ)

(implies (and (earlier ?осс 1 ?осс2)

(earlier ?осс2 ?оссЗ))

(earlier ?осс1 ?оссЗ)))

7.5.4    Аксиома 4

Ветвь дерева случаев представляет собой полностью упорядоченное множество случаев деятельности:

(forall (?осс1 ?осс2 ?оссЗ)

(implies (and (earlier ?осс 1 ?осс2)

(earlier ?оссЗ ?осс2)

(or (earlier ?осс1 ?оссЗ)

(earlier ?оссЗ ?осс1)

(= ?оссЗ ?осс1))))

7.5.5    Аксиома 5

Ни один случай не может произойти раньше начального случая:

(forall (?осс1 ?осс2)

(implies (initial ?ocd)

(not (exists (?осс2)

(earlier ?осс2 ?ocd)))))

7.5.6    Аксиома 6

Каждая ветвь дерева случаев имеет начальный случай:

(forall (?осс1 ?осс2)

(implies (earlier ?осс1 ?осс2)

(exists (?осср)

(and (initial ?осср)

(or (earlier ?осср ?ocd)

(=?осср?осс1))))))

7.5.7    Аксиома 7

Каждая деятельность имеет начальный случай:

(forall (?а)

(implies (activity ?а)

(exists (?s)

(and (occurrenceof ?s ?a)

(initial ?s)))))

7.5.8    Аксиома 8

Два начальных случая деятельности дерева случаев не являются случаями одной и той же деятельности:

(forall (?осс1 ?осс2 ?а)

(implies (and (initial ?ocd)

(initial ?осс2)

(occurrence_of?occ1 ?а)

(occurrenceof ?осс2 ?а))

(= ?осс1 ?осс2)))

7.5.9    Аксиома 9

Элемент случая деятельности, представляющий случай деятельности:

(forall (?а ?осс)

(implies (and (activity occurrence ?осс)

(activity ?а))

(occurrenceof (successor ?a ?occ) ?a))))

7.5.10    Аксиома 10

Каждый случай, не являющийся начальным, представляет собой следующий элемент другого случая:

ГОСТ Р ИС0 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 ?occ2?ocd))

(legal ?осс2)))

7.5.14    Аксиома 14

Момент завершения endof случая деятельности предшествует моменту начала beginof следующего случая деятельности:

(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 (?ocd ?осс2) (iff (precedes ?осс1 ?осс2)

(and (earlier ?осс 1 ?осс2)

(legal ?осс2))))

8 Теория ядра дискретного состояния

В Discrete state введено понятие состояний (флюентов). Флюенты изменяются только при наступлении случаев деятельности, но остаются неизменными во время случаев примитивной деятельности. При этом у деятельностей есть предпосылки (флюенты, существующие до наступления случая) и последствия (флюенты, возникающие после наступления случая).

8.1    Примитивные категории

Нелогическая лексика теории ядра дискретного состояния включает в себя следующую примитивную категорию:

- state.

8.2    Примитивные отношения

Нелогическая лексика теории ядра дискретного состояния включает в себя следующие символы примитивных отношений:

11

-    holds;

-    prior.

8.3    Связь с другими наборами аксиом

В теории ядра дискретного состояния используются следующие теории:

-    pslcore.th, установленная в ИСО 18629-11;

-    occtree.th (теория ядра дерева случаев).

Лексика дефиниций для теории ядра дискретного состояния не требуется.

8.4    Неформальная семантика

8.4.1    Отношение state

Обозначение KIF символа state:

(state ?f)

Неформальная семантика символа state:

(state ?f) принимает значение TRUE в интерпретации теории ядра дискретного состояния только в том случае, если ?f представляет собой множество состояний ракурса рассмотрения интерпретации. Состояния образуют подкатегорию объекта.

Примечание — Объект определен в ИСО 18629-11.

Состояния представляют те свойства и отношения в домене, которые могут изменяться в результате произошедших случаев деятельности.

8.4.2    Отношение holds

Обозначение KIF символа отношения holds:

(holds ?f ?осс)

Неформальная семантика символа отношения holds:

(holds ?f ?осс) принимает значение TRUE в интерпретации теории ядра дискретного состояния только в том случае, если состояние ?f является истинным после случая деятельности ?осс.

8.4.3    Отношение prior Обозначение KIF символа отношения:

(prior ?f ?осс)

Неформальная семантика для отношения prior:

(prior ?f ?осс) принимает значение TRUE в интерпретации теории ядра дискретного состояния только в том случае, если состояние ?f является истинным до случая деятельности ?осс.

8.5    Аксиомы

Теория ядра дискретного состояния включает в себя следующие аксиомы.

8.5.1    Аксиома 1

Состояния являются объектами:

(forall (?f)

(implies (state ?f)

(object ?f)))

8.5.2    Аксиома 2

Отношение holds действует только между состояниями и случаями деятельности. Это означает, что состояние является истинным после случая деятельности ?о:

(forall (?f ?осс)

(implies (holds ?f ?осс)

(and (state ?f)

(activityoccurrence ?occ))))

8.5.3    Аксиома 3

Отношение prior действует только между состояниями и случаями деятельности. Это означает, что состояние является истинным после случая деятельности ?о:

(forall (?f?occ)

(implies (prior ?f ?occ)

(and (state ?f)

(activityoccurrence ?occ))))

ГОСТ Р ИС018629-12—2010

8.5.4    Аксиома 4

Состояния, существовавшие до начальных случаев, согласованы друг с другом:

(forall (?ocd ?осс2 ?f)

(implies (and (initial ?occ1)

(initial ?occ2))

(iff (prior ?f?occ1)

(prior ?f?occ2))))

8.5.5    Аксиома 5

Состояние может возникнуть после случая только в том случае, если оно существует до следующего случая:

(forall (?а ?осс)

(iff (holds ?f?occ)

(prior ?f (successor ?a ?occ))))

8.5.6    Аксиома 6

Если состояние возникает после случая какой-либо деятельности, существует самый ранний случай деятельности на ветви дерева, где находится это состояние:

(forall (?f?occ1)

(implies (holds ?f ?occ1)

(exists (?occ2)

(and (precedes ?occ2 ?occ1)

(holds ?f ?occ2)

(or (initial ?occ2)

(not (prior ?f?occ2)))

(forall (?occ3)

(implies (and (precedes ?occ2 ?occ3)

(precedes ?occ3 ?occ1))

(holds ?f?occ3)))))))

8.5.7    Аксиома 7

Если состояние не возникает после случая какой-либо деятельности, существует самый ранний случай деятельности на ветви, где этого состояния нет:

(forall (?f?occ1)

(implies (not (holds ?f?occ1))

(exists (?occ2)

(and (precedes ?occ2 ?occ1)

(not (holds ?f?occ2))

(or (initial ?occ2)

(prior ?f?occ2))

(not (exists (?occ3)

(and (precedes ?occ2 ?occ3)

(precedes ?occ3 ?occ1))

(holds ?f?occ3))))))))

9 Теория ядра атомарной деятельности

Atomic activity предоставляет аксиомы, относящиеся к интуитивным представлениям об одновременном параллельном агрегировании примитивных деятельностей, которое, как правило, представляют в терминах осуществления/происхождения одновременных деятельностей, а не в терминах одновременного осуществления/происхождения деятельностей.

9.1 Примитивные отношения

Нелогическая лексика теории ядра атомарной деятельности включает в себя следующий символ примитивного отношения:

- atomic.

13

9.2    Примитивные функции

Нелогическая лексика теории ядра атомарной деятельности включает в себя следующий символ примитивной функции:

-    сопс.

9.3    Связь с другими наборами аксиом

В теории ядра атомарной деятельности используются следующие теории:

-    pslcore.th, установленная в ИСО 18629-11 (ядро PSL);

-    occtree.th (теория ядра дерева случаев);

-    subactivity.th (теория ядра подчиненной деятельности).

Лексика дефиниций для теории ядра атомарной деятельности не требуется.

9.4    Неформальная семантика

9.4.1    Отношение atomic

Обозначение KIF символа отношения atomic:

(atomic ?а)

Неформальная семантика символа отношения atomic:

(atomic ?а) принимает значение TRUE в интерпретации теории ядра атомарной деятельности только в том случае, если ?а является либо примитивной деятельностью, либо суперпозицией множества параллельных примитивных деятельностей.

9.4.2    Отношение сопс

Обозначение KIF символа отношения сопс:

(сопс?а1 ?а2)

Неформальная семантика символа отношения сопс:

(= ?аЗ (сопс?а1 ?а2)) принимает значение TRUE в интерпретации теории ядра атомарной деятельности только в том случае, если ?аЗ является атомарной деятельностью, являющейся суперпозицией двух параллельных атомарных деятельностей ?а1 и ?а2.

9.5    Определения

Данная теория ядра не включает в себя определений.

9.6    Аксиомы

Теория ядра атомарной деятельности включает в себя следующие аксиомы.

9.6.1    Аксиома 1

Любая примитивная деятельность является атомарной:

(forall (?а)

(implies (primitive ?а)

(atomic ?а)))

9.6.2    Аксиома 2

Функция сопс является идемпотентной:

(forall (?а)

(= ?а (сопс?а ?а)))

9.6.3    Аксиома 3

Функция сопс является коммутативной:

(forall (?а1 ?а2)

(= (сопс ?а1 ?а2) (сопс ?а2 ?а1)))

9.6.4    Аксиома 4

Функция сопс является ассоциативной:

(forall (?а1 ?а2 ?аЗ)

(= (сопс ?а1 (сопс ?а2 ?аЗ)) (сопс (сопс ?а1 ?а2) ?аЗ)))

9.6.5    Аксиома 5

Параллельная агрегация атомарной деятельности является атомарной деятельностью:

(forall (?а1 ?а2)

(iff (atomic (сопс ?a1 ?а2))

(and (atomic ?а1)

(atomic ?a2))))

ГОСТ Р ИС0 18629-12—2010

9.6.6    Аксиома 6

Атомарная деятельность ?а1 является подчиненной деятельностью атомарной деятельности ?а2 только в случае, если ?а2 является идемпотентной для ?а1:

(forall (?а1 ?а2)

(implies (and (atomic ?a1)

(atomic ?a2))

(iff (subactivity ?a1 ?a2)

(= ?a2 (conc?a1 ?a2)))))

9.6.7    Аксиома 7

Атомарная деятельность включает в себя подчиненную деятельность только в том случае, если существует другая атомарная деятельность, допускающая параллельное агрегирование с этой деятельностью:

(forall (?а1 ?а2)

(implies (atomic ?а2)

(iff (subactivity ?a1 ?a2)

(exists (?a3)

(= ?a2 (conc?a1 ?a3))))))

9.6.8    Аксиома 8

Псевдоструктура атомарных деятельностей является дистрибутивной:

(forall (?а ?Ь0 ?Ы)

(implies (and (subactivity ?а (cone ?Ь0 ?Ы))

(not (primitive ?a)))

(exists (?a0 ?a1)

(and (subactivity ?a0 ?a)

(subactivity ?a1 ?a)

(= ?a (cone ?a0 ?a1))))))

9.6.9    Аксиома 9

Только случаи атомарной деятельности могут быть элементами допустимого дерева случаев:

(forall (?а ?осс)

(implies (and (occurrence_of ?осс?а)

(legal ?осс))

(atomic ?а)))

10 Теория ядра комплексной деятельности

Complex activity является основой для представлений и логических выводов в отношении составной деятельности, а также отношений между случаями деятельности и случаями ее подчиненных деятельностей. В моделях теории ядра составной деятельности случаи составной деятельности соответствуют поддеревьям дерева случаев. Деятельность может включать в себя подчиненные деятельности, которые не происходят. Единственным ограничением является соответствие любого случая подчиненной деятельности поддереву дерева случаев, описывающего случаи данной деятельности. Не каждый случай деятельности является случаем подчиненной деятельности. Во время случая деятельности могут происходить другие внешние деятельности. Различные подчиненные деятельности могут находиться на разных веткахде-рева деятельности, так что для различных случаев деятельности могут происходить различные случаи подчиненных деятельностей.

10.1    Примитивные отношения

Нелогическая лексика теории ядра составной деятельности включает в себя следующие примитивные отношения:

-    minprecedes;

-    root.

10.2    Установленные отношения

Нелогическая лексика теории ядра составной деятельности включает в себя следующие установленные отношения:

15

-subtree;

-do;

-    leaf;

-    nextsubocc;

-sibling.

10.3    Связь с другими наборами аксиом

В теории составной деятельности используются следующие теории ядра:

-    pslcore.th, установленная в ИСО 18629-11;

-    occtree.th;

-subactivity.th;

-    atomic.th.

Для теории ядра составной деятельности не требуются лексиконы дефиниций.

10.4    Неформальная семантика

10.4.1    Отношение minprecedes

Обозначение KIF символа отношения min_precedes:

(min_precedes ?осс1 ?осс2 ?а)

Неформальная семантика символа отношения min_precedes:

(min_precedes ?осс1 ?осс2 ?а) принимает значение TRUE в интерпретации теории ядра составной деятельности только в том случае, если ?осс1 и ?осс2 являются случаями подчиненной деятельности в дереве деятельности ?а, а ?осс1 предшествует ?осс2 в поддереве. Любой случай деятельности ?а соответствует дереву деятельности, являющемуся поддеревом дерева случаев. Случаи деятельности в этом поддереве являются случаями подчиненной деятельности, соответствующими случаю деятельности ?а.

10.4.2    Отношение root Обозначение KIF символа отношения root:

(root ?осс ?а)

Неформальная семантика символа отношения root:

(root ?осс ?а) принимает значение TRUE в интерпретации теории ядра составной деятельности только в том случае, если случай деятельности ?осс является корневым элементом дерева деятельности ?а.

10.4.3    Отношение subtree Обозначение KIF для отношения subtree:

(subtree ?осс ?a1 ?а2)

Неформальная семантика символа отношения subtree:

(subtree ?осс?а1 ?а2) принимает значение TRUE в интерпретации теории ядра составной деятельности только в случае, если каждый случай атомарной подчиненной деятельности в дереве деятельности ?а1 с корневым элементом ?осс является элементом дерева деятельности ?а2.

10.4.4    Отношение leaf Обозначение KIF символа отношения leaf:

(leaf ?осс?а)

Неформальная семантика символа отношения leaf:

(leaf ?осс ?а) принимает значение TRUE в интерпретации теории ядра составной деятельности только в том случае, если случай деятельности ?осс является элементом дерева деятельности ?а.

10.4.5    Отношение do Обозначение KIF символа отношения do:

(do ?а ?осс1 ?осс2)

Неформальная семантика символа отношения do:

(do ?а ?осс1 ?осс2) принимает значение TRUE в интерпретации теории ядра составной деятельности только в том случае, если ?осс1 является корневым элементом дерева деятельности, а ?осс2 — элементом того же дерева, так что оба случая деятельности являются элементами одной и той же ветви дерева деятельности.

10.4.6    Отношение next subocc Обозначение KIF символа отношения next_subocc:

(next_subocc?occ1 ?осс2 ?а)

Неформальная семантика символа отношения next_subocc:

ГОСТ Р ИС0 18629-29—2010

Содержание

1    Область применения....................................... 1

2    Нормативные ссылки...................................... 1

3    Термины, определения и сокращения.............................. 2

3.1    Термины и определения................................... 2

3.2    Сокращения......................................... 5

4    Общие положения комплекса стандартов ИСО 18629 ...................... 5

5    Общие положения настоящего стандарта............................ 5

5.1    Расширения, входящие во внешнее ядро.......................... 5

6    Теория ядра подчиненной деятельности............................. 6

6.1    Примитивные отношения................................... 6

6.2    Установленные отношения.................................. 6

6.3    Связь с другими наборами аксиом.............................. 6

6.4    Неформальная семантика.................................. 6

6.5    Определения......................................... 7

6.6    Аксиомы........................................... 7

7    Теория ядра дерева случаев................................... 8

7.1    Примитивные отношения................................... 8

7.2    Примитивные функции.................................... 8

7.3    Связь с другими наборами аксиом.............................. 8

7.4    Неформальная семантика.................................. 8

7.5    Аксиомы........................................... 9

8    Теория ядра дискретного состояния............................... 11

8.1    Примитивные категории................................... 11

8.2    Примитивные отношения................................... 11

8.3    Связь с другими наборами аксиом.............................. 12

8.4    Неформальная семантика.................................. 12

8.5    Аксиомы........................................... 12

9    Теория ядра атомарной деятельности.............................. 13

9.1    Примитивные отношения................................... 13

9.2    Примитивные функции.................................... 14

9.3    Связь с другими наборами аксиом.............................. 14

9.4    Неформальная семантика.................................. 14

9.6    Аксиомы........................................... 14

10    Теория ядра комплексной деятельности............................. 15

10.1    Примитивные отношения.................................. 15

10.2    Установленные отношения................................. 15

10.3    Связь с другими наборами аксиом............................. 16

10.4    Неформальная семантика.................................. 16

10.5    Определения........................................ 17

10.6    Аксиомы.......................................... 18

11    Теория ядра случаев деятельности................................ 19

11.1    Примитивные отношения.................................. 20

11.2    Установленные отношения в теории ядра случаев деятельности............... 20

11.3    Связь с другими наборами аксиом............................. 20

11.4    Неформальная семантика.................................. 20

11.5    Определения........................................ 21

11.6    Аксиомы.......................................... 22

ПриложениеА (обязательное) Идентификатор ASN.1, присвоенный ИСО 18629-12 ......... 25

Приложение В (справочное) Связь с ситуационным исчислением................. 26

Приложение С (справочное) Пример описания процесса с помощью внешнего ядра PSL.....    27

Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартов ссылочным национальным стандартам Российской Федерации............. 32

Библиография............................................ 33

ГОСТ Р ИС018629-12—2010

(next_subocc ?осс1 ?осс2 ?а) принимает значение TRUE в интерпретации теории ядра составной деятельности только в том случае, если ?осс1 предшествует ?осс2 на дереве деятельности, на котором не существует случая подчиненной деятельности между двумя данными случаями.

10.5 Определения

Теория ядра составной деятельности содержит следующие определения.

10.5.1    Определение 1

Дерево деятельности ?а1 с корневым элементом, представленным случаем ?осс1, является поддеревом дерева деятельности ?а2 в том случае, если случай каждой подчиненной атомарной деятельности дерева деятельности ?а1 является элементом дерева деятельности ?а2:

(forall (?осс1 ?a1 ?а) (iff (subtree ?ocd ?a1 ?а2)

(and (root?occ1 ?а1)

(exists (?occ2)

(and (root ?occ2 ?a2)

(minprecedes ?occ1 ?occ2 ?a1)))

(exists (?occ3)

(and (minprecedes ?occ1 ?occ3 ?a1)

(not (min_precedes ?occ2 ?occ3 ?a2)))))))

10.5.2    Определение 2

Случай является элементом дерева деятельности только в том случае, если существует более ранний случай подчиненной атомарной деятельности, но не существует более позднего случая подчиненной атомарной деятельности:

(forall (?осс ?а) (iff (leaf ?осс ?а)

(exists (?осс1)

(and (min_precedes?occ1 ?осс?а)

(not (exists (?осс2)

(minprecedes ?осс ?осс2 ?а))))))

10.5.3    Определение 3

Отношение do устанавливает начальный и конечный случаи атомарной деятельности, подчиненной этой деятельности:

(forall (?а ?осс1 ?осс2) (iff (do ?а ?осс1 ?осс2)

(and (min_precedes ?осс1 ?осс2 ?а)

(not (exists (?оссЗ)

(min_precedes ?оссЗ ?осс1 ?а)))

(not (exists (?осс4)

(min_precedes ?осс2 ?осс4 ?а)))))))

10.5.4    Определение 4

Случай деятельности ?осс2 является следующим случаем подчиненной деятельности после случая ?осс1 в дереве деятельности ?а только в том случае, если ?осс1 предшествует ?осс2 на дереве деятельности и не существует случая подчиненной деятельности между этими случаями:

(forall (?осс1 ?осс2 ?а) (iff (next subocc ?осс1 ?осс2 ?а)

(and (min_precedes ?осс1 ?осс2 ?а)

(not (exists (?оссЗ)

(and (min_precedes ?осс1 ?оссЗ ?а)

(min_precedes ?оссЗ ?осс2 ?а))))))

10.5.5    Определение 5

Случаи подчиненной атомарной деятельности ?осс1 и ?осс2 являются родственными по отношению к деятельности ?а либо когда у них есть общий предшествующий элемент в дереве деятельности ?а, либо когда они оба являются корневыми элементами дерева деятельности ?а, имеющими общий предшествующий элемент в дереве событий:

(forall (?ocd ?осс2 ?а) (iff (sibling ?осс1 ?осс2 ?а)

(or (exists (?оссЗ)

(and (next subocc ?оссЗ ?осс1 ?а)

(nextsubocc ?оссЗ ?осс2 ?а)))

(and (root ?осс1 ?а)

17

Введение

Комплекс стандартов ИСО 18629 устанавливает требования к интерпретируемому компьютером обмену информацией о производственном процессе. Стандарты комплекса определяют родовой язык, используемый для описания производственного процесса, осуществляемого одной и той же промышленной компанией или несколькими ее промышленными секторами, или разными компаниями, независимо от любой частной модели представления. Характер этого языка подходит для совместного использования информации, относящейся к производству, на всех стадиях производственного процесса.

В настоящем стандарте приведено описание базовых элементов ядра, определенного в комплексе стандартов ИСО 18629.

Стандарты комплекса ИСО 18629 не зависят от какого-либо представления специфического процесса или модели, предложенной в приложении программного обеспечения в домене управления производством. Комплекс стандартов ИСО 18629 определяет структурную основу, обеспечивающую возможность взаимодействия приложений программного обеспечения.

IV

ГОСТ Р ИСО 18629-12-2010

НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

Системы промышленной автоматизации и интеграция ЯЗЫК СПЕЦИФИКАЦИЙ ПРОЦЕССА Часть 12 Внешнее ядро

Industrial automation systems and integration. Process specification language. Part 12. Outer core

Дата введения — 2011—09—01

1    Область применения

Настоящий стандарт в форме аксиом и определений устанавливает понятия, относящиеся к внешнему ядру языка, что позволяет аксиоматизировать семантику терминологии, используемой для описания внешнего ядра в соответствии с требованиями комплекса стандартов ИСО 18629.

Настоящий стандарт распространяется на:

-деятельность и ее агрегирование:

-дискретные деятельности и их состояния;

-    ограничения деятельности;

-    параллельные примитивные деятельности;

-    составные деятельности;

-    примеры составных деятельностей.

2    Нормативные ссылки

В настоящем стандарте использованы нормативные ссылки на следующие стандарты, которые необходимо учитывать при использовании настоящего стандарта. В случае ссылок на документы, у которых указана дата утверждения, необходимо пользоваться только указанной редакцией. В случае, когда дата утверждения не приведена, следует пользоваться последней редакцией ссылочных документов, включая любые поправки и изменения к ним:

ИСО/МЭК 8824-1 Информационные технологии. Нотация абстрактного синтаксиса версии 1 (ASN.1). Часть 1. Спецификация базовой нотации (ISO/IEC 8824-1, Information technology—Abstract Syntax Notation One (ASN.1) — Specification of basic notation)

ИСО 10303-1 Системы промышленной автоматизации и интеграция. Представление данных о продукции и обмен данными. Часть 1. Обзор и основные принципы (ISO 10303-1, Industrial automation systems and integration — Product data representation and exchange — Part 1: Overview and fundamental principles)

ИСО 15531-1 Системы промышленной автоматизации и интеграция. Данные для управления промышленным производством. Часть 1. Общий обзор (IS015531-1, Industrial automation systems and integration — Industrial manufacturing management data — Part 1: General overview)

ИСО 18629-1 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 1. Обзор и основные принципы (ISO 18629-1, Industrial automation systems and integration — Process specification language — Part 1: Overview and basic principles)

ИСО 18629-11 Системы промышленной автоматизации и интеграция. Язык спецификации процесса. Часть 11: Ядро PSL (ISO 18629-11, Industrial automation systems and integration — Process specification language — Part 11: PSL core)

Издание официальное

3 Термины, определения и сокращения

3.1    Термины и определения

В настоящем стандарте применены следующие термины с соответствующими определениями.

3.1.1    аксиома (axiom): Точно сформулированное аналитическое выражение на формальном языке, устанавливающее ограничения к интерпретации символов в словаре языка.

[ИСО 18629-1:2004, статья 3.1.1]

3.1.2    консервативное определение (conservative definition): Определение, устанавливающее необходимые и достаточные условия для полного соответствия термина, а также не позволяющее выводить новые умозаключения из теории.

[ИСО 18629-1:2004, статья 3.1.2]

3.1.3    теория ядра (core theory): Набор аксиом для реляционных и функциональных символов, обозначающих примитивные понятия.

[ИСО 18629-1:2004, статья 3.1.3]

3.1.4    данные (data): Представление информации в формальном виде, подходящем для ее передачи, интерпретации или обработки людьми или на электронно-вычислительных машинах.

[ИСО 18629-1:2004, статья 3.1.4]

3.1.5    установленная лексика (defined lexicon): Набор символов в нелогической лексике, обозначающих установленные понятия.

Примечание — Установленные лексикой символы подразделяют на постоянные, функциональные и относительные.

[ИСО 18629-1:2004, статья 3.1.5]

3.1.6    дефинициальное расширение (definitional extension): Расширение ядра PSL, представляющее новые лингвистические понятия, которые могут быть определены с помощью терминов ядра PSL.

Примечание — Дефинициальные расширения добавляют выразительную силу ядру PSL и используются для подробного описания семантики и терминологии в области применения.

[ИСО 18629-1:2004, статья 3.1.6]

3.1.7    расширение (extension): Расширение ядра PSL, содержащее дополнительные аксиомы.

Примечание 1 — Ядро PSL представляет собой относительно простой набор аксиом, достаточный для представления широкого круга основных процессов. Однако для представления более сложных процессов требуются дополнительные ресурсы, отсутствующие в ядре PSL. Ядро PSL с каждым понятием следует использовать для описаний того или иного процесса, а для описания разнообразных модульных расширений следует использовать расширение и дополнения ядра PSL. В этом случае пользователь может использовать такой язык, который соответствует требованиям к выразительности.

Примечание 2 — Все расширения являются теориями ядра или дефинициальными расширениями.

[ИСО 18629-1:2004, статья 3.1.9]

3.1.8    грамматика (grammar): Правила совместного использования логических символов и словарных терминов для составления точно сформулированных аналитических выражений.

[ИСО 18629-1:2004, статья 3.1.10]

3.1.9    идемпотент (idempotent): Элемент (а) множества, удовлетворяющий условию: а ОР а = а, где ОР — внутренняя бинарная операция.

Примечание — Функция является идемпотентной, если каждый элемент в области ее определения является идемпотентом по отношению к данной функции.

Пример — Теоретико-множественное пересечение и объединение являются идемпотентами, так как SnS = SuS(jS = S.

3.1.10    информация (information): Факты, концепции или инструкции.

[ИСО 18629-1:2004, статья 3.1.11]

3.1.11    интерпретация (interpretation): Ракурс рассмотрения всех предложений теории и присвоения этим предложениям значений истинности (TRUE или FALSE).

Примечание — Пример интерпретации приведен в приложении С.

ГОСТ Р ИС0 18629-12—2010

3.1.12язык (language): Сочетание лексики и грамматики.

[ИСО 18629-1:2004, статья 3.1.12]

3.1.13    лексика (lexicon): Набор символов и терминов.

Примечание — Лексика состоит из логических (например, Булевы выражения и квантификаторы) и нелогических символов. В комплексе стандартов ИСО 18629 нелогическая часть лексики состоит из выражений (констант, функциональных символов и реляционных символов), необходимых для представления основных понятий онтологии.

[ИСО 18629-1:2004, статья 3.1.13]

3.1.14    производство (manufacturing): Функция или действие, предусматривающие перевод или превращение материала из сырья или заготовки в завершенное состояние.

[ИСО 15531-1:2004, статья 3.6.22]

3.1.15    производственный процесс (manufacturing process): Структурированный комплекс видов деятельности или работ, выполняемых с материалом для его перевода из сырья или заготовки в завершенное состояние.

Примечание — Производственные процессы могут быть представлены в виде технологической схемы процесса, схемы движения продукта, в виде табличной схемы или схемы фиксированного расположения. К планируемым производственным процессам могут относиться изготовление продукта для складирования, на заказ и для сборки на заказ и т. д., основанные на стратегическом использовании и размещении материально-производственных запасов.

[ИСО 15531-1:2004, статья 3.6.25]

3.1.16    модель (model): Сочетание набора элементов и истинного назначения, удовлетворяющее всем правильно построенным формулировкам в теории.

Примечание 1 — В настоящем стандарте определение термина «модель» отличается от используемого в научной и другой литературе: если предложение является верным в определенной интерпретации, то можно сказать, что интерпретация — это модель предложения. Виды семантик, представленных в настоящем стандарте, часто называют теоретически смоделированными семантиками.

Примечание 2 — Модель обычно представляют в виде совокупности дополнительных структур (частично упорядоченных, в качестве структурного или векторного пространства). В этом случае модель определяет значения для терминологии и понятия истины для предложений языка в условиях данной модели. Задавая модель, основной набор аксиом математических структур, используемый в наборе аксиом, используют как основу для определения понятий, представленных в терминах языка, и их логических взаимосвязей, в результате чего набор моделей создает формальные семантики онтологии.

[ИСО 18629-1:2004, статья 3.1.16]

3.1.17    онтология (ontology): Лексика специализированной терминологии, дополненная необходимой

спецификацией значений терминов.

Примечание 1 — Онтология — это структурированный набор относительных терминов, представленный с описанием значений терминов на формальном языке. Описание значения объясняет, как и почему термины соотносятся, и определяет условия сегментирования и структурирования набора терминов.

Примечание 2 — Основополагающим компонентом языка технологических спецификаций ИСО 18629 является онтология. Примитивные концепции в онтологии, соответствующей определению ИСО 18629, достаточны для описания основных производственных и инженерных процессов, а также бизнес-процессов.

Примечание 3 — Основное внимание онтолоти направлено не только на термины, но и на их значения. Произвольный набор терминов включен в онтологию, но эти термины могут применяться только в том случае, если их значения согласованы. Такие предполагаемые семантики терминов могут быть утверждены и использованы.

Примечание 4 — Любой термин, используемый без точного определения, может быть причиной неясности и путаницы. Сложность для онтологии заключается в том, что структура нуждается в создании терминов, имеющих точное значение. Для онтологии, соответствующей определению ИСО 18629, необходимо предоставить математически строгую характеристику информационного процесса, а также четкое выражение основных логических свойств этой информации на языке, указанном в ИСО 18629.

3

[ИСО 18629-1:2004, статья 3.1.17]

3.1.18    внешнее ядро (outer core): Набор теорий ядра, которые являются расширениями ядра PSL и настолько обобщены и распространены в своем применении, что каждая теория может быть представлена отдельно.

Примечание — На практике расширения включают в себя аксиомы внешнего ядра.

[ИСО 18629-1:2004, статья 3.1.18]

3.1.19    примитивная концепция (primitive concept): Лексический термин, не имеющий консервативного определения.

[ИСО 18629-1:2004, статья 3.1.19]

3.1.20    примитивная лексика (primitive lexicon): Набор символов в нелогическом словаре, обозначающих элементарные понятия.

Примечание — Примитивная лексика включает в себя постоянные, функциональные и реляционные символы.

[ИСО 18629-1:2004, статья 3.1.20]

3.1.21    процесс (process): Структурированный ряд видов деятельности, включающий в себя различные сущности предприятия, предназначенный и организованный для достижения конкретной цели.

Примечание — Данное определение аналогично определению, приведенному в ИСО 10303-49. Тем не менее ИСО 15531 нуждается в понятии структурированного набора деятельностей без какого-либо предопределенного отношения ко времени или этапам. С точки зрения управления потоком некоторые свободные процессы могут требовать синхронизации в отношении цели, хотя в действительности они ничего не выполняют (задачи-призраки).

[ИСО 15531-1:2004, статья 3.6.29]

3.1.22    продукт (product): Изделие, материал или вещество, изготовленное в процессе производства.

[ИСО 18629-1:2004, статья 3.1.23]

3.1.23    теория доказательств (proof theory): Совокупность теорий и лексических элементов, необходимых для интерпретации семантики языка.

Примечание — Теория доказательств состоит из трех компонентов: ядра PSL, внешнего ядра и расширений.

[ИСО 18629-1:2004, статья 3.1.25]

3.1.24    ядро PSL (PSL-core): Набор аксиом для понятий деятельности, события деятельности, момента времени и объекта.

Примечание — Мотивацией для ядра PSL является наличие любых двух приложений, имеющих отношение к процессу, которые должны совместно использовать упомянутые аксиомы с целью обмена информацией о процессе. Поэтому ядро PSL является адекватным для описания основных концепций производственных процессов. Следовательно, эта характеристика основных процессов имеет несколько допущений в отношении их характеристик, за исключением тех, которые необходимы для описания процессов. Поэтому ядро PSL ограничено с точки зрения выражения логической возможности. При этом ядро PSL обеспечивает определение многих вспомогательных понятий, которые необходимы для описания всех интуитивных понятий в производственном процессе.

[ИСО 18629-1:2004, статья 3.1.26]

3.1.25    псевдоструктура (semilattice): Частичное упорядочение, в котором для каждых двух элементов существует единственная наименьшая верхняя граница.

3.1.26    теория (theory): Набор аксиом и определений, относящийся к данному понятию или набору понятий.

Примечание — Данное определение отражает подход искусственного интеллекта, где теория — это набор предположений, на которых основано значение соответствующего понятия.

[ИСО 18629-1:2004, статья 3.1.31 ]

3.1.27    область обсуждения (universe of discourse): Совокупность конкретных или абстрактных вещей, относящихся к области реального мира, выбранных в соответствии с интересом, который они представляют для системы, подлежащей моделированию, и ее окружения.

[ИСО 15531-1:2004, статья 3.6.50]

4

ГОСТ Р ИС018629-12—2010

3.2 Сокращения

FOL —логика первого порядка (First-Order Logic);

BNF —форма Бэкуса-Наура (Backus-Naurform);

KIF — формат обмена знаниями (Knowledge Interchange Format);

PSL —язык спецификаций процесса (Process Specification Language).

4    Общие положения комплекса стандартов ИСО 18629

Комплекс стандартов ИСО 18629 устанавливает требования к лексике, онтологии и грамматике языка, используемого для описания производственных процессов.

Примечание 1 — PSL — это язык, используемый для спецификации производственных процессов, основанный на математически точно определенных словаре и грамматике. Он отличается от языка, используемого для описаний схем и продукта в ИСО 10303, ИСО 13584 и ИСО 15926, а также от языка характеризации процессов, приведенного в ИСО 15531, но тесно с ним связан и дополняет его. При обмене информацией между двумя процессами язык PSL определяет каждый процесс независимо от его поведения (режима работы). Например, объект, рассматриваемый как ресурс для одного процесса, считают таким же объектом, даже если его рассматривают в качестве продукта второго процесса.

Примечание 2 — PSL основан на лотке первого порядка и использует другие методы спецификации семантики, используемые в ИСО 10303. Значения понятий, определяемых в рамках PSL, вытекают из набора аксиом и определений, представленных каждым расширением ядра PSL. Примечания и примеры, приведенные в стандартах, должны способствовать пониманию языка.

В частях с 11 по 19 комплекса стандартов ИСО 18629 приведены основные теории, необходимые для представления точных определений и аксиом элементарных концепций. Основные теории обеспечивают точные семантические переводы между разными схемами.

Части с 11 по 19 распространяются на:

-    представление основных элементов языка;

-    обеспечение стандартизованных наборов аксиом, соответствующих интуитивным элементарным семантическим концепциям описания основных процессов;

-    свод правил, необходимых для разработки других основных теорий или расширений в соответствии с ядром языка спецификации процесса.

Данные части комплекса стандартов ИСО 18629 не распространяются на:

-    представление информации, относящейся к концепциям, не являющимся частью основных теорий.

5    Общие положения настоящего стандарта

В настоящем разделе приведены фундаментальные теории, составляющие внешнее ядро.

5.1 Расширения, входящие во внешнее ядро

Внешнее ядро включает в себя следующие теории:

-    subactivity.th (теория ядра подчиненной деятельности);

-    occtree.th (теория ядра дерева случаев);

-    disc_state.th (теория ядра дискретных состояний);

-    atomic.th (теория ядра атомарной деятельности);

-    complex.th (теория ядра составной деятельности);

-    act_occ.th (теория ядра случаев деятельности).

Связи между теориями внешнего ядра изображены на рисунке 1. Стрелками обозначены зависимости между теориями. Все теории внешнего ядра являются расширениями ядра PSL. Теория ядра атомарной деятельности является расширением как теории подчиненной деятельности, так и теории дерева случаев, а теория ядра дискретных состояний является расширением только теории ядра дерева случаев. Теория ядра случаев деятельности — это расширение теории ядра составной деятельности, которая, в свою очередь, является расширением теории атомарной деятельности.

5

ГОСТ Р ИС0 18629-12—2010

Рисунок 1 — Зависимости между наборами аксиом внешнего ядра PSL

6 Теория ядра подчиненной деятельности

Подчиненная деятельность (subactivity) предоставляет аксиомы для понятий композиции процессов. Единственным ограничением данной теории ядра является то, что отношение подчиненной деятельности изоморфно дискретному частичному упорядочению. В других теориях ядра установлены дополнительные ограничения.

6.1    Примитивные отношения

Нелогическая лексика теории ядра подчиненной деятельности включает в себя следующий символ отношения:

-    subactivity (отношение подчиненной деятельности).

6.2    Установленные отношения

Нелогическая лексика теории ядра подчиненной деятельности включает в себя следующий символ установленного отношения:

-    primitive (примитивный элемент).

6.3    Связь с другими наборами аксиом

В теории ядра подчиненной деятельности используется теория pslcore.th, установленная вИСО 18629-11.

Лексика дефиниций для теории ядра подчиненной деятельности не требуется.

6.4    Неформальная семантика

6.4.1 Подчиненная деятельность

Обозначение KIF символа subactivity:

(subactivity ?al ?а2)

6