ГОСТ Р ИСО 18629-12—2010
[ИСО18629-1:2004. статья 3.1.17]
3.1.18 внешнее ядро (outer core): Набор теорий ядра, которые являются расширениями ядра PSL и
настолько обобщены ираспространены в своем применении, что каждая теория может быть представлена
отдельно.
П р и м е ч а н и е — На практике расширения включают в себя аксиомы внешнего ядра.
[ИСО 18629-1:2004. статья 3.1.18]
3.1.19 примитивная концепция (primitive concept): Лексический термин, не имеющий консерватив
ногоопределения.
[ИСО 18629-1:2004. статья 3.1.19]
3.1.20 примитивная лексика (primitive lexicon): Набор символов в нелогическом словаре, обозна
чающихэлементарные понятия.
П р и м е ч а н и е — Примитивная лексика включает в себя постоянные, функциональные и реляционные
символы.
[ИС018629-1:2004. статья 3.1.20]
3.1.21 процесс (process). Структурированный ряд видов деятельности, включающий в себя раз
личные сущности предприятия, предназначенный и организованный для достижения конкретной цели.
П р и м е ч а н и е — Данное определение аналогично определению, приведенному в ИСО 10303-49. Тем не
менее ИСО 15531 нуждается в понятии структурированного набора деятельностей без какого-либо предопреде
ленного отношения ко времени или этапам. С точки зрения управления потоком некоторые свободные процессы
могут требовать синхронизации в отношении цели, хотя в действительности они ничего не выполняют (задачи-
призраки).
[ИСО 15531-1:2004. статья 3.6.29]
3.1.22 продукт (product): Изделие, материал или вещество, изготовленное в процессе производства.
[ИСО 18629-1:2004. статья 3.1.23]
3.1.23 теория доказательств (proof theory): Совокупностьтеорий илексическихэлементов, необхо
димых для интерпретациисемантики языка.
П р и м е ч а н и е — Теория доказательств состоит из трех компонентов: ядра PSL. внешнего ядра и
расширений.
[ИС018629-1:2004. статья 3.1.25]
3.1.24 ядро PSL (PSL-core): Набор аксиом для понятий деятельности, события деятельности, момен
та времени иобъекта.
П р и м е ч а н и е — Мотивацией для ядра PSL является наличие любых двух приложений, имеющих
отношение к процессу, которые должны совмесгно использовать упомянутые аксиомы с целью обмена инфор
мацией о процессе. Поэтому ядро PSL является адекватным для описания основных концепций производствен ных
процессов. Следовательно, эта характеристика основных процессов имеет несколько допущений в отноше нии их
характеристик, за исключением тех, которые необходимы для описания процессов. Поэтому ядро PSL ограничено
с точки зрения выражения логической возможности. При этом ядро PSL обеспечивает определение многих
вспомогательных понятий, которые необходимы для описания всех интуитивных понятий в производ ственном
процессе.
[ИС018629-1:2004. статья 3.1.26]
3.1.25 псевдоструктура (semilattice): Частичное упорядочение, в котором для каждыхдвух элемен
тов существует единственная наименьшая верхняя граница.
3.1.26 теория (theory): Набор аксиом и определений, относящийся к данному понятию или набору
понятий.
П р и м е ч а н и е — Данное определение отражает подход искусственного интеллекта, где теория — это
набор предположений, на которых основано значение соответствующего понятия.
[ИС018629-1:2004, статья 3.1.31]
3.1.27 область обсуждения (universe ofdiscourse). Совокупность конкретных или абстрактных ве
щей. относящихся к области реального мира, выбранных в соответствии с интересом, который они пред
ставляют для системы, подлежащей моделированию, иее окружения.
[ИСО 15531-1:2004. статья 3.6.50]
4