AI生成架构决策需追踪认知状态与时效性,避免过时判断导致系统失效。
AI-Assisted Engineering Should Track the Epistemic Status and Temporal Validity of Architectural Decisions
- 用认知层级分离猜想与验证结论,防止未经证实的想法被误信。
- 通过保守聚合机制防止弱证据夸大信心,20-25%决策在两个月内证据已过期。
- 适合关注AI工程可信性、系统长期稳定性的研发团队和架构师。
本文主张,人工智能辅助的软件工程必须具备显式机制来追踪架构决策的认知状态与时间有效性。大语言模型编码助手生成决策的速度远超团队验证能力,但目前缺乏广泛采用的框架来区分推测与已验证知识,防止因保守聚合导致信任膨胀,也无法检测证据过期。我们提出三项负责任的AI辅助工程要求:(1) 认知层级,将未验证假设与实证结论分离开;(2) 基于戈德尔t-范数的保守保证聚合,防止弱证据抬高信心;(3) 自动化证据衰减追踪,在失效前发现过时假设。我们形式化这些要求为第一性原理框架(FPF),以模糊逻辑为基础定义聚合语义,并提出五条任何有效聚合算子都必须满足的不变量。对两个内部项目的回溯审计表明,20-25%的架构决策在两个月内证据已过期,验证了时间问责的必要性。研究方向包括可学习聚合算子、联邦证据共享及基于SMT的断言验证。
原文摘要 · Abstract (English)
This position paper argues that AI-assisted software engineering requires explicit mechanisms for tracking the epistemic status and temporal validity of architectural decisions. LLM coding assistants generate decisions faster than teams can validate them, yet no widely-adopted framework distinguishes conjecture from verified knowledge, prevents trust inflation through conservative aggregation, or detects when evidence expires. We propose three requirements for responsible AI-assisted engineering: (1) epistemic layers that separate unverified hypotheses from empirically validated claims, (2) conservative assurance aggregation grounded in the Gödel t-norm that prevents weak evidence from inflating confidence, and (3) automated evidence decay tracking that surfaces stale assumptions before they cause failures. We formalize these requirements as the First Principles Framework (FPF), ground its aggregation semantics in fuzzy logic, and define a quintet of invariants that any valid aggregation operator must satisfy. Our retrospective audit applying FPF criteria to two internal projects found that 20-25% of architectural decisions had stale evidence within two months, validating the need for temporal accountability. We outline research directions including learnable aggregation operators, federated evidence sharing, and SMT-based claim validation.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。