中文会议： 1996年中国智能自动化学术会议论文集（上册）

会议地点： 中国内蒙古呼和浩特

出版方 ： 中国自动化学会智能自动化专业委员会、中国人工智能学会计算机视觉及智能控制学会、IEEE控制系统学会北京分会、中国系统工程学会模糊数学与模糊系统委员会、内蒙古电力学院（内蒙古工业大学电力学院）

作　　者： ; ;

机构地区： 汕头大学工学院计算机科学与技术系

出　　处： 《1996年中国智能自动化学术会议》

摘　　要： UKRS是建立在算子FUZZY逻辑的λ-Horn集上,使用了λ-SLD归结推理机制作为其理论支持的一个基于不确定、不精确知识的推理系统。在UKRS中用λ-Horn子句表示知识,因算子FUZZY逻辑对于算子是显式表示的,故可以方便的描述不确定、不精确知识,并且支持不确定、不精确推理。

关 键 词： 算子 逻辑 集 不确定 不精确推理 算子

分 类 号： [TP182]

领　　域： [自动化与计算机技术] [自动化与计算机技术]