ГОСТ Р ИСО 18629-1—2010
Каждое расширение определяет уникальную нелогическую лексику, а каждый термин относится
к нелогической лексике уникального расширения.
4.3.2 Спецификация моделей
Спецификация моделей, установленная в комплексе стандартов ИСО 18629, обеспечивает чет
кую абстрактную математическую характеристику семантики терминологии ИСО 18629. Эта характе
ристика определяет значения терминов в отношении некоторых математических структур совместно
с понятием истинности для структур предложений языка.
4.3.3 Аксиомы расширений
Аксиомы — это набор предложений KIF. ограничивающих интерпретацию терминов в нелогиче
ской лексике ИСО 18629.
Аксиомы по ИСО 18629 систематизированы в ядре PSL и в частично упорядоченном наборе рас
ширений к ядру PSL. В расширениях по ИСО 18629 должна быть предусмотрена логическая вырази
тельность для передачи используемых информационных понятий, подробно не описанных в ядре PSL.
Все расширения должны быть совместимыми с расширениями ядра PSL и могут быть совмести мыми
с расширениями других расширений, указанных в комплексе стандартов ИСО 18629. Однако
не все из них должны быть совместимыми.
Пример — Допускается расширение, выраженное аксиомами дискретной временной шкапы, а так
же расширение, выраженное аксиомами сжатой временной шкалы. Несмотря на то что они являются
взаимно несовместимыми, каждое из них совместимо с ядром PSL.
4.3.4 Грамматика описаний процесса
Основной грамматикой, используемой в комплексе стандартов ИСО 18629. является грамматика KIF.
П р и м е ч а н и е — K1F является формальным языком, основанным на логике первого порядка, разрабо
танной для обмена знаниями между разными компьютерными программами с несопоставимыми описаниями. KIF
обеспечивает уровень точности, необходимый для однозначного определения понятий в онтологии.
Описание процесса представляют в виде предложений в формате KIF, который использует нело
гическую лексику согласно комплексу стандартов ИСО 18629. В частности, описание процесса должно
быть ограничено предложениями, построенными в виде элементов в модели аксиом по ИСО 18629.
Описание процесса не является условными предложениями.
Пример — Описание процесса для детерминистической деятельности не содержит альтерна
тивных предложений из-за случайных явлений вспомогательной деятельности.
Каждое расширение должно иметь ассоциативную грамматику BNF для описания процесса, рас
ширяющую грамматику BNF, относящуюся к ядру PSL.
4.3.5 Формат расширений
Расширения, соответствующие требованиям комплекса стандартов ИСО 18629. должны содер
жать в заголовке следующие данные:
- имя расширения: имена теории ядра должны иметь суффикс .th, а имена дефинициального рас
ширения — суффикс .def;
- примитивную лексику;
- установленную лексику:
- теории ядра, необходимые для расширения: перечень теорий ядра PSL, каждая из которых яв
ляется расширением ядра PSL. представляющим собой набор аксиом и объединяющим все теории в
этом перечне с аксиомами в данном расширении;
- дефинициальное расширение, необходимое для расширения: перечень дефинициальиых рас
ширений. каждое из которых представляет собой расширение ядра PSL.
Содержание любого расширения, соответствующего требованиям комплекса стандартов ИСО
18629. представляет собой набор предложений KIF. По теории ядра существует набор условных KIF
предложений для примитивной лексики набора аксиом. Для дефинициальиых расширений и терми
нов в установленной лексике теории ядра каждый термин должен иметь консервативное определение,
а каждое предложение KIF — соответствующий текст на английском языке, который резюмирует ключе
вое интуитивное содержание предложения.
4.4 Структура комплекса стандартов ИСО 18629
Комплекс стандартов ИСО 18629 включает в себя следующие части:
а) Часть 1. Обзор и основные принципы.
В рамках теории ядра и дефинициальиых расширений ИСО 18629 существуетдва типа расширений.
б) Части 11—15 серии 1х распространяются на теорию ядра:
8