ГОСТР ИСО 18629-43—2011
[ИС0 15531-1]
3.1.20теория (theory): Набор аксиом и определений, относящийся к данному понятию или набору
понятий.
П р и м е ч а н и е — Данное определение отражает подход искусственного интеллекта, где теория — это
набор предположений, на которых основано значение соответствующего понятия.
[ИС018629-1]
3.2 Сокращения
- KIF — формат взаимного обмена знаниями (Knowledge Interchange Format).
4 Общая информация об ИСО 18629
Части с41 по49 комплекса международных стандартов ИС018629 определяют дефинициональные
расширения, необходимыедля формулировки точных определений и родственных аксиом непримитивных
понятий ИСО 18629. Дефинициональные расширения определены ИСО 18629-11 и ИСО 18629-12, гдевве
дены новые элементы лексики. Данныеэлементы дофинициональных расширений могут бытьполностью
определены в соответствии с ИС018629-11 иИС0 18629-12. Дофинициональные расширения дают точные
семантические определения элементов, используемых в спецификациях индивидуальных технических
приложений или типов технических приложений, при обеспечении совместных работ.Дефинициональные
расширения существуют в следующих категориях.
- расширениядействий:
- временные расширения и расширения, основанные на состоянии;
- упорядочивание действий и расширение продолжительности;
- назначения ресурса,
- наборы ресурсов;
- расширениядействий процессора.
Индивидуальным (групповым) пользователямИС018629может потребоваться расширение ИС018629
для спецификации понятий, отсутствующих в настоящее время в частях с 41 по 49 комплекса междуна
родных стандартов ИСО 18629. Для этих целей они должны использовать элементы, определенные в
ИС0 18629. Пользовательские расширения иихопределения устанавливают дефинициональные расшире
ния. которые недолжны быть включены в части с 41 по49 ИСО 18629.
П р и м е ч а н и е — Пользовательские расширения должны удовлетворять требованиям
ИСО 18629
и
соответствовать
ИСО 18629-1:2004
(подразделы
5.1
и
5.2).
Предметом рассмотрения частей с41 по49 комплекса стандартов ИС0 18629 являются:
-семантические определения (на основе понятий, установленных в ИСО 18629-11 и ИСО 18629-12),
элементы которых являются характернымидля шести понятий, определенных выше.
- набор аксиом, ограничивающихиспользование элементов в дефинициональиых расширениях.
Предметом рассмотрения частей с 41 по49 комплекса стандартов ИСО 18629 не являются:
-определения иаксиомы для понятий, определенных ИСО 18629-11 и ИСО 18629-12;
- элементы, не определенные в соответствии с ИС0 18629-11 и ИСО 18629-12;
- пользовательские расширения.
5 Структура настоящего стандарта
Фундаментальныетеории, описанныев настоящей части ИСО 18629
- сильныечастично упорядоченныедействия;
- ограничения продолжительности событий:
- продолжительность, основанная на состоянии;
-временная продолжительность;
- временная продолжительность ипродолжительность, основанная на состоянии;
- упорядочивание иограничения продолжительностисобытий:
-упорядочивание и ограничения продолжительностивстроенныхсобытий;
-входныеусловия нарушения выполнениядействий;
-запланированные встраивающие ограничения:
4