On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Logic Programming. 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.
@inproceedings{ijcai1993p117,
title = {On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming},
author = {Dung, Phan Minh},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {852--858},
year = {1993},
note = {Logic Programming},
url = {https://ijcai.org/proceedings/1993/117},
}
TY - CPAPER TI - On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming AU - Dung, Phan Minh T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 852 EP - 858 UR - https://ijcai.org/proceedings/1993/117 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
