follow Dictionary.com

Is Tuesday named for a one-handed god?

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.
Origin
1940-1945
1940-45
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source
Examples from the web for decision procedure
  • 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.
Encyclopedia Article for decision procedure

decision problem

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 problem with a free trial on Britannica.com
Encyclopedia Britannica, 2008. Encyclopedia Britannica Online.
Cite This Source

Word of the Day

Difficulty index for decision procedure

Few English speakers likely know this word

Word Value for decision

11
13
Scrabble Words With Friends