【摘要】 针对普通的模糊描述逻辑使用单个隶属度无法准确表示不精确知识,而且描述逻辑是在抽象层次上描述知识,对实体的数值信息缺乏强有力的表达手段的问题,提出了一种基于vague集并结合具体域的模糊描述逻辑——vague ALC(D).介绍了用隶属度区间来表示模糊知识的vague集,给出了vague ALC(D)的语法和语义,指出了它的推理问题,同时也给出了相应的tableaux算法.vague ALC(D)能够更准确地表示和推理含有数值信息的模糊知识,增强了模糊描述逻辑的表达能力和推理能力.更多还原

【Abstract】 The ordinary fuzzy description logic with a single membership degree is unable to represent imprecise knowledge but describes knowledge at an abstract level,thus lacking powerful means to express the numerical information on physical substances.A fuzzy description logic based on vague sets and combined with concrete domain,named vague ALC(D),is therefore proposed,where the vague sets are employed to represent fuzzy knowledge by membership degree intervals.The syntax,semantics and inference rules of vague ALC(D) are given,as well as the relevant tableaux algorithm that is developed for reasoning in the vague ALC(D).The vague ALC(D) enables the representation and inference of fuzzy knowledge including numerical information to be more accurate,thus enhancing its expressability and reasonability in fuzzy description logic.更多还原