go top

first order predicate

  • 一阶谓词:一阶逻辑中的谓词,它可以应用于个体变量,但不能应用于谓词变量。

网络释义专业释义

  一阶谓词

目前常用的知识表示方法有七种,分别是:一阶谓词(First order predicate)表示法;产生式(Produc-tion)表示法;框架(Framework)表示法;语义网络(Semantic Networ..

基于28个网页-相关网页

  一阶述词

... 一阶模型化 first order modeling 一阶述词 first order predicate一阶述词演算 first order predicate calculus,FOPC ...

基于8个网页-相关网页

短语

First Order Predicate Calculus 一阶谓词逻辑 ; 一阶谓词演算 ; 第一阶述词演算

first order predicate logic [数] 一阶谓词逻辑 ; 叙述逻辑

first-order predicate logic 一阶谓词逻辑

First-order Predicate 阶谓词

distributed first-order predicate logic 分布一阶谓词逻辑

first-order predicate logics 一阶谓词逻辑

first-order predicate expression 一阶谓词公式

First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑

first t order predicate logic 一阶谓词逻辑

 更多收起网络短语
  • 一阶述词

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

双语例句

  • 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

  • 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

  • Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus.

    XQuery非正式设计为可以构造XML文档,而这些XML文档通过输入XML文档进行一阶谓词演算得出的。

    youdao

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

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

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