• This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.

    结果可以用于证明逻辑形式系统我们所提出广义反驳方法完备性。

    youdao

  • The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.

    广义量词Q逻辑模型推广取值完备弱可格上

    youdao

  • The logic is that parse will look first for a string, then for an integer, and finally for a real, in that order, in the input stream.

    这里逻辑parse输入首先查找一个字符串然后查找整数,最后查找实数

    youdao

  • This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

    用于一阶逻辑方程序的自动理论证明器,用于支持语言处理中的推理

    youdao

  • Continuous first-order logic is an analog of classical first-order logic.

    连续逻辑经典一阶逻辑一个类比

    youdao

  • When the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT.

    解释论域固定大小有限集合时,一逻辑公式的可满足性问题可以等价地归约SAT 问题。

    youdao

  • The familiar semantics for first-order logic is extensional in that it is involved in individual objects rather than in any property entities.

    熟知的一逻辑语义因为只论及个体对象涉及属性实体而认为外延的。

    youdao

  • Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

    描述逻辑知识表示形式化语言,是一阶逻辑的可判定子集

    youdao

  • HOL is more expressive than first-order logic and enables a concise description of complex properties.

    HOL一阶逻辑有表现力给复杂逻辑更加简洁描述

    youdao

  • In order to analyze the non-repudiation and fairness properties under one frame, a set of first-order logic syntax and semantics for non-repudiation protocols was proposed, and a model was built.

    为了将密码协议的非否认公平性统一在框架之下更好地进行分析,提出适用于分析非否认性和公平性的一阶逻辑语法语义

    youdao

  • In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.

    为了形式化验证数字现金安全性,本文经典一阶逻辑基础上,吸取了多类逻辑、动态逻辑和非单调逻辑的思想,提出了BZL逻辑模型

    youdao

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

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

    youdao

  • The aim of this article is to establish the completeness theorem of elementary first-order temporal logic.

    本文的目的基本时态逻辑建立一个完备性定理

    youdao

  • We may also use the first-order temporal logic to set some specific formal systems for various fields of studies.

    我们使用时态逻辑各种研究领域建立一些特定形式系统

    youdao

  • In an interesting twist of logic, the teachings tell us that in order to always be journeying forward, we must first turn back to our origin: the primeval ground of basic goodness.

    这是一个有趣逻辑悖论:香巴拉教法告诉我们为了不断前行我们首先回到我们本源我们美德原始基础

    youdao

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

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

    youdao

  • Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.

    描述逻辑一阶谓词逻辑可判定子集具备强大知识表示推理功能

    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
- 来自原声例句
小调查
请问您想要如何调整此模块?

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

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