论文部分内容阅读
为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和的中介逻辑命题演算系统MPN和中介逻辑谓词演算系统MFN,并证明了MPN与MP*、MFN与MF*的表达能力等价.MFN将为进一步讨论不完全信息数据库作准备.
中介逻辑演算系统MPN及MFN
【摘 要】
：
为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和的中介逻辑命题演算系统MPN和中介逻辑谓词演算系统MFN,并证明了MPN与MP*、MFN与MF*的表达能力
【机 构】
：
南京航空航天大学计算机科学与工程系,南京,210016南京通信工程学院数学教研室,南京,210016;南京大学计算机软件新技术国家重点实验室,南京,210093;
【出 处】
：
模糊系统与数学
【发表日期】
：
1999年2期
其他文献
在学习外语中，词汇是第一块绊脚石，作文则是最后一块。写作文不难可要写好一篇作文却难，尤其是一篇能赢得高考高分，评委青睐的好文章更是难上加难。本文主要针对写好高考作文，考生
民族传统体育运动在高校的开展已非常普及，而在中学，学生对民族传统体育运动的接触非常少，而国内外对此的研究也很少。对此结合当前学校已经开展的一些运动，说明民族传统体育运动
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
A new pterosaur (Pterodactyloidea,Tapejaridae) from the Early Cretaceous Jiufotang Formation of west
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
语言教学不应只是单纯的语言技能的传授，。二十多年来学术界和教育界对文化教学在外语教学中的地位和作用已经达成了共识。在把文化导入日语教学的过程中，对神话、民间传说的灵
以Mn(OH)2作为反应前驱体,LiOH为锂化剂,(NH4)2S2O8为氧化剂,采用原位氧化插层反应方法,在缓和的实验条件下合成出层状正交结构LiMnO2.采用X射线粉末衍射(XRD)、电感耦合等离
期刊