arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

Epi-Logic:自主AI智能体中认知运行时控制、模式有效性检查与受控容纳的概念框架

Epi-Logic: A Conceptual Framework for Epistemic Runtime Control, Schema Validity Checking, and Controlled Accommodation in Autonomous AI Agents

Boris Wetzk

arXiv 2609.24755首次发表:更新:

发表机构

Independent Researcher(独立研究者)

机构由 AI 辅助整理,请以论文原文为准。

AI 中文总结

本文提出Epi-Logic概念框架,通过检测模式失调、渐进降低自主性并切换到已验证模式,解决自主AI智能体在失效解释框架下运行的问题,实现认知运行时控制与可审计性。

AI 中文摘要

自主AI智能体越来越多地部署在错误决策难以逆转的领域。本文考察了模式不匹配(schema mismatch)问题:即智能体在一个不再适用于当前情境的解释框架内运行的条件。在这种不匹配下产生的输出可能看起来内部一致、语言上合理且大体上事实正确;因此,仅凭输出质量指标只能部分捕捉潜在的效度丧失。本文引入了Epi-Logic,一个用于认知运行时控制的概念框架。它将模式失调(schema dissonance)的检测、自主性的渐进降低以及向已验证模式的可审计切换相结合。一个模式被形式化定义为变量空间、期望模型、有效性条件、公理和元数据的元组。Epi-Score聚合了七个分级维度的认知失调;时间有效性维度D8、有效性条件G的违反以及公理违反作为独立的分类路径被携带,不与聚合值相抵消。该架构基于一种检查不对称性:形式化的有效性条件可以在运行时检查,而许多行动的正确性只能事后确定。本文区分了两个架构属性、一个来自顺序变点检测的条件性结果以及一个经验性余项。八个带有命名基线的可证伪命题描述了向经验验证的过渡。所有命题都是经验上可检验的假设,而非已确立的结果。

英文摘要

Autonomous AI agents are increasingly deployed in areas where wrong decisions are hard to reverse. This paper examines schema mismatch: the condition in which an agent operates within an interpretive frame that no longer applies to the current context. Outputs produced under such a mismatch can appear internally consistent, linguistically plausible, and largely factually correct; output-quality metrics alone therefore capture the underlying loss of validity only partially. The paper introduces Epi-Logic, a conceptual framework for epistemic runtime control. It couples the detection of schema dissonance, a graduated reduction of autonomy, and the auditable switch to a validated schema. A schema is formalised as a tuple of variable space, expectation model, validity conditions, axioms, and metadata. The Epi-Score aggregates seven graded dimensions of epistemic dissonance; the temporal validity dimension D8, violations of the validity conditions G, and axiom violations are carried as separate categorical paths that are not offset against the aggregate. The architecture rests on a checking asymmetry: formalised validity conditions can be checked at runtime, whereas the correctness of many actions is established only ex post. The paper separates two architectural properties, a conditional result from sequential changepoint detection, and an empirical remainder. Eight falsifiable propositions with named baselines describe the transition to empirical validation. All propositions are empirically testable hypotheses, not established results.

Comments26 pages, 1 figure, 1 table

论文原文

arXiv 摘要页 · PDF 原文 · HTML 原文

↑