一阶谓词逻辑 meaning in Chinese

first order predicate logic
first-order logic
first-order predicate logic

Drs and the formula of first - order predicate logic
与一阶谓词逻辑公式
A model representation method based on first order predicate logic
一种基于一阶谓词逻辑的模型表示方法
Based on the principle of resolution refutation in fl , the inferring process of first order predication logic ( fopl ) is performed and sn inference based on pn is implemented
根据形式逻辑的归结反演原理，本文给出了一阶谓词逻辑的petri网推理的方法，实现了语义网络的petri网推理。
With the tool of first order predicate logic , this paper demonstrates that there theoretically exists a winning strategy for games which have two players and end after a fixed number moves to get one ' s win and the other ' s loss
摘要用一阶谓词逻辑的工具证明，那种有两方参与，根据规则在有限步内能确定胜负的游戏，从理论上说，存在必胜的方法。
Deductive database is introduction to knowledge and inferring mechnism in artificial intelligece in traditional database . studying it needs very strict theory model as background . relation model and datalog model can describe world
演绎数据库是人工智能中的知识及其推理机制在传统数据库中的引入，对它的研究需要有非常严谨的理论模型为背景，它用关系模型(描述事实)和datalog模型(描述规则)来描述世界，演绎数据库中主要采用一阶谓词逻辑表示。