ГОСТ Р ИСО 18629-11— 2010
Если ?х — это объект в предметной области интерпретации ядра PSL, то (beginof ?х) имеет значение
х только в том случае, если t является моментом времени, в который объект ?х может принять участие в
деятельности.
Пример
—
(= 15 (beginof screw)) представляет собой случай, когда буравчик объекта может при
нять участие в дейст вии в момент времени 15.
6.2.4.2 Заканчивать (endof)
Нотация формата обмена знаниями:
(endof?x)
Неформальное описание:
Областью функции endofявляется совокупность начала наступления деятельности и объектов.
Если ?х— это начало наступления деятельности в предметной области интерпретации ядра PSL. то
(endof?х) имеет значение х только втом случае, если t является моментом времени, в который заканчива
ется деятельность ?х.
Пример
—
(= 25 (endof milling_occurrence)) представляет собой случай, когда действие фрезерова
ния заканчивается в момент времени 25.
Если ?х является объектом в предметной области интерпретации ядра PSL, то (endof ?х) имеет
значение х только в том случае, если t является моментом времени, в который объект ?х больше не может
принимать участие вдействии.
Пример
— (=
30 (endof screw)) представляет собой случай, когда буравчик объекта не может прини
мать участие
в
действии в момент времени 30.
6.2.5 Теории, требуемые ядром PSL
Для элементарной лексики не требуется применения других теорий.
6.3Определенная лексика ядра PSL
6.3.1 Формальные определения ядра PSL
П р и м е ч а н и е — Термины ’defrelatkm’. ’exists’, ‘forall*. and-, ’or’, ’not’.’«=>’ и ’implies’ определены в
Руководстве формата обмена знаниями [8].
6.3.1.1 Между (between)
Определение 1: момент времени (Timepoint t2) наступает между моментами времени П и t3 только в
том случае, если П наступает перед t2, a t2 — перед t3.
(forall (?t1 ?t2 ?t3) (iff (between ?t1 ?t2 ?t3)
(and (before ?t1 ?t2) (before ?t2 ?t3)))))
6.3.1.2 Перед или равен (beforeEq)
Определение 2: момент времени (Timepoint t1) наступает перед или одновременно с t2 только в том
случае, если И наступает перед или одновременно с t2.
(forall <?t1 ?t2) (iff (beforeEq ?t1 ?t2)
(and (timepoint ?t1) (timepoint ?t2)
(or (before ?t1 ?t2) (= ?t1 ?t2))))))
6.3.1.3 Между или равен (betweenEq)
Определение 3: момент времени (Timepoint t2) наступает между или одновременно с моментами
времени t1 и t3 только в том случае, если И наступает перед или одновременно с t2. a t2 — перед или
равен t3.
(forall (?t1 ?t2 ?t3) (iff (betweenEq ?t1 ?t2 ?t3)
(and (beforeEq ?t1 ?t2)
(beforeEq ?t2?t3)))))
6.3.1.4 Существует в момент времени (exists_at)
Определение 4: объект существует в момент времени П только в том случае, если П расположен
между или одновременно с моментами его начала и окончания.
(forall (?х ?t) (iff (exists_at ?х ?t)
(and (object ?x)
(betweenEq (beginof?x) ?t (endof?x))))))
6.3.1.5 Происходит в момент времени (is_occurring_at)
Определение 5: действие происходит в момент времени И только в том случае, если И наступает в
моменты начала и окончания этого действия.
9