OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Constructive Logic Covers Argumentation and Logic Programming

Fandinno, Jorge and Fariñas del Cerro, Luis Constructive Logic Covers Argumentation and Logic Programming. (2018) In: 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 27 October 2018 - 2 November 2018 (Tempe, United States).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
296kB

Official URL: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18009

Abstract

In this work, we show that both logic programming and abstract argumentation frameworks can be interpreted in terms of Nelson’s constructive logic N4. We do so by formalising, in this logic, two principles that we call non-contradictory inference and strengthened closed world assumption: the first states that no belief can be held based on contradictory evidence while the later forces both unknown and contradictory evidence to be regarded as false. Using these principles, both logic programming and abstract argumentation frameworks are translated into constructive logic in a modular way and using the object language. Logic programming implication and abstract argumentation supports become, in the translation, a new implication connective following the non-contradictory inference principle. Attacks are then represented by combining this new implication with strong negation.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Funders:
Centre International de Mathématiques et d’Informatique de Toulouse (CIMI) - Contract ANR-11-LABEX-0040-CIMI within the program ANR-11-IDEX-0002-02
Statistics:download
Deposited By: IRIT IRIT
Deposited On:22 Feb 2019 13:49

Repository Staff Only: item control page