论文部分内容阅读
Horn子句逻缉理论在专家系统、模式识别、自然语言理解等人工智能研究领域发挥了重要的作用，但在进行不确定性推理时，基于二值情形的Horn子句逻辑就变得暗然失色了。为此，该文探讨了一类命题真值基于格上的，即基于格蕴涵代数的格值－类Horn子句逻辑，并给出了可靠性和完备性定理。
一类格值-类Horn子旬逻辑
【摘 要】
：
Horn子句逻缉理论在专家系统、模式识别、自然语言理解等人工智能研究领域发挥了重要的作用，但在进行不确定性推理时，基于二值情形的Horn子句逻辑就变得暗然失色了。为此，该文探
【机 构】
：
交通大学应用数学系(四川)
【出 处】
：
第八届全国多值逻辑与模糊逻辑学术会议
【发表日期】
：
1998年期
其他文献
该文较详细地介绍了日本生活污水处理中，格栅设备的设计选型和维护管理方面的经验，并用表列出了格栅设备的分类、特点、故障诊断及处理要点。
一、发病症状霜霉病一般先从下部叶片开始发病,发病初期产生淡绿色水渍状小点,病斑边缘不明显,后期发展为黄色不规则病斑,湿度大时叶背产生灰白色霉层,逐渐变为深灰色。棚室
该文以格值测度为工具，定义了一种新的模态词，并把直觉主义引入到模态逻辑中来，从而建立了一个新的直觉主义模态逻辑系统，并对其性质做了初步探讨。
该文通过理论和实测分析对格栅加筋地基的沉降和承载力进行分析，格栅加筋的沉降分析采用有限元分析方法，结果表明格栅采用２～３层较为合理，施工时应采用包裹型。沉降分析表明，格栅加筋
本文介绍了英国百莱凯盖格有限公司（BRACKETT GEIGER LTD）研制开发的两种新型清污设备，从产品结构、工作原理、所用材料等方面进行了详细地详述。
该文介绍了新型爬式格栅清污机有新型耙斗式格栅清污机的结构、机理、技术特点及应用范围。并同时与纲绳式格栅清污机、高链式格栅清污机、连续自动回转式格栅清污机进行了性