<На страницу назад | На страницу вперед>
A.5.2.1 Отношения первого порядка
В представленной здесь версии теории ситуаций инфоны создаются только из отношений
первого порядка и индивидов. Поэтому необходимо в явной форме определить понятие
отношения первого порядка и аксиоматизировать с использованием соответствующей
схемы.
(define-relation FO-relation (?rel)
:=> (relation ?rel))
Отношение первого порядка есть отношение, которое может
быть истинным только для n-кортежей индивидов)
(A first-order relation is a relation that can only be true of n-tuples
of individuals).
(forall (?rel : (FO-relation ?rel) (= (arity ?rel) n)))
(forall (var1 . . . varn : (?rel var1 . . . varn))
(and (individual var1) . . . (individual varn))))
Напомним, что изменение в расширении типичного отношения первого порядка со временем фиксируется посредством включения параметра для временных интервалов между его аргументами. Например, отношение "ходит пешком" (walks) представляет двухместное отношение, которое устанавливается между индивидом b и интервалом t только в том случае, если b ходит пешком в течение всего интервала t. Поскольку интервалы сами являются индивидами, используется приведенное выше определение.