×

常规逻辑程序中的扩展ASP表和规则冗余。 (英语) 兹比尔1156.68011

摘要:我们介绍了一种用于答案集编程(ASP)的扩展表演算。证明系统基于工作中定义的ASP表M.Gebser先生T.绍布【Lect.Notes Compute.Sci.4079,11-25(2006;Zbl 1131.68375号)]添加了扩展规则。我们从理论和实证两方面研究了扩展ASP表的威力。我们研究了扩展ASP表与Tseitin为子句集定义的扩展分辨率证明系统之间的关系,并通过给出一系列正规逻辑程序的多项式长度证明,将扩展ASP表格从ASP表中分离出来其中ASP Tableaux具有关于\(n\)的指数长度最小证明。此外,扩展的ASP表暗示了对ASP中程序简化对证明长度的影响的有趣见解。与扩展ASP表密切相关,我们实证研究了冗余规则对ASP求解效率的影响。

MSC公司:

68N17号 逻辑编程
第68页第15页 定理证明(演绎、解析等)(MSC2010)

软件:

亚萨特
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 林,第18届国际人工智能联合会议记录(IJCAI 2003),第853页–(2003)
[2] 马雷克,《逻辑编程范式:25年展望》第375页–(1999)·doi:10.1007/978-3-642-60085-2_17
[3] Järvisalo,《第23届逻辑程序设计国际会议论文集》(ICLP 2007),第134–(2007)页
[4] Gebser,ICLP搜索与逻辑研讨会:答案集编程与SAT第41页–(2006)
[5] Gebser,第20届人工智能国际联合会议记录(IJCAI 2007),第286页–(2007)
[6] Fages,《计算机科学中的逻辑方法杂志》,第1页,第51页–(1994年)
[7] Eiter,第七届逻辑程序设计和非单调推理国际会议论文集(LPNMR 2004),第87–(2004)页
[8] Brass,《第三届逻辑编程与非单调推理国际会议论文集》(LPNMR 1995),第85页–(1995)·doi:10.1007/3-540-59487-67
[9] 谢廷,《建构数学和数学逻辑研究》,第二部分,第115页–(1969)
[10] Beame,EATCS公告65第66页–(1998年)
[11] 克拉克,《逻辑和数据库》第293页–(1978年)·doi:10.1007/978-1-4684-3384-5_11
[12] Beame,《人工智能研究杂志》22第319页–(2004)
[13] 巴拉尔,《知识表示、推理和声明性问题解决》(2003年)·Zbl 1056.68139号 ·doi:10.1017/CBO9780511543357
[14] Anger,《第17届欧洲人工智能会议记录》(ECAI 2006),第769页–(2006)
[15] Giunchiglia,《第21届逻辑程序设计国际会议论文集》(ICLP 2005)第37–(2005)页
[16] Gelfond,《第五届逻辑程序设计国际会议和研讨会论文集》(ICLP/SLP 1988),第1070页–(1988)
[17] Gebser,《第23届逻辑程序设计国际会议论文集》(ICLP 2007),第119–(2007)页
[18] Gebser,《第22届逻辑程序设计国际会议论文集》(ICLP 2006),第11-(2006)页
[19] Lifschitz,第11届逻辑编程国际会议论文集,第23页–(1994)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。