包含演绎支持关系和必要支持关系的论辩框架  

Argumentation Frameworks with Deductive and Necessary Supports

作　　者：程佑 廖备水[1,2] CHENG You;LIAO Beishui(School of Philosophy Zhejiang University,Hangzhou,Zhejiang 310000,China;Institute of Logic and Cognition of Zhejiang University,Hangzhou,Zhejiang 310000,China)

机构地区：[1]浙江大学哲学学院,浙江杭州310000 [2]浙江大学逻辑与认知研究所,浙江杭州310000

出　　处：《中文信息学报》2023年第10期122-129,共8页Journal of Chinese Information Processing

基　　金：国家社会科学基金(20&ZD047)。

摘　　要：对于包含支持关系的论辩框架,已有研究中存在对攻击的定义繁琐、外延求解复杂等问题。该文用演绎支持关系和必要支持关系来扩展抽象论辩框架,并采用一种基于强度的方法来定义该框架中的攻击关系,在此基础上提出一种更简洁且更有表达力的基于外延的语义。该文将一种基于等式的方法运用于这种论辩框架,为其提供一种基于标记的语义。最后,该文证明在这种论辩框架下,基于等式的方法和基于外延的语义之间存在对应关系。argumentation frameworks with deductive and necessary supports and put forward a strength-based approach to definition of attacks.We devise a more concise and expressive extension-based semantics for these argumentation frameworks.Also,we apply a method for derivation of labelling-based semantics called equational approaches,to these argumentation frameworks.We prove that there are correspondences between these two semantics.

关 键 词：双极论辩框架 基于等式的方法 论辩语义 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]