Jeffrey J.P.蔡。;托马斯·威格特;刘旭华 模糊算子逻辑中的不确定性推理。 (英语) Zbl 0755.03007号 IEEE传输。系统。人类网络。 21,第6期,1604-1608(1991). 引用于2文件 MSC公司: 03B52号 模糊逻辑;模糊逻辑 03B35型 证明和逻辑操作的机械化 68吨15 定理证明(演绎、解析等)(MSC2010) 关键词:模糊逻辑;自动定理证明;模糊算子;模糊分辨原理;不确定性推理 PDF格式BibTeX公司 XML格式引用 \textit{J.J.P.Tsai}等人,IEEE Trans。系统。人类网络。21,第6号,1604--1608(1991;Zbl 0755.03007) 全文: 内政部