支持术语公理约束的扩展模糊描述逻辑推理

来源 :软件学报 | 被引量 : 0次 | 上传用户：socks2010

【摘要】

：

扩展模糊描述逻辑是对描述逻辑的一种模糊扩展，支持对复杂模糊知识的表示和推理，但该逻辑缺乏支持术语公理约束的推理算法．提出扩展模糊描述逻辑EFALCR＋（extended fuzzy attributi

【作者】

：

康达周徐宝文陆建江李言辉

【机构】

：

东南大学计算机科学与工程系,江苏省软件质量研究所,解放军理工大学指挥自动化学院

【出处】

：

软件学报

【发表日期】

：

2007年7期

【关键词】

：

描述逻辑模糊 TBox(terminological box) 推理语义WEB 知识表示 description logic fuzzy Tbox （t

【基金项目】

：

Supported by the National Natural Science Foundation of China under Grant Nos.60373066, 90412003 （国家自然科学基金）, the National Natural Science Funds for Distinguished Young Scholar of China under Grant No.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

扩展模糊描述逻辑是对描述逻辑的一种模糊扩展，支持对复杂模糊知识的表示和推理，但该逻辑缺乏支持术语公理约束的推理算法．提出扩展模糊描述逻辑EFALCR＋（extended fuzzy attributive conceptdescription laJlguage with complements and transitive roles）的受限TBox（terminological box）描述术语公理，给出受限TBox约束下的EFALCR＋推理算法，并对该算法进行优化，证明优化后的算法是正确完备的，时间

其他文献

诵经典诗文，做“四好”少年——江苏省靖江市马桥镇中心小学活动掠影

靖江市马桥镇中心小学创办于1948年，先后三次异地搬迁，现位于马桥镇振兴南路。近年来，学校坚持“让社会满意，让家长放心，让学生成才”的办学理念，积极开展实实在在的教育教学活动、

期刊

中心小学马桥镇靖江市经典诗文江苏省家长学校少年教育教学活动

“错误”——通往自我建构之途的阶梯

人们通过建构自己对知识的理解来进行学习。由于学习者必须逐渐认识这个世界，所以科学知识的学习是一个不断构造和重新组织的过程，在知识不断增长的过程中，每个现有观点都是暂时的概念中转站。在以此为理念的建构主义的课堂教学中，学生主体建构知识的过程就是由当前理解通向更为复杂的新理解的过程，学生通过积极思考将教学内容内化为自己的知识。儿童在目前阶段产生“不完全正确”或者是“错误”的认识，既是他们在学习过程中必

期刊

自我建构科学知识阶梯学生主体学习者课堂教学建构主义建构知识

防火门不防火法庭讨说法

几年前，扬州市第一人民医院病房楼里，在安装了某种消防报警系统之后，人们却并没找到安全感，反而被所谓的自动报警系统弄得焦头烂额原因在于，这一系统误报频频，所谓的“自动”报警，报

期刊

防火门病房楼自动报警系统消防报警系统安装安全感扬州市第一人民医院原因误报

脑筋对对碰

1、盆里有6个馒头；6个小朋友每人分到1个，但盆里还留1个，为什么？（）2、你能以最快的速度把冰化成水吗？（）

期刊

初等教育智力游戏游戏方法游戏规则

基于GMR-13G协议栈的自动测试方法

国际标准ISO/IEC9646定义了4种端系统抽象测试方法,其导出的测试框架无法满足第三代对地球同步轨道移动无线接口（Geostationary Earth Orbit Mobile Radio Interface,GMR-13G）

期刊

移动卫星通信系统协议测试实时性自动测试mobile satellite communication system protocol test rea

险种介绍：家庭财产保险简介

期刊

家庭财产保险保险业务中国人民保险公司赔偿责任缴费方式

巧测树高

俗话说得好，“世上无难事，只怕有心人。”我们来认识一下下面的这位小朋友是怎样运用数学知识解决问题的。　　在一个阳光灿烂的日子里，我和小伙伴们在空地上玩耍。玩着玩着，一个小伙伴忽然指着空地上的一棵树问道：“你们知道这棵树有多高吗?” 其他小伙伴都愣住了，不知道该怎么办。我也有点伤脑筋，后来仔细思考了一会儿，就想出了办法。我胸有成竹地对那个小朋友说：“你回家拿把尺子来，我能测出这棵树的高度。”　　他

期刊

树高“比”数学课老师学习

新世纪，我们怎样面对火灾（二）

公元1000年时，我国北宋真宗年间，成立了世界上最早的官办专职消防队——“防隅军”。当年的宋都汴梁(今开封市)城内，设有望火楼，其楼下屯驻有与火灾战斗的专门负责消防工作的部队

期刊

火灾消防队消防工作消防事业大城市南京市开封市中国世界东南沿海

幽默8则

学生甲：“听说你对历史很了解。”学生乙：“当然，博古通今。”学生甲：“那你讲讲‘老子’的故事吧!”学生乙：“你说话怎么一点也不礼貌？”

期刊

幽默学生历史

苏派新生代名师的教学主张蔡宏圣

一个属猴的男人，自然有诸多猴性。他的身材一如瘦猴，阐释着“浓缩的都是精华”这句名言，多年如一，体重稳定在60千克上下。四十多了，也具有了这种年纪的名师应该有的标签：特级和中高

期刊

教学质量名师新生代形体训练课主张身材毕业师范

支持术语公理约束的扩展模糊描述逻辑推理

与本文相关的学术论文