模糊模态逻辑形式系统研究

《模糊模态逻辑形式系统研究》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、模糊模态逻辑形式系统研究摘要基于形式系统的逻辑研究是知识工程研究领域的重耍内容。模态逻辑(modallogic)及其各种扩展，如时态逻辑(temporallogic)＞认知逻辑(epistemiclogic)＞动态逻辑(dynamiclogic)＞表述逻辑(descriptionlogic)和行为逻辑(actionlogic)等目前已在人工智能的知识表示与知识推理和计算机科学等领域得到广泛应用。经典意义下的模态逻辑处理的断言是明晰的，即对断言的是否成立的回答只能用“Yes”或“No”，然而在现实世界中存在着人量非明晰的问题，即对这些问题的判断不能简单地用“Yes，或“No"来回答。因此

2、，经典意义下的模态逻辑无论是其表达述是应用都有一定的限制。为克服这-局限性，人们将模糊数学研究的思想引入了经典逻辑的研究，形成了各种各样的模糊逻辑，并在知识工程领域得到推广应用。木文以此为内容，将模糊理论与模态逻辑理论相结合，对模糊模态逻辑形式系统进行描述，并对模糊模态逻辑形式系统的性质以及模糊模态逻辑与经典模态逻辑Z间的关系进行探讨和研究。木文简要地冋顾了经典模态逻辑形式系统的基木概念与基木性质，基于可信度，引入了模糊断言的概念，并将经典可能世界语义进行了模糊扩展，具体内容包扌乩(1)给出了模糊命题模态逻辑(FPML)形式系统及其模糊可能世界语义的定义。包括：模糊断言、FPML的框架

3、、模型、可信度函数的扩展、模糊断言可满足性、模糊断言普效性的定义等等。分析了齐种FPML形式系统框架性质以及不同框架下的公理系统，并对公理在形成模糊断言后的断言普效性进行了分析。(2)分析了命题模态逻辑形式系统中定理形成模糊断言的普效性问题，通过引入正则模糊断言的概念，证明了基于正则断言推理下，定理正则断言是普效的。(3)对模糊一阶谓词模态逻辑(FFML)形式系统及其模糊可能世界语义进行了描述，给出了FFML模糊断言、基木框架、模型、解释扩展，赋值、模糊断言关于赋值的可满足性、模糊断言在模型中为真及其普效性的定义。(4)重点分析了常域FFML形式系统的性质。利用代入特例的概念，给出了F

4、ML重言式的定义，并对FML重言式的口J信度展开讨论，在一定的可信度上，证明了FML重言式的普效性。证明了在常域FFML形式系统中，基于正则断言推理下，定理正则断言是普效的。本文最后，对已冇工作进行了总结，并对未来的工作提出了设想。关键字：模态逻辑，模糊模态逻辑，模糊可能世界语义，可满足性，普效性ABSTRACTAResearchonFuzzyModalLogicFormalSystemABSTRACTThelogicresearchbasedonformalsystemistheimportantcontentintheresearchdomainsofknowledgeengine

5、ering.Modallogicanditsextensiontypes,suchastemporallogic,cpistcmiclogic,dynamiclogic,descriptionlogicandactionlogic,arewidelyapplyinginthedomainsofknowledgerepresentationandinferenceinAlandcomputerscienceatpresent.Theassertionsintraditionalmodallogicarecrisp.Thatis,assertionsaboutwhetheraformalp

6、ropositionholdsareyes-noquestions・Moreoftenthanthat,theassertionsencounteredintherealworldarenotpreciseandthuscannotbetreatedsimplybyusingtheyes-noquestions.Therefore,traditionalmodallogicislimitedwhetherinitsexpressionorinitsapplication.Forgettingoverthelocalization,peopleintroducethefuzzymathe

7、maticsthoughtintothetraditionallogicresearch,andformedvariousfuzzylogic.Thelogicisextendedandappliedinknowledgeengineering.Thepapertakesthisascontent,combinesthefuzzytheoryandmodallogic,describesthefuzzymodallogicformalsyste