ГОСТ Р ИСО 18629-42—2011
5 Структура настоящего стандарта
5.1 Введение
Данный раздел характеризуетфундаментальные теории, описанные в настоящем стандарте.
5.2 Расширения, определенные в настоящем стандарте
Фундаментальные теории, описанные в настоящем стандарте:
- основанные на состоянии входные условия выполнения действий;
- временные входные условия выполнениядействий;
- временные и основанные на состоянии входные условия;
- событийные входные условия выполнения действий;
- предотвращаемые условия выполнения действий:
- периодические входные условия выполнения действий;
- входные условия нарушения выполнения действий;
-эффекты действий;
-эффектыдействий: событийные ограничения;
-эффекты действий: временные и событийные ограничения;
-дерево флюента;
- распределение комплексныхдействий:
- основанное на состоянии распределение комплексныхдействий;
- временное распределение комплексных действий;
- смешанное распределение комплексныхдействий;
- вариация комплексныхдействий;
- основанная на состоянии вариация комплексных действий:
- временная вариация комплексных действий;
- смешанная вариация комплексных действий:
- встроенныедействия: планы;
- встроенные действия: временной разброс;
- вариация неделимых вверх действий;
- вариация неделимых вниз действий;
- входные условия совместных действий;
-эффекты совместных действий;
- вариация препятствующих входных условий:
- вариация эффектов затирания полезныхданных.
Все дефинициональные расширения, определенные в настоящем стандарте, являются расширения
ми ИС0 18629-12. которые, в свою очередь, являются расширениями ИСО 18629-11.
6 Основанные на состоянии входные условия выполнения действий
Данный раздел характеризует все определения, обусловленные основанными на состоянии входны
ми условиями выполнения действий. Критерий, используемый для классификации указанных действий:
зависит или нетдопустимое выполнение действий от состояния системы до выполнения указанных дей
ствий.
6.1 Примитивная лексика основанных на состоянии входных условий выполнения действий
Лексика основанных на состоянии входных условий выполнения действий не требует никаких прими
тивных соотношений.
6.2 Описываемая лексика понятий для основанных на состоянии входных условий
выполнения действий
В данном подразделе определены следующие соотношения:
- (state_e<juiv ?s1 ?s2);
- (markov_precond ?a);
- (partial_state ?a):
- (rigid_state ?a).
Каждое понятие определяется неформальной семантикой и аксиомой KIF.
5