Policy-as-logic for robust reasoning over rules
Ranking
Overall
77
Content
95
Popularity
34
Observed public metrics from 1 member.
Merged summary
TL;DR - A hybrid system converts written policies into formal logic, uses language models to extract facts, and delegates rule-based decisions to an answer set solver. This separation improves interpretability, robustness, and efficiency for policy-grounded question answering.
- Outperforms policy-as-prompt and policy-as-code approaches in most evaluated cases.
- Reduces token usage by approximately 10Ă—.
- Produces auditable answers by separating predicate grounding from symbolic reasoning.
- Remains robust under input perturbations when applying objective policy criteria.
Sources (1)
Policy-as-logic for robust reasoning over rules
Public signals
Semantic Scholar citations 0 · Semantic Scholar influential citations 0
TL;DR - A hybrid system converts written policies into formal logic, uses language models to extract facts, and delegates rule-based decisions to an answer set solver. This separation improves interpretability, robustness, and efficiency for policy-grounded question answering.
- Outperforms policy-as-prompt and policy-as-code approaches in most evaluated cases.
- Reduces token usage by approximately 10Ă—.
- Produces auditable answers by separating predicate grounding from symbolic reasoning.
- Remains robust under input perturbations when applying objective policy criteria.