%0 Journal Article
%T Fuzzy Reasoning Based on First-Order Modal Logic<br>基于一阶模态逻辑的模糊推理
%A ZHANG Xiao-Ru
%A ZHANG Zai-Yue
%A SUI Yue-Fei
%A HUANG Zhi-Sheng
%A <br>张晓如
%A 张再跃
%A 眭跃飞
%A 黄智生
%J 软件学报
%D 2008
%I 
%X 研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对象是模糊约束,针对模糊约束引进可满足性概念,研究模糊约束可满足性相关性质.利用模糊约束的概念,模糊断言间的推理可以直接在语义环境下加以考虑,因此,以模糊约束为基本元素的模糊推理形式系统随之建立.主要分析新产生断言有效性与模糊约束集可满足性之间的关系,并在此基础上给出了模糊推理形式系统的推理规则.进一步的工作可探讨模糊推理形式系统的可靠性与完全性,建立推理过程的能行机制.研究结果可在人工智能和计算机科学等领域得以应用.
%K modal logic
%K fuzzy reasoning
%K formal system
%K fuzzy constraint
%K satisfiability<br>模态逻辑
%K 模糊推理
%K 形式系统
%K 模糊约束
%K 可满足性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=AEFAD87A89D084431251F5E83DC3A679&yid=67289AFF6305E306&vid=2A8D03AD8076A2E3&iid=59906B3B2830C2C5&sid=57210C9CA729FA35&eid=09EED5B88340C864&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=13