动态描述逻辑的可拓集合扩展  

Extension of Dynamic Description Logic Based on Extension Set

作　　者：王静[1] 张健沛[1] 杨静[1] 程丽丽[1] 

机构地区：[1]哈尔滨工程大学计算机科学与技术学院,哈尔滨150001

出　　处：《计算机科学》2009年第3期150-152,共3页Computer Science

基　　金：国家自然科学基金项目(60673131);黑龙江省自然科学基金项目(F2005-02);"东西分析"学术创新奖学金资助

摘　　要：通过对可拓集合与经典集合、模糊集合的分析比较,说明可拓集合的特点和优点,用可拓集合代替经典集合或模糊集合作为动态描述逻辑DDL的集合论基础,对DDL进行扩展,生成了一种新的描述逻辑DDLES,并给出了DDLES中概念、关系和实例的描述形式以及它们的语义解释,最后对传统描述逻辑ALC、模糊DDL和DDLES中的Abox形式进行了比较。The advantages and characteristics of extension set were presented by comparing extension set with classical set and fuzzy set, and the extension set was introduced as the set theory foundation of dynamic description logic DDL repalcing classical set and fuzzy set to extend DDL,and a new kind of description logic DDLES was proposed,the description form and the semantic explanation of concept, rote, instance were given. At last the comparison between the form of Abox in ALC,Fuzzy DDL and DDLES was discussed.

关 键 词：可拓集合 动态描述逻辑 经典集合 模糊集合 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]