×
张志虎；林，左权

最小假设：基于扩展的语义到论证。 （英语） Zbl 1258.68152号

安。数学。Artif公司。智力。 65，编号2-3，245-283（2012）.
摘要：优选语义的空性问题和稳定语义的不存在问题是论证框架公认的问题。在本文中，我们引入了两个强语义，即s-优选语义和s-稳定语义，分别保证了优选扩展的非空性和稳定扩展的存在性。我们的语义由论证框架的两个扩展概念定义，即s-优先扩展和s-稳定扩展。每一个都是以与原始语义相似的方式构造的。我们语义的新颖之处在于，将论证框架的扩展视为一对参数集，其中扩展的第二个元素被视为一种应该最小化的假设。s-preferred语义不仅解决了首选语义的空性问题，而且在存在非空的首选扩展时与首选语义一致。同时，s-稳定语义保证了扩展的存在，并且在稳定扩展存在的情况下与稳定语义相一致。讨论了各种论证框架语义之间的关系。

MSC公司：

68立方英尺 知识表示

关键词：

论证；首选语义；稳定语义；延伸；最低限度

软件：

奥斯卡
PDF格式BibTeX公司 XML格式引用
\textit{Z.Zhang}和\textit{Z.Lin}，Ann.Math。Artif公司。智力。65，No.2--3245--283（2012；Zbl 1258.68152）
全文： 内政部

参考文献：

