计算机科学 ›› 2020, Vol. 47 ›› Issue (5): 27-31.doi: 10.11896/jsjkx.200200052
所属专题: 理论计算机科学
谭立兴1,2, 王福俊1
TAN Li-xing1,2, WANG Fu-jun1
摘要: 近年来,形式论证已逐渐成为人工智能领域的研究热点之一。自Dung于1995年提出抽象辩论框架起,学术界普遍认为论辩的核心任务是在各种基于外延的语义下对论点集进行评估,以确定其辩护状态。分级论辩系统(Graded Argumentation System,GAS)是对经典Dung型论辩系统(Dung-style Argumentation System,DAS)的推广,通过一般化DAS语义的两个核心性质,即无冲突性和可接受性,来提供更细化的论点状态概念。当前的论辩系统语义等效性研究主要集中在框架和论点层次上,可为其结构约简提供有力的保证。针对两个不同分级论辩系统中论点的语义等效问题,首先运用分级模态逻辑(Graded Modal Logic,GML) 形式化分级论辩系统的片段,然后建立并证明了分级论辩系统基于外延的语义和GML公式之间的一一对应关系,最后定义分级互模拟关系并证明其蕴含分级论辩系统的4个重要的语义等价性。
中图分类号:
[1]GAGGL S A,LINSBICHLER T,MARATEA M,et al.Designand Results of the Second International Competition on Computational Models of Argumentation[J].Artificial Intelligence,2020,279:103193. [2]FERMÉ E,SIMARI G R.Introduction to the special issue on belief revision,argumentation,ontologies,and norms[J].Annals of Mathematics and Artificial Intelligence,2019,87(3):185-186. [3]DUNG P M.On the acceptability of arguments and its fundamental role in nonmonotonic reasoning,logic programming and n-person games[J].Artificial Intelligence,1995,77(2):321-357. [4]BENCH-CAPON T J M,DUNNE P E.Argumentation in artificial intelligence[J].Artificial Intelligence,2007,171(10/11/12/13/14/15):619-641. [5]LIAO B S.Dynamics of Argumentation Systems and Its Re-search Development[J].Journal of Software,2012,23(11):2871-2884. [6]PRAKKEN H,SARTOR G.Law and logic:A review from an argumentation perspective[J].Artificial Intelligence,2015,227:214-245. [7]HUNTER A,WILLIAMS M.Aggregating evidence about the positive and negative effects of treatments[J].Artificial Intelligence in Medicine,2012,56(3):173-190. [8]SCHNEIDER J,GROZA T,PASSANT A.A review of argu-mentation for the social semantic web[J].Semantic Web,2013,4(2):159-218. [9]BARONI P,ROMANO M,TONI F,et al.Automatic evaluation of design alternatives with quantitative argumentation[J].Argument & Computation,2015,6(1):24-49. [10]ATKINSON K,BARONI P,GIACOMIN M,et al.Towards artificial argumentation[J].AI Magazine,2017,38(3):25-36. [11]BESNARD P,GARCIA A,HUNTER A,et al.Introduction to structured argumentation[J].Argument & Computation,2014,5(1):1-4. [12]BARONI P,CAMINADA M,GIACOMIN M.An introductionto argumentation semantics[J].The Knowledge Engineering Review,2011,26(4):365-410. [13]OIKARINEN E,WOLTRAN S.Characterizing strong equivalence for argumentation frameworks[J].Artificial intelligence,2011,175(14/15):1985-2009. [14]BAUMANN R,DVOčÁK W,LINSBICHLER T,et al.A gene-ral notion of equivalence for abstract argumentation[J].Artificial Intelligence,2019,275:379-410. [15]BAUMANN R.Normal and strong expansion equivalence forargumentation frameworks[J].Artificial Intelligence,2012,193:18-44. [16]GROSSI D.On the logic of argumentation theory[C]//Procee-dings of the 9th International Conference on Autonomous Agents and Multiagent Systems.2010:409-416. [17]GROSSI D.Abstract argument games via modal logic[J].Synthese,2013,190(1):5-29. [18]GROSSI D,MODGIL S.On the graded acceptability of arguments in abstract and instantiated argumentation[J].Artificial Intelligence,2019,275:138-173. [19]MA M H.Toward Model-Theoretic Modal Logics[J].Studies in Logic,2009,2(1):62-77. [20]GOBLE L F.Grades of modality[J].Logique et Analyse,1970,13(51):323-334. [21]DE RIJKE M.A note on graded modal logic[J].Studia Logica,2000,64(2):271-283. |
[1] | 李宗鑫, 秦勃, 王梦倩. 基于时空关系模型的交通信号灯的实时检测与识别 Real-time Detection and Recognition of Traffic Light Based on Time-Space Model 计算机科学, 2018, 45(6): 314-319. https://doi.org/10.11896/j.issn.1002-137X.2018.06.055 |
[2] | 熊丽荣,雷静之,金鑫. 一种基于HTTP自适应流的混合码率自适应算法 Hybrid Rate Adaptation Algorithm for Adaptive HTTP Streaming 计算机科学, 2017, 44(2): 129-134. https://doi.org/10.11896/j.issn.1002-137X.2017.02.019 |
[3] | 许斌,关佶红. 基于MapReduce的GML并行查询 GML Parallel Query Based on MapReduce 计算机科学, 2013, 40(11): 203-207. |
[4] | . 网格环境下空间数据共享与互操作技术研究 计算机科学, 2009, 36(1): 96-100. |
[5] | 王未央 经霄. 基于方法库的联机分析系统框架的设计与实现 计算机科学, 2007, 34(4): 126-128. |
[6] | 刘冬邻 陈建国 许宏玲. 数字图书馆建设之存储架构分析 计算机科学, 2006, 33(B12): 116-118. |
[7] | 张虹 甄青坡. 基于MIDAS构建多层分布式结构及应用 计算机科学, 2000, 27(2): 32-35. |
[8] | 丁占鳌. 一个基于知识的通用决策支持系统—GDASS的建立 计算机科学, 1991, 18(3): 47-50. |
|