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

Computing Preferred Semantics: Comparing Two ASP Approaches vs an Approach Based on 0-1 Integer Programming

计算机科学 论证理论 答案集编程 语义学(计算机科学) 整数规划 程序设计语言 整数(计算机科学) 集合(抽象数据类型) 逻辑程序设计 理论计算机科学 人工智能 算法 哲学 认识论
作者
Mauricio Osorio,José Antonio Acevedo Díaz,Alejandro Santoyo
出处
期刊:Lecture Notes in Computer Science 卷期号:: 419-430
标识
DOI:10.1007/978-3-319-13647-9_38
摘要

Dung’s abstract argumentation frameworks has been object of intense study not just for its relationship with logical reasoning but also for its uses within artificial intelligence. One research branch in abstract argumentation has focused on finding new methods for computing its different semantics. We present a novel method, to the best of our knowledge, for computing preferred semantics using 0-1 integer programming, and also experimentally compare it with two answer set programming approaches. Our results indicate that this new method performed well.

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
11秒前
解丁完成签到,获得积分10
14秒前
kimimi发布了新的文献求助10
25秒前
41秒前
仔仔完成签到 ,获得积分10
45秒前
LSLym发布了新的文献求助10
46秒前
光喵关注了科研通微信公众号
50秒前
55秒前
orixero应助kimimi采纳,获得10
57秒前
59秒前
1分钟前
chan发布了新的文献求助30
1分钟前
1分钟前
chan完成签到,获得积分10
1分钟前
1分钟前
lb001完成签到 ,获得积分10
1分钟前
影子发布了新的文献求助10
1分钟前
完美世界应助科研通管家采纳,获得10
2分钟前
小辣椒完成签到,获得积分10
2分钟前
zhaodan完成签到,获得积分10
2分钟前
2分钟前
kimimi发布了新的文献求助10
2分钟前
guyuzheng完成签到,获得积分10
2分钟前
爱听歌谷蓝完成签到,获得积分10
2分钟前
魔幻的芳完成签到,获得积分10
2分钟前
江流儿完成签到,获得积分10
2分钟前
火星上的宝马完成签到,获得积分10
2分钟前
悲凉的忆南完成签到,获得积分10
3分钟前
陈旧完成签到,获得积分10
3分钟前
冉亦完成签到,获得积分10
3分钟前
Owen应助darcyz采纳,获得10
3分钟前
SciGPT应助darcyz采纳,获得10
3分钟前
欣欣子完成签到,获得积分10
3分钟前
yxl完成签到,获得积分10
3分钟前
烟花应助darcyz采纳,获得10
3分钟前
molihuakai应助darcyz采纳,获得10
3分钟前
慕青应助darcyz采纳,获得10
3分钟前
JamesPei应助darcyz采纳,获得10
3分钟前
领导范儿应助darcyz采纳,获得10
3分钟前
我是老大应助darcyz采纳,获得10
3分钟前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Psychopathic Traits and Quality of Prison Life 1000
Development Across Adulthood 1000
Chemistry and Physics of Carbon Volume 18 800
The formation of Australian attitudes towards China, 1918-1941 660
Signals, Systems, and Signal Processing 610
天津市智库成果选编 600
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 物理 内科学 复合材料 催化作用 物理化学 光电子学 电极 细胞生物学 基因 无机化学
热门帖子
关注 科研通微信公众号,转发送积分 6451147
求助须知:如何正确求助?哪些是违规求助? 8263173
关于积分的说明 17605978
捐赠科研通 5515941
什么是DOI,文献DOI怎么找? 2903567
邀请新用户注册赠送积分活动 1880596
关于科研通互助平台的介绍 1722605