Tag
The paper introduces a simple doxastic deontic logic combining Chellas' Minimal Deontic Logic with multi-agent KD45 to handle norm-guided decision making under conflicting norms and unreliable beliefs, defining the Doxastic Norm Compliance Optimization Problem and showing when it reduces to weighted partial MaxSAT in polynomial time.
The paper implements computational law in Wolfram Language to govern AI systems, evaluates GPT-4's ability to translate legal norms into this formalism, and demonstrates a case study with an AI guard dog operating under computational contracts.