Sentence examples for by using predicate logic from inspiring English sources

Firstly, a syntactic verification step is applied by using predicate logic.

Take such objects as emeralds, which we classify by using the predicate "green".

A basic idea of IPA is that it uses concept similarities to select an appropriate analogous source using taxonomic information represented by first-order predicate logic.

This paper further advances a formal meta-modeling approach that uses first-order predicate logic to specify design patterns.

This is done by using a theorem prover for predicate logic which by a refutation method checks if this set is inconsistent or not.

Finally, a case study is given to explain this intelligent modeling method using the first-order predicate logic.

In this paper, an intelligent modeling and analysis method using the first-order predicate logic is proposed to evaluate the manufacturing performance.

Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.

One way to do this is to use a theorem about predicate logic proved by Kurt Gödel in 1930.

The expressiveness of the logic to be used would be dependent on what aspects we are interested in; but we can start by working with predicate logic.

LO performs functions usually provided by predicate logic.