Sentence examples for reasoning carried out from inspiring English sources

Thanks to the formal reasoning carried out by the SHARE client using the service-specific ontologies and any other ontologies referenced in the query, it is possible to infer the services needed to carry out a particular task even if the request does not use concepts identical to those found in the service definition.

In contrast to analytical reasoning, non-analytical reasoning is carried out rapidly and subconsciously and is based on experience and pattern recognition.

But this seems much too facile; a great deal of mathematical reasoning is carried out in terms of formulas with free variables, especially when reasoning about "arbitrary" objects from which one intends to draw general conclusions.

The piece of reasoning just carried out to prove the truth of KS should be available to any agent (person) with sufficient reasoning capabilities.

The conventional system carries out the data input for every specific shape, and the process planning reasoning is carried out on the basis of the database made for each shape.

The novelty is the algebraic style in which the fair choice operator is defined and in which formal reasoning is carried out; it avoids an appeal to the operational understanding of fairness.

One should at least wonder why such reasoning cannot be carried out in a modal logic.

Aumann (1995) showed that the above reasoning can be carried out for any extensive game of perfect information.

The present study investigated the role of the advanced EFL learners' private speech production characterized as being the externalization of the process of reasoning during carrying out reasoning-gap tasks.

That is the reasoning behind a study being carried out in the eye hospitals of Tübingen and Regensburg universities, in Germany.

Logical reasoning with diagrams is often carried out in virtue of their depiction of all possible models of a situation, up to topological equivalence of the diagrams (this, of course, depends on the particular diagrammatic system in use).