Sentence examples for a decision procedure from inspiring English sources

Such a procedure is called a decision procedure.

A decision procedure based on Temporal Band Sequences was proposed in order to overcome this difficulty.

We formalize this problem and give a decision procedure for the verification.

Another well-known positive finding is that of the Polish-American semanticist and logician Alfred Tarski, who developed a decision procedure for elementary geometry and elementary algebra (1951).

Hence, if there were a decision procedure of validity (or satisfiability) for all sentences of the predicate calculus, then the halting problem would be solvable.

A decision procedure that addresses the necessary and sufficient condition for the topological conjugacy between two layers in a network is revealed.

This way of concluding the book reinforces the emphasis on virtuous character, as opposed to a decision-procedure for specific actions, and indicates that we might gain by returning to the ancient schools of moral philosophy that shared this emphasis.

For this reason, McTaggart suggests that we need a 'criterion' for moral rightness, i.e., a decision-procedure such that if we follow it we are most apt to do what we ought to do.

For Wittgenstein, however, it is a defining feature of a mathematical proposition that it is either decided or decidable by a known decision procedure in a mathematical calculus.

We agree that a fair procedure is insufficient if it is not also likely to produce good policy: "it must count in favor of a social decision procedure that it tends to produce the better decision".2 Still, a procedure that does this must successfully collect epistemically reliable evaluations of facts and norms.

This yields a modular decision procedure and pays off in transparent correctness proofs.