Constructive Logic Covers Argumentation and Logic Programming - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Constructive Logic Covers Argumentation and Logic Programming

Résumé

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.
Fichier principal
Vignette du fichier
fandinno_22727.pdf (289.26 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03622665 , version 1 (29-03-2022)

Identifiants

  • HAL Id : hal-03622665 , version 1
  • OATAO : 22727

Citer

Jorge Fandinno, Luis Fariñas del Cerro. Constructive Logic Covers Argumentation and Logic Programming. 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Oct 2018, Tempe, United States. pp.128-137. ⟨hal-03622665⟩
3 Consultations
2 Téléchargements

Partager

Gmail Facebook X LinkedIn More