×
法布里西奥·安吉乌利;Ben Eliyahu Zohary，雷切尔;法比奥·法塞蒂;路易吉·帕洛波利

关于一些CNF理论的最小模型计算的可处理性。 （英语） Zbl 1334.68205号

Artif公司。智力。 210, 56-77 (2014)。
总结：设计能够高效构建连接范式理论的极小模型（CNFs）是人工智能中的一项重要任务。本文沿着这一研究路线提供了新的结果，并提出了在正命题CNFs上进行最小模型查找和检查以及在命题CNFs上进行模型最小化的新算法。CNF是积极的如果它的每个子句都至少有一个正字面。算法模式，称为广义消除算法（GEA），它计算任何正CNF。该模式概括了消除算法（EA）[第二和第四作者，Artif.Intell.96，No.2，421-449（1997；兹比尔0903.68178)]，它计算正的最小模型无头循环（HCF）CNF理论。虽然EA总是以输入HCF CNF的大小在多项式时间内运行，但GEA的复杂性取决于特定消除运算符在这里引用，这通常可能是指数型的。因此，定义了一个特定的消除算子，GEA通过该算子在多项式时间内计算一类严格包含无头元素（HEF）CNF理论的CNF的最小模型[M.Gebser先生，“逻辑程序的基本集”，载于：《第21届全国人工智能会议论文集》，AAAI'06。加利福尼亚州帕洛阿尔托：人工智能发展协会（AAAI）。244–249（2006）]，它们又形成了HCF理论的严格超集。此外，为了处理与识别HEF理论相关的高复杂性，提出了GEA的“不完全”变体（称为IGEA）：生成的模式一旦用适当的消除算子实例化，总是构建输入CNF的模型，如果输入理论是HEF，则保证最小值。根据上述结果，本工作的主要贡献是扩大了最小模型发现和检查以及模型最小化问题的可处理边界。

引用于三文件

MSC公司：

68T27型 人工智能中的逻辑
65年第68季度 算法和问题复杂性分析

关键词：

CNF理论;最小模型;无头循环CNF理论;无头元素CNF理论;计算复杂性

引文：

兹比尔0903.68178

软件：

徒步旅行
PDF格式BibTeX公司 XML格式引用
\textit{F.Angiulli}等人，Artif。智力。210、56--77（2014年；Zbl 1334.68205）
全文： 内政部 arXiv公司

参考文献：

[1] 陈，Avin；Ben Eliyahu Zohary，Rachel，计算所有X极小模型的上限，AI Commun。，20, 2, 87-92 (2007) ·Zbl 1129.68083号
[2] 雷切尔·本·埃利亚胡；Dechter，Rina，选言逻辑程序的命题语义，《数学年鉴》。Artif公司。智力。，12, 53-87 (1994) ·Zbl 0858.68012号
[3] 雷切尔·本·埃利亚胡；Rina Dechter，《关于计算最小模型》，Ann.Math。Artif公司。智力。，18，3-27（1996），AAAI-93的简短版本：第11届全国人工智能会议记录·Zbl 0891.68109号
[4] Ben-Eliyahu-Zohary，Rachel，生成所有最小模型的增量算法，Artif。智力。，169, 1, 1-22 (2005) ·兹比尔1132.68721
[5] 雷切尔·本·埃利亚胡·佐哈里；Palopoli，Luigi，《最小模型推理：高效算法和应用》，Artif。智力。，96, 2, 421-449 (1997) ·Zbl 0903.68178号
[6] 比多特，N。；Froidevaux，C.，《极简主义在分层逻辑编程中包含默认逻辑和界限》，（LICS-87:IEEE计算机科学逻辑研讨会论文集（1987年6月），IEEE计算机科技出版社：IEEE计算机技术出版社，加利福尼亚州洛斯阿拉米托斯），89-97
[7] Cadoli，Marco，《限制性公式模型检查的复杂性》，《信息处理》。莱特。，44, 3, 113-118 (1992) ·Zbl 0766.68122号
[8] 马可·卡多利，《论非单调命题逻辑模型发现的复杂性》（第四届意大利理论计算机科学会议论文集（1992年10月），世界科学出版社），125-139
[9] Chen，Z。；Toda，S.，选择最大解的复杂性，（第八届IEEE国际复杂性理论结构会议（1993）），313-325
[10] 约翰·德克莱尔（Johan de Kleer）；艾伦·麦克沃思（Alan K.Mackworth）。；雷蒙德·赖特（Raymond Reiter），《诊断和系统特征化》（Characterizing diagnostics and systems），Artif。智力。，56, 2-3, 197-222 (1992) ·兹比尔0772.68085
[11] 道林，W。；Gallier，J.，测试命题角公式可满足性的线性时间算法，J.Log。程序。，1, 3, 267-284 (1984) ·Zbl 0593.68062号
[12] 托马斯·艾特；Gottlob，Georg，命题限定和扩展的封闭世界推理是完备的，Theor。计算。科学。，114, 2, 231-245 (1993) ·Zbl 0786.68085号
[13] 法比奥·法塞蒂；Luigi Palopoli，《关于识别无头元素程序的复杂性》，理论与实践。日志。程序。，10, 1, 113-123 (2010) ·Zbl 1186.68097号
[14] 马丁·格布瑟（Martin Gebser）；Lee，Joohyung；Yuliya Lierler，《逻辑程序的基本集》（第21届全国人工智能会议（AAAI）论文集，2006年）·Zbl 1149.68333号
[15] 马丁·格布瑟（Martin Gebser）；Lee，Joohyung；Yuliya Lierler，无头元逻辑程序，（第九届逻辑程序设计与非单调推理国际会议论文集（LPNMR）（2007）），149-161·Zbl 1149.68333号
[16] Michael Gelfond；Lifschitz，Vladimir，逻辑编程的稳定模型语义，（第五届国际会议和研讨会论文集（1988）），1070-1080
[17] Michael Gelfond；弗拉基米尔，Lifschitz，逻辑程序和析取数据库中的经典否定，新世代。计算。，9, 365-385 (1991) ·Zbl 0735.68012号
[18] 阿方索·盖雷维尼；亚历山德罗·萨埃蒂；Serina，Ivan，通过LPG中的随机局部搜索和时间动作图进行规划，J.Artif。智力。决议，20，239-290（2003）·Zbl 1058.68103号
[19] 卡拉·戈麦斯。；亨利·考茨（Henry Kautz）；萨巴沃尔，阿什什；Selman，Bart，可满足性求解器，（《知识表示手册》，《知识表示指南》，《人工智能基础》，第3卷（2008年），Elsevier），89-134·Zbl 1183.68611号
[20] 胡斯，霍尔格；Stützle，Thomas，《随机本地搜索：基础与应用》（2004），摩根·考夫曼出版社：摩根·考夫曼出版社，美国加利福尼亚州旧金山·Zbl 1126.68032号
[21] 亨利·考茨（Henry A.Kautz）。；David Mcallester；Bart Selman，《命题逻辑中的计划编码》，（第五届知识表示与推理原则国际会议论文集（KR’96）（1996）），374-384
[22] Lefteris M.Kirousis。；Kolaitis，Phokion G.，最小可满足性问题的复杂性，Inf.Comput。，187, 1, 20-39 (2003) ·Zbl 1082.68036号
[23] 克里斯托弗·科赫；Leone，Nicola，《简化稳定模型检查》（IJCAI（1999）），70-75
[24] Kolaitis，Phokion G。；Papadimitriou，Christos H.，《边界的一些计算方面》，J.ACM，37，1，1-14（1990）·Zbl 0697.68085号
[25] 尼古拉·利昂内（Nicola Leone）；帕斯奎尔·鲁洛（Pasquale Rullo）；Scarcello，Francesco，选言稳定模型：无基础集，不动点语义和计算，信息计算。，135，269-112（1997年）·兹比尔0879.68019
[26] 弗拉基米尔·利夫希茨（Vladimir Lifshitz），《计算界限》（IJCAI-85:AI国际联合会议记录（1985）），121-127
[27] 约翰·劳埃德（John W.Lloyd），《逻辑程序设计基础》（1987），《斯普林格·弗拉格：斯普林格尔·弗拉格》（Springer-Verlag），纽约州纽约市，美国·Zbl 0668.68004号
[28] Lonc、Zbigniew；Truszczynski，Miroslaw，《计算最小模型、稳定模型和答案集》，TPLP，6，4，395-449（2006）·Zbl 1110.68022号
[29] 约翰·麦卡锡（John McCarthy），《界限——非单调推理的一种形式》，《艺术》（Artif）。智力。，13, 27-39 (1980) ·Zbl 0435.68073号
[30] 约翰·麦卡锡（John McCarthy），《限定在形式化常识中的应用》（Application of expinition to formalized common-sense knowledge），阿蒂夫（Artif）。智力。，28, 89-116 (1986)
[31] Jack Minker，《关于不确定数据库和封闭世界假设》，（《第六届自动扣除会议论文集》，《第六次自动扣除会议文献集》，计算机科学讲义，第138卷（1982年），Springer-Verlag），292-308·Zbl 0481.68087号
[32] 雷蒙德·赖特（Raymond Reiter），《默认推理逻辑》（A logic for default reasoning），阿蒂夫（Artif）。智力。，13, 1-2, 81-132 (1980) ·Zbl 0435.68069号
[33] 巴特·塞尔曼；亨利·考茨（Henry A.Kautz）。；Cohen，Bram，可满足性测试的局部搜索策略，（DIMACS系列离散数学和理论计算机科学（1996）），521-532·兹比尔0864.90093
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。