软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2007年
7期
1563-1572
,共10页
康达周%徐宝文%陆建江%李言辉
康達週%徐寶文%陸建江%李言輝
강체주%서보문%륙건강%리언휘
描述逻辑%模糊%Tbox(terminological box)%推理%语义Web%知识表示
描述邏輯%模糊%Tbox(terminological box)%推理%語義Web%知識錶示
묘술라집%모호%Tbox(terminological box)%추리%어의Web%지식표시
扩展模糊描述逻辑是对描述逻辑的一种模糊扩展,支持对复杂模糊知识的表示和推理,但该逻辑缺乏支持术语公理约束的推理算法.提出扩展模糊描述逻辑EFALCR+(extended fuzzy attributive concept description language with complements and transitive roles)的受限TBox(terminological box)描述术语公理,给出受限TBox约束下的EFALCR+推理算法,并对该算法进行优化,证明优化后的算法是正确完备的,时间复杂性不超过指数,最后证明受限TBox约束下的EFALCR+推理问题是指数时间完全问题.优化算法的最坏时间复杂性已达到该问题推理算法的复杂度下界,是实现术语公理约束下模糊知识库推理的有效算法.
擴展模糊描述邏輯是對描述邏輯的一種模糊擴展,支持對複雜模糊知識的錶示和推理,但該邏輯缺乏支持術語公理約束的推理算法.提齣擴展模糊描述邏輯EFALCR+(extended fuzzy attributive concept description language with complements and transitive roles)的受限TBox(terminological box)描述術語公理,給齣受限TBox約束下的EFALCR+推理算法,併對該算法進行優化,證明優化後的算法是正確完備的,時間複雜性不超過指數,最後證明受限TBox約束下的EFALCR+推理問題是指數時間完全問題.優化算法的最壞時間複雜性已達到該問題推理算法的複雜度下界,是實現術語公理約束下模糊知識庫推理的有效算法.
확전모호묘술라집시대묘술라집적일충모호확전,지지대복잡모호지식적표시화추리,단해라집결핍지지술어공리약속적추리산법.제출확전모호묘술라집EFALCR+(extended fuzzy attributive concept description language with complements and transitive roles)적수한TBox(terminological box)묘술술어공리,급출수한TBox약속하적EFALCR+추리산법,병대해산법진행우화,증명우화후적산법시정학완비적,시간복잡성불초과지수,최후증명수한TBox약속하적EFALCR+추리문제시지수시간완전문제.우화산법적최배시간복잡성이체도해문제추리산법적복잡도하계,시실현술어공리약속하모호지식고추리적유효산법.