{"paper":{"title":"Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"Deontic modal logic operators are expressed directly in answer set programming using default negation, strong negation, and global constraints.","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Abhiramon Rajasekharan, Alexis R. Tudor, Elmer Salazar, Gopal Gupta, Joaqu\\'in Arias","submitted_at":"2025-07-07T22:31:54Z","abstract_excerpt":"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-failure) and strong negation present in answer set programming (ASP). We propose using global constraints of ASP to represent obligations, prohibitions, and permissions in deontic modal logic. We show that our proposed representation results in the various decades-old paradoxes of deontic modal logic being simply and elegantly resolved. Our method also serves as a means for modeling conditional obligations and conditional"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Our proposed representation results in the various decades-old paradoxes of deontic modal logic being simply and elegantly resolved.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the semantics of default negation and strong negation in answer set programming, combined with global constraints, can faithfully capture the intended meaning of deontic modal operators without losing key properties or introducing unintended behaviors.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Deontic modal logic is implemented in s(CASP) ASP by mapping modal operators to default and strong negation and obligations to global constraints, resolving paradoxes and supporting conditional deontic statements.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Deontic modal logic operators are expressed directly in answer set programming using default negation, strong negation, and global constraints.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"aa03fafce2acfb84487ba619a0512aad23c27979bc4db5cebdba0f8ef883673d"},"source":{"id":"2507.05519","kind":"arxiv","version":9},"verdict":{"id":"d5c3a0ef-db55-4441-a095-c24379572472","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-19T05:16:02.212992Z","strongest_claim":"Our proposed representation results in the various decades-old paradoxes of deontic modal logic being simply and elegantly resolved.","one_line_summary":"Deontic modal logic is implemented in s(CASP) ASP by mapping modal operators to default and strong negation and obligations to global constraints, resolving paradoxes and supporting conditional deontic statements.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the semantics of default negation and strong negation in answer set programming, combined with global constraints, can faithfully capture the intended meaning of deontic modal operators without losing key properties or introducing unintended behaviors.","pith_extraction_headline":"Deontic modal logic operators are expressed directly in answer set programming using default negation, strong negation, and global constraints."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.05519/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}