Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
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…
cs.AI2025
Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
Alexis R. Tudor, Yankai Zeng, Huaduo Wang +2
Current advances in AI and its applicability have highlighted the need to ensure its trustworthiness for legal, ethical, and even commercial reasons. Sub-symbolic machine learning…