×
保罗·利伯拉托雷;马尔科·谢尔夫

关于次优诱拐解释的复杂性。 （英语） Zbl 1346.68194号

国际J近似推理 63, 22-31 (2015)。
摘要：当寻找一组给定表现形式的命题溯因解释时，通常假设可能的解决方案之间存在排序。虽然计算最优解的复杂性已经众所周知，但在本文中，我们考虑了不同排序的次优解，以及次优解的不同定义：尚未找到的最优解，或在之前未找到的解中最优的解。

引用于1文件

MSC公司：

68立方英尺 知识表示
68T27型 人工智能中的逻辑
第68页第35页 人工智能语言和软件系统理论（基于知识的系统、专家系统等）

关键词：

绑架;命题逻辑;知识表示技术;基于知识的系统
PDF格式BibTeX公司 XML格式引用
\textit{P.Liberatore}和\textit{M.Schaerf}，国际期刊近似推理63，22-31（2015；Zbl 1346.68194）
全文： 内政部 arXiv公司

参考文献：

[1] 皮尔斯，C.S.，《诱拐与归纳》（Buchler，J.，《皮尔斯的哲学著作》（1955），多佛：纽约多佛），150-156，（第11章）
[2] Cialdea Mayer，M。；Pirri，F.，《绑架不是反向演绎》，J.IGPL，4，1，86-104（1996）·Zbl 0847.68112号
[3] 塞尔曼，B。；Levsque，H.J.，《诱拐和默认推理：计算核心》，（第八届全国人工智能大会论文集。第八届全国人工智能大会论文集，AAAI’90（1990）），343-348
[4] 塞尔曼，B。；Levesque，H.，支持诱拐推理和默认推理的集合选择，Artif。智力。，82, 259-272 (1996) ·Zbl 1506.68144号
[5] Bylander，T。；Allemang博士。；Tanner，医学博士。；Josephson，J.R.，关于诱拐的计算复杂性的一些结果，（《第一届知识表示和推理原则国际会议论文集》，KR’89（1989）），44-54·Zbl 0709.68021号
[6] Bylander，T。；Allemang，D。；Tanner，M.C。；Josephson，J.R.，诱拐的计算复杂性，人工制品。智力。，49, 25-60 (1991) ·Zbl 0737.68076号
[7] 艾特，T。；Gottlob，G.，《基于逻辑的诱拐的复杂性》，J.ACM，42，1，3-42（1995）·Zbl 0886.68121号
[8] 北卡罗来纳州克里诺。；Zanuttini，B.，命题溯因复杂性的完整分类，SIAM J.Compute。，36, 1, 207-229 (2006) ·Zbl 1111.68045号
[9] 北卡罗来纳州克里诺。；施密特，J。；Thomas，M.，《波斯特框架下命题诱拐的复杂性分类》，J.Log。计算。，22, 5, 1145-1170 (2012) ·Zbl 1280.68247号
[10] 诺德·G。；Zanuttini，B.，《是什么使命题诱拐易于处理》，Artif。智力。，172, 1245-1284 (2008) ·Zbl 1183.68600号
[11] 艾特，T。；Makino，K.，《关于计算所有诱因解释》（《第十八届全国人工智能会议论文集》，第十八届国家人工智能会议文献集，AAAI 2002（2002）），62-67
[12] 艾特，T。；Makino，K.，《绑架与二元化问题》（Discovery Science（2003）），1-20
[13] 艾特，T。；Makino，K.，《生成所有溯因命题角理论》（第十七届计算机科学逻辑国际研讨会（2003）），197-211·Zbl 1116.68591号
[14] 赫尔曼，M。；Pichler，R.，《计算命题推导的复杂性》，J.Compute。系统。科学。，76, 634-649 (2010) ·Zbl 1197.68072号
[15] 研究员，M。；普芬德勒，A。；罗萨蒙德，F。；Rümmele，S.，诱拐的参数化复杂性，（第二十六届AAAI人工智能会议论文集（2012）），743-749
[16] 艾特，T。；Gottlob，G。；Leone，N.，《缺省理论中诱拐的语义和复杂性》，Artif。智力。，90, 177-223 (1997) ·兹比尔1017.03515
[17] 艾特，T。；Gottlob，G。；Leone，N.，《逻辑程序诱拐：语义和复杂性》，Theor。计算。科学。，189, 129-177 (1997) ·Zbl 0893.68022号
[18] Calvanee，D。；奥尔蒂斯，M。；西姆库斯，M。；Stefanoni，G.，《DL-Lite中连接查询诱拐的复杂性》，（第二十四届描述逻辑国际研讨会论文集。第二十四届描述性逻辑国际研讨会文献集，DL 2011（2011）），81-91
[19] de Kleer，J.，《基于假设的TMS》，Artif。智力。，28127-162（1986年）
[20] Reiter，R。；de Kleer，J.，《基于假设的真相维护系统的基础：初步报告》，（第六届全国人工智能会议论文集，第六届国家人工智能会议文献集，AAAI’87（1987）），183-188
[21] Levesque，H.J.，《绑架的知识水平说明》，（第十一届国际人工智能联合会议论文集，第十一届人工智能国际联合会议论文，IJCAI’89（1989）），1061-1067
[22] Del Val，A.，《用受限语言进行结果发现和编译的新方法》，（第十六届全国人工智能会议论文集，第十六届国家人工智能会议文献集，AAAI'99（1999）），259-264
[23] Del Val，A.，《关于演绎和诱拐中的一些易处理类》，Artif。智力。，116, 297-313 (2000) ·Zbl 0940.03016号
[24] Del Val，A.，《限制性后果发现和诱拐的复杂性》，（第十七届全国人工智能会议论文集，第十七届国家人工智能会议文献集，AAAI 2000（2000）），337-342
[25] 女贞，D。；Crescenzi，P.，《复杂性理论导论》，普伦蒂斯·霍尔计算机科学国际丛书（1994），普伦提斯·霍尔
[26] Sipser，M.，《计算理论导论》（1996），国际汤姆森出版社
[27] Arora，S。；Barak，B.，《计算复杂性：现代方法》（2009），剑桥大学出版社·Zbl 1193.68112号
[28] 利伯拉托雷，P。；Schaerf，M.，《关于寻找第二好诱因解释的复杂性》，计算研究库（CoRR）·Zbl 1346.68194号
[29] 博帕纳，R。；Sipser，M.，《有限函数的复杂性》，（van Leeuwen，J.，《理论计算机科学手册》，A卷（1990年），Elsevier Science Publishers（North-Holland）：Elsevie Science Publishers（North-holand）Amsterdam），757-804，（Ch.14）·Zbl 0900.68268号
[30] 卡多利，M。；多尼尼，F.M。；利伯拉托雷，P。；Schaerf，M.，难处理问题的预处理，Inf.Comput。，176, 2, 89-120 (2002) ·Zbl 1012.68082号
[31] Liberatore，P.，《单调约简、代表性等价和难处理问题的汇编》，J.ACM，48，6，1091-1125（2001）·Zbl 1323.68305号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。