论文部分内容阅读
鉴于经典描述逻辑不能表达不确定知识，文中将云模型、描述逻辑SHOIQ和模糊逻辑相结合，提出了一种基于云的模糊描述逻辑C-SHOIQ，用于表达不确定知识．首先给出了C—SHOIQ的语法和语义，并以实例分析了C—SHOIQ具有处理知识的随机性和模糊性的能力；然后给出了C-SHOIQ的推理方法及映射C—SHOIQ知识库为经典SHOIQ知识库的改进规则，并论证了C—SHOIQ和对应的经典SHOIQ之间概念可满足性的一致性关系；最后论证C—SHOIQ是对模糊SHOIQ表达能力的扩展．