[2L5-GS-1] Fundamental AI, theory, algorithm:

[2L5-GS-1-05] Inconsistency-Tolerant Deontic Reasoning based on Graded STIT Modal Operator

〇Yotaro Nakayama¹, Yoshitaka Aoki¹, Seiki Akama² (1. BIPROGY Inc., 2. C-Republic Inc.)

Keywords:Deontic Logic, Paraconsistent Logic, Defeasible reasoning, Variable Precision Rough Set

The semantics of STIT (see to it that) modality has been studied as an application of modal logic of deontic actions. In this study, we propose the new semantic interpretation using variable precision rough sets and fuzzy measures to the agent's choice of actions in the logic of Dominance Act Utilitarianism (DAU) using STIT operator. By applying the degree of misclassification and fuzzy measures to deontic reasoning, it is possible to interpret uncertain reasoning, withdraw deontic rules that have caused a contradiction, and avoid a collapsion of logic. As an application, we consider the formulation of safety rules for autonomous vehicles, and show that inconsistency-tolerant reasoning is important in the selection of actions for autonomous systems.