<На страницу назад | На страницу вперед>
А.5.3 Отношения базовой теории ситуаций
В данном разделе вводятся отношения базовой теории ситуаций и описываются правомерные
типы аргументов посредством определения аксиом. Обратите внимание: как и в случае
основных категорий ядра языка детального описания, "правомерность"
в данном случае понимается семантически, а вводится аксиоматически. Для построения
синтаксически правильных предложений, включающих вводимые ниже термы
отношений, можно использовать вообще любые термы. Однако, такие предложения
могут быть истинными только в том случае, если выполнены аксиоматизированные
ограничения.
(define-relation supports (?x ?y ?z))
:=> (and (situation ?x) (infon ?y) (interval ?z)))
(define-relation denies (?x ?y)
:=> (and (situation ?x) (infon ?y) (interval ?z)))
(define-relation occurrence-of (?x ?y)
:=> (and (situation ?x) (UOB ?y)))
(define-relation activation-of (?x ?y)
:=> (and (COE ?x) (process ?y)))
(define-relation occurs-in (?x ?y)
:=> (and (situation ?x) (COE ?y)))
(define-relation activity-in (?x ?y)
:=> (and (UOB ?x) (process ?y)))
(define-relation of-type (?x ?y)
:=> (and (situation ?x) (UOB ?y)))
(define-relation object-in (?x ?y)
:=> (and (individual ?x) (or (situation ?y) (UOB ?y)))