ГОСТ Р ИСО 18629-1—2010
Язык — это лексика (набор символов) и грамматика (описание того, как эти символы следует со
четать для построения точно оформленного выражения). Лексика состоит из логических символов (на
пример соединительных слов, переменных и квантификаторов) и нелогичесхих символов. В PSL нело
гическая часть лексики состоит из выражений (постоянных, функциональных символов и предикатов),
необходимых для описания процессов.
Основным языком, используемым PSL, является KIF.
П р и м е ч а н и е 3 — KIF — это формальный язык, основанный на логике первого порядка, разработанный
в целях обмена знаниями для различных компьютерных программ с непохожими описаниями. KIF обеспечивает
уровень точности, необходимый для однозначного определения понятий онтологии, необходимую характеристику
для обмена информацией о процессе производства при использовании онтологии PSL.
Спецификация моделей PSLобеспечивает точную математическую характеристику семантик тер
минологии PSL.
П р и м е ч а н и е 4 — Теоретическая модель семантики состоит из двух частей:
- первая часть устанавливает описание событий, свойств и соотношений, которые создают ситуациюдля мо
делирования. Модель обеспечивает описание значений всех основных выражений в выходном языке (транслято
ре). Это отражает тот факт, что люди создают сообщения в целях передачи информации о каких-либо сложивших ся
ситуациях. Несмотря на то. что значение предложения можно определить, не зная, о какой конкретной ситуации идет
речь (зная ее истинные условия), предложение не передает информацию до тех пор. пока оно не связано с
отдельными личностями и отношениями, происходящими между ними;
- вторая часть устанавливает правила выражений перевода в обьектном языке в отношении любого услов
ного домена. Другими словами, интерпретация обеспечивает описание истинных условий предложений в выход
ном языке (трансляторе). Истинные условия не зависят от частных моделей, но интерпретация конкретных пред
ложений может осуществляться только относительно той или иной модели.
П р и м е ч а н и е 5 — В соответствии с теорией истинности утверждение в каком-либо языке (будь то нату
ральный язык, на котором говорит человечество, или искусственный язык, изобретенный для специальных целей)
является истинным только тогда, когда оно соответствует конкретной сложившейся ситуации.
Теория доказательств PSL обеспечивает набор аксиом (предложения логики первого порядка)
для интерпретации понятий онтологии. Этот набор содержит два типа предложений: теорию ядра
и определения. Теория ядра — это набор предикатов, функциональных символов и индивидуальных
констант, представляющих примитивные понятия онтологии вместе с некоторым набором аксиом. Ин
терпретации примитивных понятий устанавливают путем использования аксиом в теориях ядра.
П р и м е ч а н и е 6 — Данный подход к примитивным понятиям обеспечивает методологию математиче
ской логики.
Термины онтологии, не входящие в лексику теорий ядра, приводят в теориях ядра в виде опре
делений путем использования набора примитивных понятий с аксиомами. Набор моделей для опреде
ленных понятий устанавливают с использованием моделей теорий ядра. Классы моделей, которые уже
были определены для теорий ядра, характеризуют семантику определений.
4.3 Требования к расширениям PSL
Целью комплекса стандартов ИСО 18629 является облегчение интероперабельности приложений
путем развития трансляторов между исходными форматами приложений и ИСО 18629. Для этого в каж
дом стандарте комплекса приведено одно или более расширений к ядру PSL. Для каждого расширения в
стандартах комплекса приведены.
- нелогическая лексика:
- спецификация моделей;
- набор аксиом;
- теоремы для проверки расширений;
- грамматика описаний процесса с использованием терминов нелогической лексики.
4.3.1 Нелогическая лексика
Нелогическая лексика включает в себя термины, соответствующие понятиям и взаимосвязям, от
носящимся к процессам производства.
Термины нелогической лексики являются постоянными, функциональными или символами
связи в KIF.
7