说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 中介逻辑谓词演算MFM
1)  medium logic predicate calculus system MF~M
中介逻辑谓词演算MFM
2)  medium predicate logic system
中介逻辑谓词演算系统
1.
For medium predicate logic system MF, a new infinite value semantic interpretation that is l-interpretation is introduced, the l-resolution method is led into the MF.
给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的λ解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性。
3)  Medium Logic Predicate Calculus System
中介逻辑谓词演算
4)  Medium Logic Propositional Calculus
中介逻辑命题演算
5)  predicate logic
谓词逻辑
1.
Representation of design patterns based on predicate logic;
基于谓词逻辑的设计模式描述方法
2.
Theory of quasi-truth degrees of formulas in two-valued predicate logic;
一类二值谓词逻辑中公式的准真度理论
3.
By predicate logic,the solution is set up and the process of analysis is provided.
依据谓词逻辑规则建立解决方案,提供了求解的流程。
6)  predication logic
谓词逻辑
1.
From point of view of data mining in this paper,definition of background knowledge is given in narrow sense,and the technology of background knowledge representation is presented by using first order predication logic,based on deeply analyzing meaning and function of background knowledge in data mining.
该文从数据挖掘角度出发,在详细分析了背景知识在数据挖掘中意义和作用的基础上,狭义地给出了背景知识的定义,并提出了基于一阶谓词逻辑的背景知识技术。
2.
At first,this paper introduces presenting knowledge based on semantic network,and transfers expression knowledge of SNetL into the form of predication logic for inference.
介绍了基于语义网络的知识表示 ,并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式 ,将其用于推理。
3.
Firstly, This paper analyzes deadlock with predication logic according to request models, and then gives a general expression of deadlock; secondly, it describes the deadlock with temporal logic.
从逻辑的角度出发,根据请求模型用谓词逻辑分析死锁,并统一于一个通用的表示中;然后用时序逻辑方法进一步给出了一个更通用的死锁表示用逻辑方法表示死锁,便于程序的安全性验证 最后,把这些方法用于 Ada 程序的验证系统
补充资料:最小谓词演算


最小谓词演算
dicate calculus minimal functional cakuhs ~$L minimal pr-

最小谓词演算【m动血“目五.团.川。山川拐或mini四IPr-。五‘a七ealc山出;M班.“Ma肠aoe中州“朋.0二月‘.Oe Hc,-。e二Hael 一个谓词演算,它包括所有最小命题演算的公理模式,以及通常量词公理模式和推理规则,它们是: 丫xA(x)。A(t),A(r)。己xA(x)(t是任意项),分离法则(modus pol℃ns)以及 C OA(a)A(a)。C C“V xA(戈)’日xA(x)。C(变元a不在A(x)及C中出现).
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条