Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic

JORGE FANDINNO; LUIS FARINAS DEL CERRO

首页> 外文期刊>Theory and practice of logic programming >Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic

【24h】

Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic

机译：Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相关主题

摘要

In this work, we show that both logic programming and abstract argumentation frameworks canbe 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 latterforces both unknown and contradictory evidence to be regarded as false. Using these principles,both logic programming and abstract argumentation frameworks are translated into constructivelogic in a modular way and using the object language. Logic programming implicationand abstract argumentation supports become, in the translation, a new implication connectivefollowing the noncontradictory inference principle. Attacks are then represented by combiningthis new implication with strong negation. Under consideration in Theory and Practice of LogicProgramming (TPLP).

著录项

来源
《Theory and practice of logic programming》 |2023年第2期|1-24|共24页
作者
JORGE FANDINNO; LUIS FARINAS DEL CERRO;
展开▼
作者单位

University of Nebraska Omaha, Omaha, NE, USA;

IRIT, Universite de Toulouse, CNRS, Toulouse, France;

展开▼
收录信息
原文格式 PDF
正文语种英语
中图分类
关键词
logic programming; abstract argumentation; equilibrium logic; constructive logic;

Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic

摘要

著录项

相关主题

期刊订阅