【摘 要】
：
专家系统中知识表示的产生式规则的前后件之间存在着的启发式信息就是刻划清楚后的充分条件关系。而正统数理逻辑的纯真值函数关系蕴涵关系不是充分条件关系,形形色色的模态
论文部分内容阅读
专家系统中知识表示的产生式规则的前后件之间存在着的启发式信息就是刻划清楚后的充分条件关系。而正统数理逻辑的纯真值函数关系蕴涵关系不是充分条件关系,形形色色的模态逻辑的模态算子实际上是特殊的一元真值函数关系,不是充分条件关系。制约逻辑的制约关系、必然关系是刻划清楚后的充分条件关系,是真正的逻辑的二元关系,可由之导出的“可能”、“偶然”、“彻底地偶然”关系也是真正的逻辑关系,满足启发式信息。制约逻辑克服了正统数理逻辑和形形色色的模态逻辑的诸多缺陷,在知识表示中不会产生语义畸变现象,表达能力强而且丰富。
其他文献
本文给出一个组合数合式,并由它推出一个组合数恒等式族。
从电池的标准电动势E^θ可以计算络合物的稳定常数K稳和难溶盐的溶度积常数Ksp，计算时需要先设计出具体的电池，再通过查还原电极电势表，算出所设计的电池的标准电动势(E^θ=ψ^
大学生社会化是指大学生个体对自身在社会中所扮演的角色以及所担负的社会责任的正确认识,是大学生成才的标志。为此,高校教育帮助他们正确地了解人的社会化过程、目标及要求
我县某羊场一临产母羊，进入分娩舍已有3天，始终不见羊水排出，表观出腹痛症状。随即对其检查，发现为子宫颈闭锁，现将诊治情况报告如下。
“益生健-SRSe”生物饲料添加剂是由具有生物活性的富硒饲用酵母菌（Selnium Saccharemyces cereuisiae）和微胶囊包埋的富硒乳酸粪肠球菌（Selnium Enterococcus faecalis）所组成，其
民族预科班,故名思义,就是高等院校为高考落选、又达到一定分数线的少数民族考生进入高等学府而开办的预备班.高等师范院校办的民族预科班,则是为有志于教育事业的高考落选又
变态反应是一种不正常的免疫反应，免疫反应的发生是因吸入性过敏原，如粉尘螨、花粉、霉菌等外源性变应原作用于人体所至，变应原物质作为外表的诱发因素固然重要，而人体对这种物质
糖尿病痛性神经炎是老年糖尿病患者常见的并发症之一,痛苦且无特效疗法.我于2000年至2005年用中药活血化瘀法治疗老年糖尿病痛性神经炎90例,疗效显著,报告如下.
在组合数恒等式中,有一类可以通过对等式x<sup>α</sup>（1+x<sup>β</sup>）<sup>n</sup>=sum form r=0 to n(C<sub>n</sub><sup>r</sup>x<sup>a+rB</sup>),（1+x）<sup>n</sup>=sum