广义MP问题的α-三Ⅰ解的形式化理论

• 作者: 王国俊 马丽娜
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 广义MP问题 α-三Ⅰ算法 极小α公式 形式化α-三Ⅰ解
• 年，卷（期）: 2011,（2）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 13-16,22
• 分类号: O141.1
• 字数: 4795字
• 语种: 中文

摘要

研究了二值命题逻辑中模糊推理的全蕴涵α-三I算法的形式化问题.提出了(F(S),(＜))中的极小α公式的概念,当α∈{k/2n|k=0,1,…,2n,n=1,2,…}时得到如下结果:(1)全体极小α(α(∈){0,1})公式构成(F(S),(＜))中的反链;(2)当α=1时,全体极小α公式之集是相容的;当α≠1时,全体极小α公式之集是不相容的.证明了广义MP问题的形式化α-三I解的存在性定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
2	马丽娜	陕西师范大学数学与信息科学学院	19	167	4.0	12.0