模糊描述逻辑FALNUI的tableaux推理

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：ekinhushuang

【摘要】

：

分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问

【作者】

：

蒋运承汤庸王驹申宇铭

【机构】

：

中山大学计算机科学系,广西师范大学计算机科学与信息工程学院

【出处】

：

计算机研究与发展

【发表日期】

：

2007年8期

【关键词】

：

描述逻辑模糊描述逻辑 FALNUI TABLEAUX 推理算法模糊ER模型 description logic fuzzy description logi

【基金项目】

：

国家自然科学基金项目（60663001,60673135,60373081,60573010）,中国博士后科学基金项目（20060400226）,广东省自然科学基金重点项目（04105503）,教育部新世纪优秀人才支持计划基金项目,广西青年科学基金项目（桂科青 0640030）

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问题,但FALNUI缺乏相应的推理算法.提出了一种基于描述逻辑tableaux的FALNUI的可满足性推理算法,证明了该推理算法的正确性,以及提出了FALNUI的Tbox扩展和去除方法,证明了FALNUI的包含推理问题可以转化为可满足性推理问题,并给出了FALNUI的包含推理算法.FALNUI的tableaux推理算法为模糊

其他文献

有指向性的视觉注意计算机模型

注意把有限的处理资源优先分配给那些需要精细加工的信息,能提高视觉信息加工中的检测能力和响应速度.基于生物视觉系统的生理结构特点,建立了模拟生物视觉注意系统的有指向性的视觉注意计算机模型.模型首先模拟生物视网膜的成像机制,将视场图像转化为视网膜图像;然后将最大梯度边缘检测和c-均值聚类等方法相结合,对视网膜图像中的目标进行编码,分别提取每个目标的颜色、中心以及边缘点集合等基本信息;最后用知识库中指向

期刊

信息处理视觉注意计算机模型k-系数法注意边缘检测information processing computer model of visual att

医疗器械技术审评质量管理体系建设探讨

质量管理体系对于提高效率、推动可持续发展有重要意义。该文就医疗器械技术审评质量管理体系相关定义、构建原则、文件控制和测量分析改进、体系构建等方面进行了介绍和探讨

期刊

医疗器械技术审评质量管理体系

学人风采：陈保平教授

陈保平，1963年生，安徽桐城人。地理学硕士、教授，主要从事于自然地理学的教学与区域土地开发利用规划等研究工作。现为中国地理学会会员，池州市摄影家学会会员，池州学院青年教师导

期刊

教授中国地理学会自然地理学开发利用规划区域土地青年教师池州市摄影家

模糊描述逻辑FALNUI的tableaux推理

其他学术论文