• Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.

    讨论了三种时间逻辑方法:一阶谓词演算模态逻辑具体化逻辑。

    youdao

  • Predicate logic of first order is the most classical calculation system in modern logic.

    谓词逻辑现代逻辑最为经典演算系统

    youdao

  • The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.

    文章谓词模型访问控制约束规则进行形式化描述,并讨论了模型业务流程管理系统中的实现方法

    youdao

  • In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge.

    知识库系统模型中,知识表示采用谓词(SDSS)逻辑和案例两者相结合方式

    youdao

  • In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge.

    知识库系统模型中,知识表示采用谓词(SDSS)逻辑和案例两者相结合方式

    youdao

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

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

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