基于可能性逻辑的结构化论辩理论P-ASPIC+  

A Structured Argumentation Theory Based on Possibilistic Logic:P-ASPIC+

作　　者：崔建英[1,2] Jianying Cui(Institute of Logic and Cognition,Sun Yat-sen University;Department of Philosophy,Sun Yat-sen University)

机构地区：[1]中山大学逻辑与认知研究所 [2]中山大学哲学系

出　　处：《逻辑学研究》2022年第1期14-32,共19页Studies in Logic

基　　金：国家社科基金重大项目(NO.19ZDA042);广东省哲学社会科学规划项目(NO.GD19CZX03)的研究成果。

摘　　要：抽象论辩框架(AF)是定性分析非单调常识推理的经典理论,基于AF关注论证结构化研究的一类论辩理论ASPIC+无法显化处理论辩理论中的不确定、不完全知识。本文基于可能性逻辑,提出结构化论辩理论P-ASPIC+,该理论满足良性论证系统的合理性公设条件,可量化处理论证中的不确定性知识,拓展ASPIC+的定性推理能力,避免利用概率理论量化AF理论所导致的概率分布不一致、不完全,以及论证概率解释不清等问题。argumentation Framework(AF),a classical theory for qualitative handling of commonsense reasoning,ignores the internal structure of arguments and the nature of the conflict relation completely specified.ASPIC+is one of the most prominent struc-tured theory on the basis of AF.However,it can not be used to explicitly describing uncertainty in arguments.Based on standard possibilistic logic,this paper puts forward a structured argumentation theory P-ASPIC+.Satisfying all four rationality postulates of a well-defined argumentation system,P-ASPIC+can quantitatively handle the uncertain knowledge in arguments and expand the qualitative reasoning capabilities of ASPIC+.Meanwhile,the problems of inconsistency and incompleteness of a probability distribu-tion function as well as unclarity about what the probability of an argument means,which are caused by relating the epistemic approach to probabilistic abstract argumentation to an account of probabilistic structured argumentation,are also avoided in P-ASPIC+.

关 键 词：可能性逻辑 ASPIC+ 抽象论辩框架 

分 类 号：B81[哲学宗教—逻辑学]