Author ORCID Identifier

Fandinno - https://orcid.org/0000-0002-3917-8717

Document Type

Article

Publication Date

5-3-2022

Publication Title

Theory and Practice of Logic Programming

Volume

23

Issue

2

First Page

444

Last Page

467

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 noncontradictory inference and strengthened closed world assumption: the first states that no belief can be held based on contradictory evidence while the latter 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 noncontradictory inference principle. Attacks are then represented by combining this new implication with strong negation. Under consideration in Theory and Practice of Logic Programming (TPLP).

Comments

This is an open access article that was published through the Open Access Publishing agreement between Cambridge University Press and the University of Nebraska.

This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited. Copyright © The Author(s), 2022. Published by Cambridge University Press DOI: https://doi.org/10.1017/S1471068422000114

Creative Commons License

Creative Commons Attribution 4.0 License
This work is licensed under a Creative Commons Attribution 4.0 License.

Download

Share

COinS