formal-definition

本文提供了一个形式化的数学框架，用于定义具备零样本能力的“任意任务推理”基础模型，通过通用任务归约将其分解为编码器、模型和解码器组件，并将误差分为设计误差和实际模型误差两类，辅以五个真实世界的示例加以说明。

This paper proposes a formal framework for agent memory, defining memory as a basis, knowledge as its span, and optimality as capacity-constrained expected coverage, while framing continual memory as a sequential MDP and demonstrating the framework on Homer's Odyssey.

本文提出了关于 Machine Theory of Mind 的正式定义与元模型，旨在为人工智能系统中推理他人心理状态提供结构化框架。