模态推理

拼音mó tài tuī lǐ

注音ㄇㄛˊ ㄊㄞˋ ㄊㄨㄟㄌ一ˇ

繁体模態推理

词语解释

⒈ 以模态判断为前提或结论的推理。根据模态判断间的关系进行。也有直接推理和间接推理之分。例如由“不可能一切规律都已为我们所掌握”推出“必然有的规律还没有为我们所掌握”，就是一个直接的模态推理。

※ "模态推理"的意思解释、模态推理是什么意思由范文之家汉语词典查词提供。

1、限定模态信息流逻辑系统和限定信息流蕴涵逻辑能够表征容错性信息流推理。

2、作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。

3、与此相关，考察经典逻辑和模态逻辑中的某些推理规则，讨论这些推理规则在日常推理中的有效性问题，是十分必要的。

4、在第五章中，我们尝试构造能够表征容错性信息流推理的模态信息流逻辑系统。

5、随着模态逻辑在知识表示及知识推理中的广泛应用，关于模态逻辑的研究越来越引起人们的重视。

6、完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。

7、其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。