Browse ORBilu by Open Access
- What it is and what it isn't
- Green Road / Gold Road?
- Ready to Publish. Now What?
- How can I support the OA movement?
- Where can I learn more?
ORBilu is a project developed by
   Defeasible Deontic Logic: Arguing about Permission and Obligation; ; Markovich, Réka  et alin Journal of Applied Logics (2022), 9(4), 957-1018 Defeasible deontic logic uses techniques from non-monotonic logic to address various challenges in normative reasoning, such as prima facie permissions and obligations, moral dilemmas, deontic detachment ... [more ▼] Defeasible deontic logic uses techniques from non-monotonic logic to address various challenges in normative reasoning, such as prima facie permissions and obligations, moral dilemmas, deontic detachment, contrary-to-duty reasoning and legal interpretation. In this article, we use formal argumentation to design defeasible deontic logics, based on two classical deontic logics. In particular, we use the ASPIC+ structured argumentation theory to define non-monotonic variants of well-understood monotonic modal logics. We illustrate the ASPIC+-based approach and the resulting defeasible deontic logics using argumentation about strong permission. [less ▲] Towards AI Logic for Social Reasoning; Markovich, Réka ; van der Torre, Leon E-print/Working paper (2021) Artificial Intelligence (AI) logic formalizes the reasoning of intelligent agents. In this paper, we discuss how an argumentation-based AI logic could be used also to formalize important aspects of social ... [more ▼] Artificial Intelligence (AI) logic formalizes the reasoning of intelligent agents. In this paper, we discuss how an argumentation-based AI logic could be used also to formalize important aspects of social reasoning. Besides reasoning about the knowledge and actions of individual agents, social AI logic can reason also about social dependencies among agents using the rights, obligations and permissions of the agents. We discuss four aspects of social AI logic. First, we discuss how rights represent relations between the obligations and permissions of intelligent agents. Second, we discuss how to argue about the right-to-know, a central issue in the recent discussion of privacy and ethics. Third, we discuss how a wide variety of conflicts among intelligent agents can be identified and (sometimes) resolved by comparing formal arguments. Importantly, to cover a wide range of arguments occurring in daily life, also fallacious arguments can be represented and reasoned about. Fourth, we discuss how to argue about the freedom to act for intelligent agents. Examples from social, legal and ethical reasoning highlight the challenges in developing social AI logic. The discussion of the four challenges leads to a research program for argumentation-based social AI logic, contributing towards the future development of AI logic. [less ▲] Detailed reference viewed: 48 (2 UL) Preface of the special issue ‘Logic, argumentation and AI’ in JLC; Pang, Jun ; in Journal of Logic and Computation (2021), 31(8), 1901-1902 Detailed reference viewed: 38 (0 UL)Developing AI Logic for Social Reasoning; Markovich, Réka ; van der Torre, Leon in Journal of Zhejiang University (2020) Detailed reference viewed: 66 (2 UL)From Classical to Non-monotonic Deontic Logic Using ASPIC+; ; Markovich, Réka et alin Logic, Rationality, and Interaction - 7th International Workshop LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings (2019) In this paper we use formal argumentation to design non-monotonic deontic logics, based on two monotonic deontic logics. In particular, we use the structured argumentation theory ASPIC to define non ... [more ▼] In this paper we use formal argumentation to design non-monotonic deontic logics, based on two monotonic deontic logics. In particular, we use the structured argumentation theory ASPIC to define non-monotonic variants of well-understood modal logics. We illustrate the approach using argumentation about free-choice permission. [less ▲] Detailed reference viewed: 97 (1 UL) |
||
