maxsat

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.

This paper proposes a neuro-symbolic approach that integrates a MaxSAT oracle as a consistency validator to guide Vision-Language Models (VLMs) in solving Sudoku puzzles, improving logical consistency and the number of solved instances.