%0 Journal Article %T 基于描述逻辑的模糊er模型的表示与推理 %A 张富 马宗民 严丽? %J 计算机科学 %D 2008 %X 重点分析了将er模型分别转化为描述逻辑alnui知识库和dlr知识库的不同之处。在深入研究了描述逻辑dlr的基础之上,对dlr进行了模糊化扩展,提出了一种新的模糊描述逻辑fdlr(fuzzydlr)。定义了fdlr的语法结构、语义解释以及知识库的形式,研究了如何将模糊er模型转化为fdlr的知识库。通过一个转化实例例证了fdlr能够很好地对模糊er模型进行表示,并利用fdlr的推理机制研究了模糊er模型的自动推理问题,同时给出了上述转化和推理问题的正确性证明。 %K er模型模糊er模型描述逻辑模糊描述逻辑 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=28016668&flag=1