模态推理

词语解释

模态推理（模態推理）[ mó tài tuī lǐ ]

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

分字解释

mo,mu模tai态tui推li理

造句

• 与此相关，考察经典逻辑和模态逻辑中的某些推理规则，讨论这些推理规则在日常推理中的有效性问题，是十分必要的。
• 其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
• 随着模态逻辑在知识表示及知识推理中的广泛应用，关于模态逻辑的研究越来越引起人们的重视。
• 作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
• 完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。
• 限定模态信息流逻辑系统和限定信息流蕴涵逻辑能够表征容错性信息流推理。
• 在第五章中，我们尝试构造能够表征容错性信息流推理的模态信息流逻辑系统。