计算机科学 ›› 2020, Vol. 47 ›› Issue (5): 27-31.doi: 10.11896/jsjkx.200200052

所属专题: 理论计算机科学

• 理论计算机科学 • 上一篇    下一篇

分级论辩系统的逻辑研究

谭立兴1,2, 王福俊1   

  1. 1 南京航空航天大学计算机科学与技术学院 南京211106
    2 南京理工大学泰州科技学院 江苏 泰州225300
  • 收稿日期:2020-02-11 出版日期:2020-05-15 发布日期:2020-05-19
  • 通讯作者: 谭立兴(tanlixing@nuaa.edu.cn)
  • 基金资助:
    国家自然科学基金(61602249)

On Logic of Graded Argumentation System

TAN Li-xing1,2, WANG Fu-jun1   

  1. 1 College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China
    2 Taizhou Institute of Science and Technology,Nanjing University of Science and Technology,Taizhou,Jiangsu 225300,China
  • Received:2020-02-11 Online:2020-05-15 Published:2020-05-19
  • About author:TAN Li-xing,born in 1987,Ph.D student,lecturer.His main research interests include artificial intelligence and logic in computer science.
  • Supported by:
    This work was supported by the National Natural Science Foundation of China (61602249)

摘要: 近年来,形式论证已逐渐成为人工智能领域的研究热点之一。自Dung于1995年提出抽象辩论框架起,学术界普遍认为论辩的核心任务是在各种基于外延的语义下对论点集进行评估,以确定其辩护状态。分级论辩系统(Graded Argumentation System,GAS)是对经典Dung型论辩系统(Dung-style Argumentation System,DAS)的推广,通过一般化DAS语义的两个核心性质,即无冲突性和可接受性,来提供更细化的论点状态概念。当前的论辩系统语义等效性研究主要集中在框架和论点层次上,可为其结构约简提供有力的保证。针对两个不同分级论辩系统中论点的语义等效问题,首先运用分级模态逻辑(Graded Modal Logic,GML) 形式化分级论辩系统的片段,然后建立并证明了分级论辩系统基于外延的语义和GML公式之间的一一对应关系,最后定义分级互模拟关系并证明其蕴含分级论辩系统的4个重要的语义等价性。

关键词: DAS, GML, 分级互模拟, 分级论辩系统, 形式论证

Abstract: In recent years,formal argumentation has gradually become one of the research hotspots in the field of artificial intelligence.Since Dung put forward the abstract argumentation framework in 1995,it is generally accepted in the academic circles that the core task of argumentation is to evaluate a set of arguments under various extension-based semantics,so as to determine their justification status.Graded argumentation system(GAS) is a generalization of the classical Dung-style Argumentation System (DAS),which provides a more fine-grained notion of argument status by generalizing the two core principles of DAS semantics,conflict-free and acceptability.The current research on semantic equivalence of argumentation system mainly focuses on the framework and argument level,which can provide powerful support for its structural reduction.For the semantic equivalence of the arguments in two different graded argumentation systems,firstly,fragments of the graded argumentation system are formalized by using Graded Modal Logic (GML).Then,the one-to-one correspondence between the extension-based semantics and GML formula in graded argumentation system is established and proved.Finally,the graded bisimulation relation is defined and that it implies four prominent semantic equivalences of GAS is proved.

Key words: DAS, Formal argumentation, GML, Graded argumentation system, Graded bisimulation

中图分类号: 

  • TP181
[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.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!