模糊模态逻辑相关论文
基于形式系统的逻辑研究是知识工程研究领域的重要内容。模态逻辑(modal logic)及其各种扩展,如时态逻辑(temporal logic)、认知逻......
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中......
对克里普克语义进行了扩充,给出了模糊化的克里普克语义.然后讨论了模糊模态α-重言式.最后根据模糊关系R的不同情况讨论了相应的......
随着模态逻辑在思维科学、计算机科学等领域内的应用日益广泛,讨论模糊模态逻辑就显得很有意义.许多学者利用不同的方法研究了模糊......