y0news
AnalyticsDigestsSourcesTopicsRSSAICrypto

#deontic-logic News & Analysis

2 articles tagged with #deontic-logic. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles
AINeutralarXiv – CS AI · Jun 196/10
🧠

Deontic Policies for Runtime Governance of Agentic AI Systems

Researchers propose AgenticRei, a deontic policy framework for governing autonomous AI agents that goes beyond traditional access control by implementing obligations, dispensations, and conflict resolution. The system addresses critical gaps in existing policy engines like XACML and Cedar, enabling enterprises to enforce comprehensive governance constraints over LLM-driven agents that invoke tools, manipulate data, and coordinate across organizational boundaries.

AINeutralarXiv – CS AI · Mar 24/107
🧠

A Reduction of Input/Output Logics to SAT

Researchers have developed an automation approach for Input/Output (I/O) Logics, a type of deontic logic used for reasoning about norms and obligations, by reducing them to propositional satisfiability problems. A prototype implementation called 'rio' (reasoner for input/output logics) has been created to demonstrate these procedures with practical examples.