go top

propositional modal logic

  • 命题模态逻辑

网络释义专业释义

  命题模态逻辑

2.1 PML 形式系统概述 关于命题模态逻辑(PML,Propositional Modal Logic)的描述从略,参见[1, 21-23, 33]。

基于6个网页-相关网页

短语

Fuzzy Propositional Modal Logic 模糊模态逻辑

modal propositional logic 模态命题逻辑

fuzzy modal propositional logic 模糊模态命题逻辑

Normal Modal Propositional Logic System 正规模态逻辑系统

 更多收起网络短语
  • 命题模态逻辑 - 引用次数:2

    参考来源 - 基于模糊命题模态逻辑的形式推理系统(英文) in C
  • 命题模态逻辑 - 引用次数:1

    参考来源 - 强模态归结

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.

    目前,命题逻辑成为人工智能以及计算机科学等其他领域有效工具谓词模态逻辑不是

    youdao

  • Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.

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

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定