Prism：一种最小的组合金属言用于指定代理行为
Prism: A Minimal Compositional Metalanguage for Specifying Agent Behavior
AI总结：
Prism通过组合性金属言为代理行为提供最小化规格，结合领域特定词汇与工具，实现可检查和可执行的策略定义。
摘要：
Prism是一种小型、组合性的金属言，用于指定使用工具的软件代理的行为。与其引入随意的控制结构不同，Prism围绕一个固定的内核上下文Core1构建，该内核提供了一个最小的背景语法，包括类别、数字、字符串、用户提示、工具以及抽象组合器，用于布尔、谓词、对和列表。代理策略是通过使用单一抽象运算符编写普通表达式，使得条件语句表现为在替代之间进行选择，而不是命令式的if-else块。领域通过定义自己的上下文迷你语法来扩展内核，引入新的类别、谓词和外部工具，同时重用相同的组合机制。我们通过 thermostat 控制、家庭安全、电子商务推荐和医疗监测等worked examples 来说明这一点，展示了如何将自然语言决策规则映射到可检查、可执行的策略。从语言学角度来看，Prism强制在可重用的语法内核和领域特定的词汇之间保持清晰的分离，并将工具视为连接内部策略表示和外部世界之间的桥梁。从工程角度来看，它提供了一个紧凑的代理控制接口语言，使可能的动作空间显式化，并适用于分析、验证和安全约束。
英文摘要：
Prism is a small, compositional metalanguage for specifying the behaviour of tool-using software agents. Rather than introducing ad hoc control constructs, Prism is built around a fixed core context, Core1, which provides a minimal background grammar of categories numbers, strings, user prompts, tools together with abstract combinators for booleans, predicates, pairs, and lists. Agent policies are written as ordinary expressions using a single abstraction operator so that conditionals appear as selections between alternatives instead of imperative if-else blocks. Domains extend the core by defining their own context-mini-grammars that introduce new categories, predicates, and external tools while reusing the same compositional machinery. We illustrate this with worked examples from thermostat control, home security, e-commerce recommendation, and medical monitoring, showing how natural language decision rules can be mapped to inspectable, executable policies. From a linguistic perspective, Prism enforces a clear separation between a reusable grammar-like core and domain specific lexicons and treats tools as bridges between internal policy representations and the external world. From an engineering perspective, it offers a compact interface language for agent control, making the space of possible actions explicit and amenable to analysis, verification, and safety constraints.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
