ГОСТ Р И С 018629-11 — 2010
6.2.2 Индивиды ядра PSL
6.2.2.1 Отрицательная бесконечность (inf-)
Неформальное описание:
Отрицательная бесконечность (= ?t inf-) является истинной (TRUE) в интерпретации пара PSL только в
том случае, если ?tявляется однозначным моментом времени, который наступает раньше всех остальных
моментов в линейном упорядочении моментов времени впредметной области этой интерпретации.
П р и м е ч а н и е — Отрицательная бесконечность (inf-) необходима для определения объектов, которые
не были созданы в пределах предметной области этой интерпретации.
6.2.2.2 Положительная бесконечность (inf-*-)
Неформальное описаниедля (inf-*-):
Положительная бесконечность (= ?t inf+)является истинной (TRUE) в интерпретации ядра PSL только
в том случае, если ?t является однозначным моментом времени, который наступает после всех остальных
моментов в линейном упорядочении моментов времени в предметной области этой интерпретации.
П р и м е ч а н и е — Положительная бесконечность (inf-*-) необходима для определения объектов, которые
не были удалены в пределах предметной области этой интерпретации.
6.2.3 Элементарные отношения ядра PSL
6.2.3.1 Перед (before)
Нотация формата обмена знаниями:
(before ?t1 ?t2)
Неформальное описание:
Отношение (before ?П ?t2) является истинным (TRUE) в интерпретации ядра PSL только в том случае,
если ?П наступает раньше, чем ?t2 в линейном упорядочении моментов времени в этой интерпретации.
П р и м е ч а н и е — В ядре PSL множество моментов времени не является плотным (между любыми двумя
разными моментами времени имеется третий момент времени), несмотря на то что множество моментов време ни
является бесконечным. Свойство плотности может быть добавлено пользователем в качестве дополнитель ного
постулата (критерия). Интервалы времени не являются примитивами ядра PSL. Интервалы могут быть опре делены
в отношении моментов времени и действий.
Пример
—
Концепция интервалов, основанная на моментах времени, являет ся основополагающим
элементом ИСО 15531-42 (модель времени) и ИСО 10303-41 (описание и поддержка продукта).
6.2.3.2 Проявление (occurrence_of)
Нотация формата обмена знаниями:
(occurrence_of ?осс ?а)
Неформальное описание:
(Occurrence_of ?осс ?а) является истинным (TRUE) в интерпретации ядра PSL только в том случае,
если ?осс является частным проявлением действия ?а. (Occurrence_of) — это основное отношение между
деятельностью и проявлениями деятельности. Каждое проявление деятельности ассоциируется с одно
значным действием. Деятельность может не иметь проявлений или множественных вхождений.
6.2.3.3 Участвует в (partidpatesjn)
Нотация формата обмена знаниями:
(partidpatesjn ?х ?осс ?t)
Неформальное описание:
Отношение (partidpatesjn ?х ?осс ?t) является истинным (TRUE) в интерпретации ядра PSL только в
том случае, если ?х играет роль, которая предварительно незадана в событии проявления деятельности
?осс в момент времени ?t в этой интерпретации. Объект может участвовать в проявлении деятельности
только в те моменты времени, в которые объект существует, адеятельность происходит.
6.2.4 Элементарные функции ядра PSL
62.4.1 Начинать (beginof)
Нотация формата обмена знаниями:
(beginof ?х)
Неформальное описание:
Областью функции (beginof) является совокупность начала наступления деятельности и объектов.
Если?х— это начало наступления деятельности в предметной области интерпретации ядраРБЦ
то (beginof ?х) имеет значение х только в том случае, если t является моментом времени, в который
начинается деятельность ?х.
Пример
— (=
10 (beginofmilling_occurrence)) представляет собой действие фрезерования, начинаю
щееся в момент времени 10.
8