摘要
ＵＫＲＳ是建立在算子ＦＵＺＺＹ逻辑的λ－Ｈｏｒｎ集上，使用λ－ＳＬＤ归结推理机制作为其理论支持的一个基于不确定、不精确知识的推理系统。在ＵＫＲＳ中用λ－Ｈｏｒｎ子句表示知识，因算子ＦＵＺＺＹ逻辑对于算子是显式表示的，故可以方便的描述不确定、不精确知识，并且支持不确定、不精确推理。
UKRS, established on λ-Horn set of operator fully logic, is an inference system based on uncertained and imprecise knowledge, inference mechanism of A-SLD resolution is its theoretical support. In UKRS we used SHorn clause to express knobly(lg￣. because operator of A--Horn clause is obvious in operator fuizy logic, UKRS is easy to descrilys uncertaine'l a n,I impTecise knowle,lge and wu pport uncertained and imprecise reasoning.
出处
《小型微型计算机系统》
CSCD
北大核心
1996年第9期31-34,共4页
Journal of Chinese Computer Systems
基金
国家自然科学基金
