• Corpus ID: 238582816

Towards AI Logic for Social Reasoning

  title={Towards AI Logic for Social Reasoning},
  author={Huimin Dong and R{\'e}ka Markovich and Leendert van der Torre},
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… 

Figures and Tables from this paper


Reasoning about knowledge
Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.
Desires and Defaults: A Framework for Planning with Inferred Goals
A formalism designed to integrate reasoning about desires with planning, using the approach to nonmonotonic logic known as Default Logic, which is capable of modeling a wide range of common-sense practical arguments and can serve as a more general and flexible model for agent architectures.
The Current State of Normative Agent-Based Systems
The intent of this paper is to introduce new researchers to the ideas that underlie normative computing and survey the existing state of the art, as well as provide direction for future research in normative multiagent computing.
Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support
Off-the-shelf theorem provers and model finders for higher-order logic are assisting the LogiKEy designer of ethical intelligent agents to flexibly experiment with underlying logics and their combinations, with ethico-legal domain theories, and with concrete examples--all at the same time.
Dynamic epistemic logic
A semantics and a deduction system for a multi-agent modal language extended with a repertoire of programs that describe information change, designed in such a way that everything that is expressible in the object language can be known or learned by each of the agents.
The Logic of Knowledge Based Obligation
It is pointed out that an agent’s obligations are often dependent on what the agent knows, and indeed one cannot reasonably be expected to respond to a problem if one is not aware of its existence, and a case for combining Deontic Logic with the Logic of Knowledge is clear.
Understanding Hohfeld and Formalizing Legal Rights: The Hohfeldian Conceptions and Their Conditional Consequences
A formal analysis of how the working of a system containing Hohfeldian rights and duties can be delineated and aims at providing a comprehensive analysis of what these Rights and duties actually are and how they behave and at saying something substantial on Power.