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