Sentence examples for use of logic from inspiring English sources

This system allowed us to make extensive use of logic checks and branching to minimize the number of questions an investigator would need to answer about a study patient, based upon their answers to pervious questions.

I follow the use of logic to an end, rather than the play of ideas.

The idea seems very natural when considered in abstraction from the actual use of logic.

The majority of verification methodologies in industry rely heavily on the use of logic simulation tools.

Al-Ghazālī was not a significant logician but is important nonetheless because of his influential defense of the use of logic in theology.

The key feature of HDL-based application-specific integrated circuits (ASIC) design flows is their use of logic synthesis technology.

Our dynamic formulation, shown in the previous section, makes use of logic-based ODEs.

This paper is organized as follows: first, we present the formulation of the mixed-integer dynamic optimization problem making use of logic-based dynamic models.

Thus, in Moore 1995b (Chapter 1), Robert C. Moore distinguishes three uses of logic in AI; as a tool of analysis, as a basis for knowledge representation, and as a programming language.

Also, a number of solutions have been proposed, which rely on the use of paraconsistent logics (Priest) or substructural logics (see the entries logic: paraconsistent, substructural logics).

In fact, the use of formal logic as a tool for knowledge representation in Computer Science frequently requires the integration of several logic systems into a homogeneous environment.