论文部分内容阅读
提出了一种基于Kripke语义结构的上下文相关模糊命题逻辑系统,该逻辑系统中命题的真值是不惟一的,它依赖于可能世界W中的个体.文中还定义了逻辑联结词的运算和公式的语义模型.最后研究该逻辑系统中的归结方法.
上下文相关模糊逻辑系统及其归结方法
【摘 要】
：
提出了一种基于Kripke语义结构的上下文相关模糊命题逻辑系统,该逻辑系统中命题的真值是不惟一的,它依赖于可能世界W中的个体.文中还定义了逻辑联结词的运算和公式的语义模型
【机 构】
：
辽宁师范大学计算机与信息技术学院
【出 处】
：
辽宁师范大学学报：自然科学版
【发表日期】
：
2002年3期
其他文献
以密度泛函和电负性均衡原理为基础发展的原子-键电负性均衡方法的σπ模型（ABEECσπ）.并结合自编程序,计算了鸟嘌呤五种异构体的电荷分布和偶极矩,计算结果表明,所计算出的电
基于外商直接投资对东道国技术进步影响的技术引进、技术创新与技术市场化3个阶段,构建欧盟对华直接投资对中国技术进步影响的回归模型,并利用中国20个样本省（自治区、直辖市）
给出了((∈),(∈)∨(q))-正规模糊子群的定义,讨论了这种正规模糊子群的性质、用模糊点与模糊集的邻属关系定义了一种新的截集,并讨论了这种截集与(∈),(∈)∨(q))-正规模糊
目的：探讨新形势下医用耗材信息化管理的手段,确保医疗耗材的合理使用。方法：采用多维度数据分析方法对医用耗材数据进行整合处理,为医院决策部门提供依据;建立预警机制下的医
研究JDBC架构，并从实现者的角度研究JDBC驱动程序的4种类型，然后以MySQL为例探讨驱动程序的设计与实现，对需要解决的关键问题如静态结构、多线程安全、加载时注册等给出答案。
以从大连瑞泽农药公司的活性污泥中新分离到的1株氯苯高效降解菌作为研究对象,以海藻酸钠（SA）为包埋剂,以氯化钙（CaCl2）为固定剂制成固定化小球.通过研究不同包埋条件对固定化小
探讨健身气功·五禽戏锻炼对高甘油三酯血症（HTG）患者血浆细胞黏附分子及血脂水平的影响，采用随机选择HTG患者62例，随机分为运动组（实验组）和对照组，观察患者实验前后血浆可溶性
目的：研制一种新型抗强噪声通信头戴,在强噪声环境下既保证工作人员间的通话,又保护其听力。方法：利用压电陶瓷材料换能原理,将送、受话器集成一体,在护耳器中加入耳骨控耳塞,