| 模糊描述逻辑FALNUI的tableaux推理 |
| |
| 引用本文： | 蒋运承,汤庸,王驹,申宇铭.模糊描述逻辑FALNUI的tableaux推理[J].计算机研究与发展,2007,44(8):1309-1316. |
| |
| 作者姓名： | 蒋运承 汤庸 王驹 申宇铭 |
| |
| 作者单位： | 1. 中山大学计算机科学系,广州,510275;广西师范大学计算机科学与信息工程学院,桂林,541004
2. 中山大学计算机科学系,广州,510275
3. 广西师范大学计算机科学与信息工程学院,桂林,541004 |
| |
| 基金项目： | 国家自然科学基金
,
中国博士后科学基金
,
广东省自然科学基金
,
教育部跨世纪优秀人才培养计划
,
广西青年科学基金 |
| |
| 摘 要： | 分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问题,但FALNUI缺乏相应的推理算法.提出了一种基于描述逻辑tableaux的FALNUI的可满足性推理算法,证明了该推理算法的正确性,以及提出了FALNUI的Tbox扩展和去除方法,证明了FALNUI的包含推理问题可以转化为可满足性推理问题,并给出了FALNUI的包含推理算法.FALNUI的tableaux推理算法为模糊ER模型的可满足性、冗余性和包含关系等自动推理的实现提供了理论基础.
|
| 修稿时间： | 2006-06-15 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
