Modeling (Deontic) Modal Operators With the s(CASP) Goal-directed Predicate Answer Set Programming System
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.
Code (0)
등록된 구현이 없습니다.
Tasks
NegationMethods 이 논문이 사용한 방법론
Similar Papers 제목 키워드 기반
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
We present a novel application of Goal-Directed Answer Set Programming that digitizes the model aircraft operator's compliance verification against the Academy of Model Aircrafts (AMA) safety code. The AMA safety code re…
A Note on Nesting in Dyadic Deontic Logic
The paper reports on some results concerning Aqvist's dyadic logic known as system G, which is one of the most influential logics for reasoning with dyadic obligations ("it ought to be the case that ... if it is the case…
On Quantified Modal Theorem Proving for Modeling Ethics
In the last decade, formal logics have been used to model a wide range of ethical theories and principles with the goal of using these models within autonomous systems. Logics for modeling ethical theories, and their aut…
Automated Theorem ProvingEthicsAgent-Specific Deontic Modality Detection in Legal Language
Legal documents are typically long and written in legalese, which makes it particularly difficult for laypeople to understand their rights and duties. While natural language understanding technologies can be valuable in …
DiversityNatural Language UnderstandingTransfer LearningDeontic Temporal Logic for Formal Verification of AI Ethics
Ensuring ethical behavior in Artificial Intelligence (AI) systems amidst their increasing ubiquity and influence is a major concern the world over. The use of formal methods in AI ethics is a possible crucial approach fo…
EthicsFairness