• Corpus ID: 238582816

Towards AI Logic for Social Reasoning

@article{Dong2021TowardsAL,
  title={Towards AI Logic for Social Reasoning},
  author={Huimin Dong and R{\'e}ka Markovich and Leendert van der Torre},
  journal={ArXiv},
  year={2021},
  volume={abs/2110.04452}
}
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… 
[PDF] Semantic Reader

Figures and Tables from this paper

References

SHOWING 1-10 OF 79 REFERENCES
Reasoning about knowledge
TLDR
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
TLDR
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.
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games
The Current State of Normative Agent-Based Systems
TLDR
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.
Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation
  • C. Liau
  • Computer Science
    Artif. Intell.
  • 2003
How to decide what to do?
Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support
TLDR
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
TLDR
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
TLDR
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
TLDR
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.
...
...