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

• 作 者: 马丽娜 王国俊
• 机 构: 陕西师范大学数学与信息科学学院
• 出 处: 陕西师范大学学报：自然科学版
• 发表日期: 2011年2期
• 关键词: 广义MP问题 α-三Ⅰ算法 极小α公式 形式化α-三Ⅰ解 generalized modus ponens（GMP） α-triple Ⅰ method min
• 基金项目: 国家自然科学基金重点资助项目（10771129）,国家自然科学基金青年资助项目（61005046）, 陕西省自然科学基础研究计划项目（2010JQ8020）

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