This language of first - order logic is very important.

一阶逻辑语言是非常重要的.

互联网

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤.

互联网

This paper describes a methodology based on ILP for upgrading na ? ve Bayesian classifiers to first - order logic.

该文提出形成朴素贝叶斯分类器的一阶扩展的一般方法.

互联网