山东大学学报(理学版)

作者：赵双燕,吴家超

单位：山东师范大学数学与统计学院, 山东 济南 250358

关键词：论辩框架,模糊集,模糊论辩框架,哥德尔语义,哥德尔三角模,

模糊论辩框架的哥德尔语义体系涵盖几种基本的外延语义,却未对各外延语义的性质展开进一步研究。这为该语义系统的计算和快速识别带来一定的困难。文章通过对各外延语义的数值特征的深入研究,为上述问题提供一定的解决方案。借助于哥德尔三角模的基本性质,逐一推导哥德尔语义体系中无冲突集、可容许外延、完全外延、优选外延(稳定外延)和基外延的数值特征,并在无圈、奇数圈和偶数圈的模糊辩论框架中分别给出基外延的算法。这些结论是对该语义体系的理论推广;同时,绕过定义直接依据数值判定外延语义的方法,以及从空集计算基外延的算法,是对该语义体系在算法和快速识别方面的发展。

来源：2022年第8期

《山东大学学报(理学版)》期刊编辑部

查看山东大学学报(理学版)杂志2022年第8期