A Logic of Objective and Subjective Oughts (full paper with proofs)
From MaRDI portal
Publication:6316165
DOI10.1007/978-3-030-19570-0_41arXiv1903.10577MaRDI QIDQ6316165
Aldo Iván Ramírez Abarca, Jan Broersen
Publication date: 25 March 2019
Abstract: The relation between agentive action, knowledge, and obligation is central to the understanding of responsibility --a main topic in Artificial Intelligence. Based on the view that an appropriate formalization of said relation would contribute to the development of ethical AI, we point out the main characteristics of a logic for objective and subjective oughts that was recently introduced in the literature. This logic extends the traditional stit paradigm with deontic and epistemic operators, and provides a semantics that deals with Horty's puzzles for knowledge and obligation. We provide an axiomatization for this logic, and address its soundness and completeness with respect to a class of relevant models.
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
This page was built for publication: A Logic of Objective and Subjective Oughts (full paper with proofs)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6316165)
