论文部分内容阅读
研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对象是模糊约束,针对模糊约束引进可满足性概念,研究模糊约束可满足性相关性质.利用模糊约束的概念,模糊断言间的推理可以直接在语义环境下加以考虑,因此,以模糊约束为基本元素的模糊推理形式系统随之建立.主要分析新产生断言有效性与模糊约束集可满足性之间的关系,并在此基础上给出了模糊推理形式系统的推理规则.进一步的工作可探讨模糊推理形式系统的可靠性与完全性,建立推理过程的能行机制.研究结果可在人工智能和计算机科学等领域得以应用.
The fuzzy first-order modal logic based on credibility is studied, and the fuzzy first-order modal logic semantics and reasoning formal system description based on ordinary domain are given. The concept of fuzzy constraint is considered in order to effectively reason the fuzzy assertion. Constraint is an expression in which both the grammatical component and the meaning information are included.The basic object in the system of fuzzy reasoning is fuzzy constraints, introducing the concept of satisfiability for fuzzy constraints, and researching the related nature of fuzzy constraints satisfiability.Using fuzzy constraints The reasoning between concept and fuzzy assertion can be directly considered in the semantic context, so the fuzzy reasoning formal system with fuzzy constraint as the basic element is built up.It mainly analyzes the relationship between the effectiveness of new generation assertion and the satisfiability of fuzzy constraint set And on this basis gives the reasoning rules of fuzzy reasoning formal system.Further work can explore the reliability and completeness of fuzzy reasoning formal system and establish the feasible mechanism of reasoning process.The results can be used in artificial intelligence and computer Science and other fields to be applied.