Towards AI Logic for Social Reasoning

10/09/2021
by   Huimin Dong, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/26/2022

AI agents for facilitating social interactions and wellbeing

Wellbeing AI has been becoming a new trend in individuals' mental health...
research
04/13/2013

Justificatory and Explanatory Argumentation for Committing Agents

In the interaction between agents we can have an explicative discourse, ...
research
02/01/2020

Machine Ethics: The Creation of a Virtuous Machine

Artificial intelligent (AI) was initially developed as an implicit moral...
research
08/22/2019

Report on the First Knowledge Graph Reasoning Challenge 2018 -- Toward the eXplainable AI System

A new challenge for knowledge graph reasoning started in 2018. Deep lear...
research
09/11/2018

Resource-driven Substructural Defeasible Logic

Linear Logic and Defeasible Logic have been adopted to formalise differe...
research
03/13/2020

Explaining the Punishment Gap of AI and Robots

The European Parliament's proposal to create a new legal status for arti...
research
10/05/2022

From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems

The Agents, Interaction and Complexity research group at the University ...

Please sign up or login with your details

Forgot password? Click here to reset