亲爱的研友该休息了!由于当前在线用户较少,发布求助请尽量完整的填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!身体可是革命的本钱,早点休息,好梦!

Computing argumentation in logic programming

逻辑程序设计 非单调逻辑 计算机科学 论证理论 证明理论 自认知逻辑 稳定模型语义 程序设计语言 理论计算机科学 论证框架 否定为失败 语义学(计算机科学) 有根据的语义学 数学证明 数学 操作语义 多模态逻辑 描述逻辑 指称语义学 认识论 哲学 几何学
作者
K. Kakas
出处
期刊:Journal of Logic and Computation [Oxford University Press]
卷期号:9 (4): 515-562 被引量:101
标识
DOI:10.1093/logcom/9.4.515
摘要

In recent years, argumentation has been shown to be an appropriate framework in which logic programming with negation as failure as well as other logics for non-monotonic reasoning can be encompassed. Many of the existing semantics for negation as failure in logic programming can be understood in a uniform way using argumentation. Moreover, other logics for non-monotonic reasoning that can also be formulated via argumentation can be given new semantics, by a direct extension of the logic programming semantics. In this paper we develop an abstract computational framework where various argumentation semantics can be computed via different parametric variations of a simple basic proof theory. This proof theory is given in terms of derivations of trees where each node in a tree contains an argument (or attack) against its corresponding parent node. The proposed proof theory, defined here for the case of logic programming, generalizes directly to other logics for non-monotonic reasoning that can also be formalized via argumentation. The abstract proof theory forms the basis for developing concrete top-down proof procedures for query evaluation. These proof procedures are obtained by adopting specific search strategies and ways of computing attacks in the particular argumentation framework. For logic programming these procedures can be seen as a generalization of the Eshghi-Kowalski abductive proof procedure that in turn generalizes SLDNF.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
6秒前
顾矜应助章访曼采纳,获得10
9秒前
9秒前
壮观的谷冬完成签到 ,获得积分10
10秒前
清爽幼枫发布了新的文献求助10
16秒前
嗯嗯嗯完成签到 ,获得积分10
37秒前
托丽莲睡拿完成签到,获得积分10
48秒前
一口蛋黄酥完成签到 ,获得积分10
1分钟前
Shandongdaxiu完成签到 ,获得积分10
1分钟前
1分钟前
Huang发布了新的文献求助10
1分钟前
1分钟前
章访曼发布了新的文献求助10
1分钟前
章访曼完成签到,获得积分10
1分钟前
汉堡包应助科研通管家采纳,获得10
1分钟前
Akim应助immm采纳,获得10
1分钟前
winkyyang完成签到 ,获得积分10
1分钟前
August完成签到,获得积分10
2分钟前
惜寒完成签到 ,获得积分10
2分钟前
ala完成签到,获得积分10
2分钟前
2分钟前
淡定树叶完成签到 ,获得积分10
2分钟前
英俊的铭应助妩媚的以寒采纳,获得10
3分钟前
3分钟前
3分钟前
3分钟前
李博士发布了新的文献求助10
3分钟前
溟汐Seiuuu完成签到 ,获得积分10
3分钟前
messi发布了新的文献求助10
4分钟前
594778089完成签到,获得积分10
4分钟前
4分钟前
清爽幼枫发布了新的文献求助10
4分钟前
锖婧完成签到 ,获得积分10
4分钟前
OCDer完成签到,获得积分0
4分钟前
慕青应助鲸落采纳,获得10
5分钟前
5分钟前
鲸落发布了新的文献求助10
5分钟前
Orange应助胡强采纳,获得10
5分钟前
Magali应助科研通管家采纳,获得10
5分钟前
花陵完成签到 ,获得积分10
6分钟前
高分求助中
Un calendrier babylonien des travaux, des signes et des mois: Séries iqqur îpuš 1036
Sustainable Land Management: Strategies to Cope with the Marginalisation of Agriculture 1000
Corrosion and Oxygen Control 600
Heterocyclic Stilbene and Bibenzyl Derivatives in Liverworts: Distribution, Structures, Total Synthesis and Biological Activity 500
重庆市新能源汽车产业大数据招商指南(两链两图两池两库两平台两清单两报告) 400
Division and square root. Digit-recurrence algorithms and implementations 400
行動データの計算論モデリング 強化学習モデルを例として 400
热门求助领域 (近24小时)
化学 材料科学 医学 生物 有机化学 工程类 生物化学 纳米技术 物理 内科学 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 电极 光电子学 量子力学
热门帖子
关注 科研通微信公众号,转发送积分 2545380
求助须知:如何正确求助?哪些是违规求助? 2175631
关于积分的说明 5600155
捐赠科研通 1896323
什么是DOI,文献DOI怎么找? 946218
版权声明 565334
科研通“疑难数据库(出版商)”最低求助积分说明 503552