ГОСТ Р ИСО 18629-12—2010
3 Термины, определения и сокращения
3.1 Термины и определения
В настоящем стандарте примененыследующие термины ссоответствующими определениями.
3.1.1 аксиома (axiom): Точно сформулированноеаналитическое выражение на формальном языке,
устанавливающееограничения к интерпретациисимволов всловареязыка.
(ИС0 18629-1:2004, статья 3.1.1)
3.1.2 консервативное определение (conservativedefinition): Определение, устанавливающее необ
ходимые идостаточные условия для полного соответствия термина, а также не позволяющее выводить
новые умозаключения из теории.
(ИС0 18629-1:2004. статья 3.1.2)
3.1.3 теория ядра (core theory): Набор аксиом для реляционных и функциональныхсимволов, обоз
начающих примитивные понятия.
(ИС0 18629-1:2004, статья 3.1.3)
3.1.4данные (data): Представление информации оформальном виде, подходящем для ее передачи,
интерпретации или обработки людьми илина электронно-вычислительных машинах.
(ИС0 18629-1:2004, статья 3.1.4)
3.1.5 установленная лексика (defined lexicon): Набор символов в нелогической лексике, обозна
чающихустановленные понятия.
П р и м е ч а н и е — Установленные лексикой символы подразделяют на постоянные, функциональные и
относительные.
(ИС0 18629-1:2004. статья 3.1.51
3.1.6 дефинициальное расширение (definitional extension): Расширение ядра PSL. представляю
щее новыелингвистические понятия, которые могут быть определены с помощью терминов ядра PSL.
П р и м е ч а н и е — Дефинициальные расширения добавляют выразительную силу ядру PSL и используют
ся для подробного описания семантики и терминологии в области применения.
(ИС0 18629-1:2004. статья3.1.6)
3.1.7 расширение (extension): Расширение ядра PSL. содержащеедополнительныеаксиомы.
П р и м е ч а н и е
1—
Ядро PSL представляет собой относительно простой набор аксиом, достаточный для
представления широкого крута основных процессов. Однако для представления более сложных процессов требу
ются дополнительные ресурсы, отсутствующие 8 ядре PSL. Ядро PSL с каждым понятием следует использовать
для описаний того или иного процесса, а для описания разнообразных модульных расширений следует исполь
зовать расширение и дополнения ядра PSL. В этом случае пользователь может использовать такой язык, кото рый
соответствует требованиям к выразительности.
П р и м е ч а н и е 2 — Все расширения являются теориями ядра или дефинициапъными расширениями.
[И С 0 18629-1:2004, статья 3.1.9)
3.1.8 грамматика (grammar): Правила совместного использования логическихсимволов исловарных
терминовдля составления точно сформулированных аналитических выражений.
[ИСО 18629-1:2004, статья 3.1.10)
3.1.9 идемпотент (idempotent): Элемент (а) множества, удовлетворяющий условию: а ОР а =а. где
ОР — внутренняябинарная операция.
П р и м е ч а н и е — Функция является идемпотентной, если каждый элемент в области ее определения
является идемпотентом по отношению к данной функции.
Пример
—
Теоретико-множественное пересечение и объединение являю т ся идемпотентами, так
как SS = S и S
j
S = S.
3.1.10 информация (information): Факты, концепции или инструкции.
(ИС0 18629-1:2004, статья 3.1.11)
3.1.11 интерпретация (interpretation): Ракурс рассмотрения всехпредложений теории и присвоения
этим предложениям значений истинности (TRUE или FALSE).
П р и м е ч а н и е — Пример интерпретации приведен в приложении С.
2