%0 Journal Article
%T 基于一阶模态逻辑的模糊推理
%A 张晓如？
%A 张再跃？
%A 眭跃飞？
%A 黄智生？
%J 软件学报
%P 3170-3178
%D 2008
%X 研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对象是模糊约束,针对模糊约束引进可满足性概念,研究模糊约束可满足性相关性质.利用模糊约束的概念,模糊断言间的推理可以直接在语义环境下加以考虑,因此,以模糊约束为基本元素的模糊推理形式系统随之建立.主要分析新产生断言有效性与模糊约束集可满足性之间的关系,并在此基础上给出了模糊推理形式系统的推理规则.进一步的工作可探讨模糊推理形式系统的可靠性与完全性,建立推理过程的能行机制.研究结果可在人工智能和计算机科学等领域得以应用.
%K 模态逻辑
%K 模糊推理
%K 形式系统
%K 模糊约束
%K 可满足性
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20081208&flag=1