1.4 企业生产管理过程建模的关键技术 (1) 一阶谓词逻辑(First Order Predicate Calculus)： 谓词逻辑是一种表达力很强的形式语言，谓词逻辑及其推理方法是人工智能中 的知识表示、机器推理、定理证明的基本方法。
基于16个网页-相关网页
一阶谓词演算(First order predicate calculus, FOPC)是形 式化语言的一个例子,广泛用于信息系统的描述。 第五章回顾了代数和分类,这些看上去更适合表达.
基于12个网页-相关网页
一阶述词 first order predicate 第一阶述词演算 first order predicate calculus，FOPC 一阶述词逻辑 first order predicate logic ..
基于4个网页-相关网页
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文档进行一阶谓词演算得出的。
This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
应用推荐