ГОСТ Р ИСО 18629-13-2011
Неформальнаясемантикадляопределяющегосимволафункции
time add такова:
(= (time_add ?t ?d) ?t2) в интерпретации теории продолжительности
операций принимает значение TRUE тогда и только тогда, когда ?t2 означает
временную точку, отстоящую на расстоянии ?d от временных точек ?t на
временной оси.
7.5.5 Примитивный символ функции add
KIF-формат обозначения примитивного символа функции add таков:
(add ?d1 ?d2)
Неформальная семантика для примитивного символа функции add
такова:
(= (add ?d1 ?d2) ?d3) в интерпретации теории продолжительности
операций принимает значение TRUE тогда и только тогда, когда ?d3 означает
временной интервал, чье значение является суммой значений временных
интервалов ?d1 и ?d2.
7.5.6 Примитивный символ функции mult
KIF-формат обозначения символа функции mult таков:
(mult ?х ?d)
Неформальная семантика для символа функции mult такова:
(= (mult ?х ?d) ?d2) в интерпретации теории продолжительности операций
принимает значение TRUE тогда и только тогда, когда ?d2 означает временной
интервал, чье значение является произведением значений временных
интервалов
?d и ?х, где ?х является элементом коммутативной группы.
7.5.7
Символ константы zero
Неформальная семантика для символа константы zero такова:
символ zero определяет константу для временного интервала, которая
является аддитивной единицей для функции add.
7.5.8 Символ константы one
Неформальная семантика для символа константы one такова:
17