---
格式版本: 2
标题: "Policy-as-logic for robust reasoning over rules"
原文链接: "https://arxiv.org/abs/2608.11905"
发布日期: "2026-08-12"
发布时间校准状态: "found"
发布时间需复核: "否"
发布时间来源: "rule:local:strict_original_body"
发布时间证据: "**\\[v1\\]** Wed, 12 Aug 2026 10:30:25 UTC (30 KB)"
发布时间校准原因: "规则确认唯一严格发布时间，来源 local:strict_original_body"
发布时间校准置信度: "high"
发布时间候选数量: 18
发布时间严格候选数量: 6
发布时间原页读取状态: "source template page reused from URL open"
发布时间未找到原因: ""
发布时间校准时间: "2026-08-13T18:34:04+08:00"
发布时间仲裁状态: "skipped"
发布时间仲裁尝试次数: 0
发布时间仲裁耗时毫秒: 0
发现时间: "2026-08-13T18:24:32+08:00"
入库时间: "2026-08-13T10:34:04.932Z"
来源平台: "arXiv 学术论文搜索"
搜索渠道: "source_template"
搜索词: "https://arxiv.org/search/?query=AI&searchtype=all"
匹配关键词:
  - "AI"
相关厂家:
  []
相关专家:
  []
内容类型: "网页"
抓取工具: "Free Fetch + Defuddle"
清洗工具: "Defuddle Markdown + Defuddle/Readability 正文提取"
原始附件:
  []
AI质检状态: "评分失败"
AI评分尝试次数: 1
AI评分错误类型: "service_error"
AI评分错误: "LLM call failed; tried model chain: ali-deepseek-v4-flash -> tx-deepseek-v4-flash | Model ali-deepseek-v4-flash failed 500: {\"error\":{\"code\":\"\",\"message\":\"Database error, please contact the administrator (request id: 202608131034069161094138268d9d6FoqpsBbb)\",\"type\":\"new_api_error\"}} | Model tx-deepseek-v4-flash failed 500: {\"error\":{\"code\":\"\",\"message\":\"Database error, please contact the administrator (request id: 202608131034078626794388268d9d6LfB8kd2n)\",\"type\":\"new_api_error\"}}"
AI评分开始时间: "2026-08-13T10:34:04.946Z"
AI评分结束时间: "2026-08-13T10:34:07.985Z"
AI摘要: "本文提出 Policy-as-logic 混合符号方法，将政策规则表示为形式逻辑，在推理时用语言模型提取事实、答案集求解器完成推理，使生成式 AI 对税务、行李额等规则类查询的回答更可解释、可审计、准确且鲁棒。"
AI摘要模型: "ali-deepseek-v4-flash"
AI摘要时间: "2026-09-07T03:40:29.805Z"
采集批次: "2026年8月13日18点24分27秒"
采集批次ID: "20260813-182427-1564e572"
去重键: "https://arxiv.org/abs/2608.11905"
---

## Computer Science > Artificial Intelligence

## Title:Policy-as-logic for robust reasoning over rules

Authors:[Rahul Nair](https://arxiv.org/search/cs?searchtype=author&query=Nair,+R), [Bastian Lipka](https://arxiv.org/search/cs?searchtype=author&query=Lipka,+B), [Elizabeth Daly](https://arxiv.org/search/cs?searchtype=author&query=Daly,+E)

[View PDF](https://arxiv.org/pdf/2608.11905) [HTML (experimental)](https://arxiv.org/html/2608.11905v1)

> Abstract:In many practical applications of generative AI systems, from tax rules to airline baggage allowance, responses to natural language queries must respect written policies or rules. We present a hybrid symbolic approach that expresses policies in formal logic and at inference time exploits the representation power of language models for fact extraction to ground predicates, and an answer set solver for reasoning such that responses are interpretable, auditable, and as we show, accurate and robust under input perturbations. Specifically, we show this separation of extraction and reasoning steps outperforms policy-as-prompt and policy-as-code methods in most cases with ~10x reduction in token usage. The results point to the value of structured reasoning and symbolic solvers in conjunction with generative models to make robust decisions involving objective criteria.

| Comments: |  |
| --- | --- |
| Subjects: | Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Symbolic Computation (cs.SC) |
| Cite as: | [arXiv:2608.11905](https://arxiv.org/abs/2608.11905) \[cs.AI\] |
|  | (or [arXiv:2608.11905v1](https://arxiv.org/abs/2608.11905v1) \[cs.AI\] for this version) |
|  | [https://doi.org/10.48550/arXiv.2608.11905](https://doi.org/10.48550/arXiv.2608.11905) |

## Submission history

From: Rahul Nair \[[view email](https://arxiv.org/show-email/5defbc1f/2608.11905)\]  
**\[v1\]** Wed, 12 Aug 2026 10:30:25 UTC (30 KB)

[Which authors of this paper are endorsers?](https://arxiv.org/auth/show-endorsers/2608.11905) | Disable MathJax ([What is MathJax?](https://info.arxiv.org/help/mathjax.html))