decision procedure

noun

, Logic.

1. a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions.

Word History and Origins

Origin of decision procedure¹

First recorded in 1940–45

Example Sentences

The informational base for this class of rules, of which the majority decision procedure is a prominent example, is thus extremely limited, and it is clearly quite inadequate for making informed judgments about welfare economic problems.

From Project Gutenberg