ГОСТ Р ИСО 18629-13-2011
- timeduration;
- lesser.
7.2 Примитивные функции и константы
В нелогической лексике теории продолжительности операций содержатся
три примитивных символа функций, а именно:
- duration (продолжительность);
- add (сложение);
- mult (умножение).
В нелогической лексике теории продолжительности операций содержатся
четыре символа констант, а именно:
-zero (нуль);
- one (единица);
- тах+;
- max-.
7.3Определяющиеотношениявтеориипродолжительности
операций
Нелогическая лексика теории продолжительности операций содержит
один определяющий символ отношения, а именно:
- time_add.
7.4 Связь сдругими группами аксиом
Требуемая базовая теория —это:
- psl core.th.
Никаких дефинициональных расширений в теории продолжительности
операций не требуется.
7.5 Неформальная семантика теории продолжительности операций
7.5.1 Примитивный символ отношения timeduration
KIF-формат обозначения примитивного символа отношения timeduration
таков:
(timeduration ?d)
15