3) first-order predicate expression
一阶谓词公式
1.
This paper studies the modeling of first-order predicate expression by using predicate/transion system.
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。
4) wffs of predicate calculus
谓词演算公式
5) fuzzy predicate logic formulas
模糊谓词逻辑公式
1.
Further, a theoretic basis for approximate reasoning on fuzzy predicate logic formulas is established.
提出了模糊谓词逻辑公式的有限解释真度和可数解释真度的概念,并讨论了它们的一系列性质。
6) fair predicate approach
公平谓词法
1.
This paper describes the mechanism of the publish/subscibe mode and message filtering arithmetic in JMS,and introduces an improved message filtering arithmetic based on fair predicate approach through analyzing the performance insufficiency in traditional method.
研究了JMS发布/订阅消息传递模式的工作机制,分析了JMS在对事件进行匹配时的过滤算法,针对该算法的不足提出了采用公平谓词法来改进JMS的消息过滤速度,改进方法对基于JMS的发布/订阅应用程序的开发具有一定的指导意义。
补充资料：谓词
分子式：
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条