---
title: "On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming"
authors:
  - "Phan Minh Dung"
doi: ""
url: "https://ijcai.org/proceedings/1993/117"
pdf: "https://ijcai.org/proceedings/1993/0117.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "852-858"
track: "Logic Programming"
keywords:
---

# On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming

Phan Minh Dung

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 852-858.

## Abstract

The purpose of this paper is to study the fundamental mechanism humans use in argumentation and its role in different major approaches to commonsense reasoning in AI and logic programming. We present three novel results: We develop a theory for argumentation in which the acceptability of arguments is precisely defined. We show that logic programming and nonmonotonic reasoning in AI are different forms of argumentation . We show that argumentation can be viewed as a special form of logic programming with negation as failure. This result introduces a general method for generating metainterpreters for argumentation systems.