检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:徐康 廖备水[2] Kang Xu;Beishui Liao(School of Oriental Languages and Philosophy,Zhejiang Gongshang University;Institute of Logic and Cognition,Zhejiang University)
机构地区:[1]浙江工商大学东方语言与哲学学院 [2]浙江大学逻辑与认知研究所
出 处:《逻辑学研究》2021年第6期41-67,共27页Studies in Logic
基 金:This material is based in part upon work supported by the“2030 Megaproject”-New Generation Artificial Intelligence of China under Grant No.2018AAA0100904;the National Social Science Fund of China under Grant No.20&ZD047.
摘 要:抽象论辩的研究可以分为两个方向,一是依据论辩框架的结构,求取论辩语义;一是依据论辩语义,构建论辩框架。第一个方向目前已经得到了广泛的关注和研究,但是很少学者关注第二个研究方向。本文着手于论辩框架的构建及其应用:给定一个论证集合,找寻以此集合为外延的论辩框架,描述他们的结构特征,而后,将研究结果应用于抽象论辩的动态性中。According to a given criterium,from the structure of an argumentation framework,a set of extensions can be decided.Conversely,an extension or a set of extensions can identify a set of argumentation frameworks.The direction from argumentation frameworks to their semantics has been discussed a lot,but little attention has been paid to the opposite direction.In this paper,we focus on characterizing argumentation frameworks with a given set of arguments as an extension,and show its applications on the update of argumentation frameworks and monotony.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.191.97.68