decision procedure

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

Origin:
1940–45

Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source Link To decision procedure
Encyclopedia Britannica
Encyclopedia

decision procedure

for a class of questions in mathematics and formal logic, the problem of finding, after choosing any question of the class, an algorithm or repetitive procedure that will yield a definite answer, "yes" or "no," to that question. The method consists of performing successively a finite number of steps determined by preassigned rules. In particular, the term is used for such procedures for finding whether-in a particular logistic system, logical calculus, or formal mathematical system-some given "well-formed formula" (generated in accordance with established formation rules) is or is not provable as a theorem of the system

Learn more about decision procedure with a free trial on Britannica.com.

Encyclopedia Britannica, 2008. Encyclopedia Britannica Online.
Cite This Source
Example sentences
Then, a decision procedure based on ground equational rewriting is applied.
The sample size and decision procedure should be such that the producer and consumer are satisfied.
The example used above will be used further to illustrate the difference between a formal and an informal decision procedure.
The emergency decision procedure does not apply to an agency decision to seek injunctive relief.
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature