Modeling Deontic Modal Logic in ASP

Gopal Gupta, Abhiramon Rajasekharan, Alexis R. Tudor +2

We consider the problem of implementing deontic modal logic. We show how (deontic) modal operators can be elegantly and directly expressed using default negation (negation-as-failu…