A Simple Doxastic Deontic Logic for Norm-Guided Decision Making
Quick summary
arXiv:2610.00668v1 Announce Type: new Abstract: Making decisions despite conflicting norms and incomplete or unreliable information is a fundamental challenge for autonomous systems. We introduce a simple doxastic deontic logic for this setting: a classically reducible fragment of Chellas' Minimal Deontic Logic, extended with explicit conditional norms and combined with multi-agent KD45, so that norms can depend on agents' beliefs about both facts and norms. On this logic we define the Doxastic Norm Compliance Optimization Problem, where an agent chooses a decision minimizing weighted norm vio
Key takeaways
- arXiv:2610.00668v1 Announce Type: new Abstract: Making decisions despite conflicting norms and incomplete or unreliable information is a fundamental challenge for autonomous systems.
- We introduce a simple doxastic deontic logic for this setting: a classically reducible fragment of Chellas' Minimal Deontic Logic, extended with explicit conditional norms and combined with multi-agent KD45, so that norms can depend on agents' beliefs about both facts and norms.
- On this logic we define the Doxastic Norm Compliance Optimization Problem, where an agent chooses a decision minimizing weighted norm vio
Why it matters
“A Simple Doxastic Deontic Logic for Norm-Guided Decision Making” illustrates how changes in the AI ecosystem can affect products, workflows and user expectations together. Its lasting significance depends on measurable adoption, cost and safety outcomes.
Member comments