• 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.

Epistemic Oughts in Stit Semantics

  • J. Horty
  • Philosophy
    Ergo, an Open Access Journal of Philosophy
  • 2019
This paper explores ways in which agentive, deontic, and epistemic concepts combine to yield ought statements, or "oughts," of different characters. I am especially interested in agentive ought

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.