[1] Amgoud，L.，Besnard，P.：弥合抽象论证系统和逻辑之间的差距。收录：Godo，L.，Pugliese，A.（编辑）SUM。LNCS，第5785卷，第12-27页。施普林格（2009）
[2] Amgoud，L.，Cayrol，C.：从基于偏好的论证框架中的不一致性推断。J.汽车。原因。29(2), 125–169 (2002) ·Zbl 1056.68589号 ·doi:10.1023/A:1021603608656
[3] Amgoud，L.，Cayrol，C.：基于可接受论据生成的推理模型。安。数学。Artif公司。智力。34(1–3), 197–215 (2002) ·Zbl 1002.68172号 ·doi:10.1023/A:1014490210693
[4] Amgoud，L.，Dimopoulos，Y.，Moraitis，P.：基于论证的谈判的一般框架。摘自：《第四届多智能体系统论证国际会议论文集》，第1-17页。施普林格（2007）·Zbl 1135.68581号
[5] Baroni，P.，Giacomin，M.：在论证中用奇怪的循环解决语义问题。收录人：Nielsen，T.D.，Zhang，N.L.（编辑）ECSQARU。LNCS，第2711卷，第440-451页。斯普林格（2003）·Zbl 1274.68453号
[6] Baroni，P.，Giacomin，M.：基于解析的论证语义。收录人：Besnard，P.、Doutre，S.、Hunter，A.（编辑）COMMA。《人工智能与应用前沿》，第172卷，第25-36页。IOS出版社（2008）
[7] Baroni，P.，Giacomin，M.：用于比较论证语义的怀疑论关系。国际期刊近似原因。50(6), 854–866 (2009) ·Zbl 1191.68671号 ·doi:10.1016/j.ijar.2009.02.006
[8] Baroni，P.，Giacomin，M.，Guida，G.：SC递归性：论证语义的一般模式。Artif公司。智力。168(1–2), 162–210 (2005) ·兹比尔1132.68765 ·doi:10.1016/j.artint.2005.05.006
[9] Bench-Capon，T.J.M.：基于价值的论证框架。收录：Benferhat，S.，Giunchiglia，E.（编辑）NMR，第443-454页（2002年）
[10] Bench-Capon，T.J.M.，Dunne，P.E.：人工智能中的论证。Artif公司。智力。171(10–15), 619–641 (2007) ·Zbl 1168.68560号 ·doi:10.1016/j.artint.2007.05.001
[11] Bodanza，G.A.，Tohmé，F.A.：解决自攻论点和一般奇长攻击周期问题的两种方法。J.应用。逻辑7（4），403–420（2009）·Zbl 1189.03006号 ·doi:10.1016/j.jal.2007.06.012
[12] Bondarenko，A.，Dung，P.M.，Kowalski，R.A.，Toni，F.：默认推理的抽象论证理论方法。Artif公司。智力。93, 63–101 (1997) ·Zbl 1017.03511号 ·doi:10.1016/S0004-3702（97）00015-5
[13] Bondarenko，A.，Toni，F.，Kowalski，R.A.：基于假设的非单调推理框架。收录于：LPNMR，第171-189页（1993年）
[14] 卡米纳达，M.：形式论证系统中的污染。收录于：Verbeeck，K.、Tuyls，K.，Nowé，A.、Manderick，B.、Kuijpers，B.（编辑）BNAIC，第59-65页。Koninklijke Vlaamse van Belie voor Wetenschappen en Kunsten学院（2005）
[15] 卡米纳达，M.：半稳定语义学。收件人：Dunne，P.E.，Bench-Capon，T.J.M.（编辑）COMMA。《人工智能与应用前沿》，第144卷，第121-130页。IOS出版社（2006）
[16] 卡米纳达，M.，阿姆古德，L.：论论证形式主义的评价。Artif公司。智力。171(5–6), 286–310 (2007) ·Zbl 1168.68562号 ·doi:10.1016/j.artint.2007.02.003
[17] Caminada，M.，Wu，Y.：稳定语义的论证游戏。日志。J.IGPL 17（1），77–90（2009）·Zbl 1155.68080号 ·doi:10.1093/jigpal/jzn029
[18] Coste-Marquis，S.、Devred，C.、Marquis，P.：论证框架的谨慎语义。摘自：第17届人工智能工具国际会议，第568-572页。IEEE计算机学会（2005）·Zbl 1122.68642号
[19] Dung，P.M.：关于论点的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用。Artif公司。智力。77(2), 321–358 (1995) ·Zbl 1013.68556号 ·doi:10.1016/0004-3702（94）00041-X
[20] Dung，P.M.，Mancarella，P.，Toni，F.：怀疑论和基于假设的论证的辩证程序。收件人：Dunne，P.E.，Bench-Capon，T.J.M.（编辑）COMMA。《人工智能与应用前沿》，第144卷，第145-156页。IOS出版社（2006）
[21] Dunne，P.E.，Bench Capon，T.J.M.：论证系统的复杂性和组合性质。利物浦大学计算机科学系技术报告（2001年）·Zbl 0970.68072号
[22] Dunne，P.E.，Bench-Capon，T.J.M.：有限论元系统中的一致性。Artif公司。智力。141(1/2), 187–203 (2002) ·Zbl 1043.68098号 ·doi:10.1016/S0004-3702（02）00261-8
[23] Elvang-Göransson，M.，Hunter，A.：论证逻辑：用经典不一致信息进行推理。数据知识。工程16（2），125–145（1995）·Zbl 0874.03029号 ·doi:10.1016/0169-023X（95）00013-I
[24] Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。收录于：ICLP/SLP，第1070–1080页（1988年）
[25] Kakas，A.，Amgoud，L.，Kern-Isberner，G.，Maudet，N.，Moraitis，P.：阿巴：基于论证的代理人。摘自：第19届欧洲人工智能会议记录。《人工智能与应用前沿》，第215卷，第1005-1006页。IOS出版社（2010）
[26] Makinson，D.，Schlechta，K.：浮动结论和僵尸路径：可撤销遗传网络的“直接怀疑”方法中的两个深层困难。Artif公司。智力。48(2), 199–209 (1991) ·Zbl 1117.68493号 ·doi:10.1016/0004-3702（91）90061-N
[27] Modgil，S.：论证框架中偏好的推理。Artif公司。智力。173(9–10), 901–934 (2009) ·Zbl 1192.68663号 ·doi:10.1016/j.artint.2009.02.001
[28] Mozina，M.，Zabkar，J.，Bratko，I.：基于论证的机器学习。Artif公司。智力。171(10–15), 922–937 (2007) ·Zbl 1168.68481号 ·doi:10.1016/j.artint.2007.04.007
[29] Nieves，J.C.，Cortés，U.，Osorio，M.，Olmos，I.，Gonzalez，J.A.：用最小模型定义新的基于论证的语义。摘自：第七届墨西哥国际计算机科学会议（ENC），第210-220页。IEEE计算机学会（2006）
[30] Pollock，J.L.：标称概率和归纳基础。牛津大学出版社，纽约（1990）
[31] 波洛克：如何以失败的方式推理。Artif公司。智力。57(1), 1–42 (1992) ·Zbl 0763.68056号 ·doi:10.1016/0004-3702（92）90103-5
[32] Pollock，J.L.：辩护与失败。Artif公司。智力。67(2), 377–407 (1994) ·Zbl 0807.68085号 ·doi:10.1016/0004-3702（94）90057-4
[33] Prakken，H.：法律论证建模的逻辑工具：法律中可推翻推理的研究。Kluwer学院，多德雷赫特（1997）
[34] Prakken，H.，Sartor，G.：基于参数的扩展逻辑编程，优先级可取消。J.应用。非类别。日志。7(1), 25–75 (1997) ·Zbl 0877.68019号 ·doi:10.1080/11663081.1997.10510900
[35] Prakken，H.，Vreeswijk，G.：可废止论证的逻辑学。收录：Gabbay，D.M.，Guenthner，F.（编辑）《哲学逻辑手册》，第二版。Kluwer学院，多德雷赫特（2002）·Zbl 1003.03503号
[36] Schlechta，K.：直接怀疑继承无法捕获扩展的交集。J.日志。计算。3(5), 455–467 (1993) ·Zbl 0802.68140号 ·doi:10.1093/logcom/3.5.455
[37] Vreeswijk，G.：抽象论证系统。Artif公司。智力。90(1–2), 225–279 (1997) ·Zbl 1017.03513号 ·doi:10.1016/S0004-3702（96）00041-0
[38] Wang，K.：选言逻辑编程中基于论证的推理。J.日志。程序。45(1–3), 105–141 (2000) ·兹比尔0957.68021 ·doi:10.1016/S0743-1066（00）00004-2
[39] 张，X，张，Z，林，Z：描述逻辑逻辑中次协调推理的议论文语义学。摘自：第22届描述逻辑国际研讨会论文集。CEUR研讨会论文集，第477卷，第1-11页。CEUR-WS.org（2009）
[40] 张，X，张，Z，徐，D，林，Z：基于论证的推理，知识库不一致。收录：第23届加拿大人工智能会议记录。LNCS，第6085卷，第87-99页。施普林格（2010）
[41] Zhang，Z.，Lin，Z.：增强dung的首选语义。收录：Link，S.，Prade，H.（编辑）FoIKS。LNCS，第5956卷，第58-75页。施普林格（2010）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。