Modeling (Deontic) Modal Operators With the s(CASP) Goal-directed Predicate Answer Set Programming System
2025-07-07Unverified0· sign in to hype
Gopal Gupta, Abhiramon Rajasekharan, Alexis R. Tudor, Elmer Salazar, Joaquín Arias
Unverified — Be the first to reproduce this paper.
ReproduceAbstract
We consider the problem of implementing deontic modal logic. We show how (deontic) modal operators can be expressed elegantly using default negation (negation-as-failure) and strong negation present in answer set programming (ASP). We propose using global constraints of ASP to represent obligations and impermissibilities of deontic modal logic. We show that our proposed representation results in the various paradoxes of deontic modal logic being elegantly resolved.