|
|||||
|
|
| 基于一阶模态逻辑的模糊推理 | |
| 引用本文： | 张晓如,张再跃,眭跃飞,黄智生.基于一阶模态逻辑的模糊推理[J].软件学报,2008,19(12):3170-3178. |
| 作者姓名： | 张晓如 张再跃 眭跃飞 黄智生 |
| 作者单位： | 1. 江苏科技大学,计算机科学与工程学院,智能信息处理联合实验室,江苏,镇江,212003 2. 中国科学院,计算技术研究所,智能信息处理重点实验室,北京,100190 3. Department of Artificial Intelligence, Vrije University of Amsterdam, Netherlands |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant Nos.60573063, 60573064 (国家自然科学基金); the National Basic Research Program of China under Grant Nos.G1999032701, 2003CB317008 (国家重点基础研究发展计划(973)); the National Laboratory of Intelligent |
| 摘 要： | 研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对象是模糊约束,针对模糊约束引进可满足性概念,研究模糊约束可满足性相关性质.利用模糊约束的概念,模糊断言间的推理可以直接在语义环境下加以考虑,因此,以模糊约束为基本元素的模糊推理形式系统随之建立.主要分析新产生断言有效性与模糊约束集可满足性之间的关系,并在此基础上给出了模糊推理形式系统的推理规则.进一步的工作可探讨模糊推理形式系统的可靠性与完全性,建立推理过程的能行机制.研究结果可在人工智能和计算机科学等领域得以应用. |
| 关 键 词： | 模态逻辑 模糊推理 形式系统 模糊约束 可满足性 |
| 收稿时间： | 2007/11/18 0:00:00 |
| 修稿时间： | 7/3/2008 12:00:00 AM |
Fuzzy Reasoning Based on First-Order Modal Logic |
|
| ZHANG Xiao-Ru,ZHANG Zai-Yue,SUI Yue-Fei and HUANG Zhi-Sheng.Fuzzy Reasoning Based on First-Order Modal Logic[J].Journal of Software,2008,19(12):3170-3178. | |
| Authors: | ZHANG Xiao-Ru ZHANG Zai-Yue SUI Yue-Fei and HUANG Zhi-Sheng |
| Abstract: | |
| Keywords: | modal logic fuzzy reasoning formal system fuzzy constraint satisfiability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |