模态推理 造句

---

用词语模态推理造句

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