提出四值规范中间表示，解决合规推理中的证据不全与矛盾问题。
A Four-Valued Normative Intermediate Representation for ASP-Oriented Compliance Reasoning
- 用四值结构分离事实支持与规范输出，提升推理清晰度。
- 固定证据下可多项式时间确定性求解，复杂度有严格上界。
- 适合需处理法律或标准合规的自动化系统开发者使用。
技术标准合规推理常面临证据不全、观测冲突、例外情况及推导出的规范输出等问题。本文提出 extsc{Monir}，一种面向 ASP（答案集编程）的四值规范中间表示，用于合规工作流。 extsc{Monir} 将事实支持与规范输出分离开：事实由正负支持位表示，而道义标签由规则生成，并通过聚合策略解释。其核心语义为支持配置上的分阶段转移系统。本文定义了语言、规则-状态接口、诊断机制与策略参数化报告；通过依赖图刻画可接受的分阶段求解；证明在固定证据下可实现确定性多项式时间求解；并给出完成型判决查询的 NP/coNP 上界，且对代表性查询存在匹配的难解性。
原文摘要 · Abstract (English)
Technical-standard compliance reasoning may involve incomplete evidence, inconsistent observations, exceptions, and derived normative outputs. This paper presents \textsc{Monir}, a four-valued normative intermediate representation for ASP-oriented compliance workflows. \textsc{Monir} separates factual support from normative outputs: facts are represented by positive and negative support bits, while deontic labels are rule-generated output constructors interpreted by aggregation policies. Its core semantics is a staged transition system over support configurations. We define the language, rule-state interface, diagnostics, and policy-parametric reporting; characterize admissible staged evaluation by a dependency graph; prove deterministic polynomial-time evaluation for fixed evidence; and give NP/coNP upper bounds, with matching hardness for representative completion-based verdict queries.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。