马蒂·Järvisalo;埃米利亚·奥伊卡里宁 常规逻辑程序中的扩展ASP表和规则冗余。 (英语) 兹比尔1156.68011 理论与实践。日志。程序。 8,编号5-6,691-716(2008). 摘要:我们介绍了一种用于答案集编程(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求解效率的影响。 引用于2文件 MSC公司: 68N17号 逻辑编程 第68页第15页 定理证明(演绎、解析等)(MSC2010) 关键词:答案集编程;表格法;扩展规则;证明复杂性;问题结构;扩展分辨率证明系统 引文:Zbl 1131.68375号 软件:亚萨特 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}和\textit{E.Oikarinen},理论与实践。日志。程序。8,编号5--6,691--716(2008;Zbl 1156.68011) 全文: 内政部 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。