Deontic Temporal Logic for Formal Verification of AI Ethics
arXiv:2501.05765v4 Announce Type: replace
Abstract: 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 possibl…