ГОСТ Р ИСО 18629-1—2010
Приложение Е
(справочное)
Архитектура PSL
Онтология PSL основана на ядре PSL и частично упорядоченном наборе расширений. Все аксиомы являют
ся предложениями первого порядка и включены в KIF.
В PSL имеются два типа расширений: расширение теории ядра и дефинициальные расширения. Теории ядра
описывают и представляют аксиомы новых отношений и функций, которые являются примитивными. Вся терминоло
гия. представленная вдефинициальном расширении, имеет консервативныедефиниции, использующие терминоло
гию теорий ядра. Таким образом, дефинициальные расширения не добавляют новой выразительной силы ядру PSL.
Е.1 Ядро PSL
Задача ядра PSL (см. рисунок Е.1) — представить аксиомы для набора интуитивных семантических при
митивов, подходящих для описания фундаментальных понятий процесса производства. Данная характеристика
основных процессов дает некоторые предположения об их природе без указания того, что необходимо для описа
ния этих процессов. Следовательно, ядро ограничено в терминах логической выразительности. В частности, ядро
PSLне обладает достаточными возможностями для предоставления дефиниций многих вспомогательных понятий,
которые необходимы для описания всех интуиций о процессах производства.
Длядополнения понятия ядра PSLонтология включает есебя набор расширений, которые устанавливают новую
терминологию. Любое расширение ядра PSL обеспечивает дополнительную логическую выразительность для пред
ставления аксиом, относящихся кинтуитивным знаниям, включая понятия, которые неоднозначно описаны в ядре PSL.
Все расширения в ядре PSL представляют собой совместимые расширения. Однако не все расширения в PSLдолжны
быть взаимносовместимыми. Теорииядра также недолжны быть консервативными расширениями другихтеорий ядра.
Ядро PSL может использоваться для поддержки совместимости при наличии точного обмена понятиями, ко торые
будут общими для всех приложений, определяя также те понятия, с которыми приложения не согласованы и
поэтому не могут ими обмениваться. В комплексе стандартов ИСО 18629 все понятия сформированы как частич но
упорядоченный набор расширений, и приложения могут четко определять, какие расширения обеспечивают
семантику терминологии своего приложения.
Рисунок Е.1 — Теория внешнего ядра PSL
21