В данной статье предлагается концептуальная модель для LLM-опосредованных рабочих процессов, которая рассматривает определения рабочих процессов, их экземпляры и снимки контекста как персистентные объекты знания в общей среде.
- Модель вдохновлена Lisp, но независима от языка, используя символические формы и тождественность объектов как объяснительные линзы, а не как имплементационные обязательства.
- Она устанавливает центральное семантическое различие между 'derive' (детерминированные вычисления над доступным состоянием) и 'infer' (опосредованное суждение LLM в рамках заявленного контекста и политики возможностей, контролируемой исполнителем).
- Рабочие процессы представлены как проверяемые, возобновляемые и просматриваемые объекты знания, которые производят и оставляют следы знания.
Авторы представляют это как предварительное концептуальное описание семантической персистентности, отмечая, что формальная семантика переходов остается задачей на будущее.