Toward justifying actions with logically and socially acceptable reasons

Authors:
Hiroyuki Kido;Katsumi Nitta
Affiliations:
Interdisciplinary Graduate School of Science and Engineering, Tokyo Institute of Technology, Japan;Interdisciplinary Graduate School of Science and Engineering, Tokyo Institute of Technology, Japan
Venue:
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Year:
2011

Citing 7
Cited 0

Rules of encounter: designing conventions for automated negotiation among computers

Rules of encounter: designing conventions for automated negotiation among computers
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
A study of accrual of arguments, with applications to evidential reasoning

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Justifying Actions by Accruing Arguments

Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Pareto optimality in abstract argumentation

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
An Introduction to MultiAgent Systems

An Introduction to MultiAgent Systems
Practical argumentation semantics for socially efficient defeasible consequence

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper formalizes argument-based reasoning for actions supported by believable reasons in terms of nonmonotonic consequences and desirable reasons in terms of Pareto optimality and maximizing social welfare functions. Our unified approach gives a four-layer practical argumentation framework structured with a propositional modal language with defaults and defeasible inference rules associated with practical reasoning. We show that the unified argument-based reasoning justifies an argument whose conclusion is supported by Pareto optimal, social welfare maximizing and nonmonotonic consequence reasons. Our formalization contributes to extend argument-based reasoning so that it can formally combine reasoning about logical believability and social desirability by benefiting from economic notions.