decision problem

(redirected from Decision procedure)
Also found in: Wikipedia.

decision problem

(theory)
A problem with a yes/no answer. Determining whether some potential solution to a question is actually a solution or not. E.g. "Is 43669" a prime number?". This is in contrast to a "search problem" which must find a solution from scratch, e.g. "What is the millionth prime number?".

See decidability.
References in periodicals archive ?
Purchase Committee decision procedure, the winner is determined by the participant whose proposal best meets the customer%s requirements on the basis of the following criteria in order of importance:1.
Moral theorists once hoped that they could devise a decision procedure that would enable agents to solve difficult moral problems.
This decision procedure might, for instance, involve applying certain rules (48) or expressing particular character traits.
the choice of a majority decision procedure hardly suggests that
Will (or should) robots be able to learn from experience, and should a robot be "designed to act within ethical limits [that] require some ethical decision procedure, specific enough to yield practical results"?
At a scrutiny committee meeting in Stockton Town Hall, seven members of the council were to explain why they believed the decision procedure was flawed.
Suppose also that there is a decision procedure for determining whether or not a given person has robbed a liquor store and that this decision procedure is itself a just and reasonable one.
What disturbs me is the idea that a book about the moral hazard of military technologies should be written as if it was going to be read by robots; input decision procedure, output decision and correlated action.
Manufacturing priorities obtainment of parts for different decision procedure variant run.
Indeed, the court stressed the "co decision procedure [involving the parliament] in no way precludes a relatively rapid adoption of a legislative text.
Contributed paper topics include a semi-automatic methodology for repairing faulty web sites, bisimilarities induced by relations on actions, filtering retrenchments into refinements, and a theory of singly-linked lists and its extensible decision procedure.
in issues, which are controversial from the beginning, or where a closed theory or a generally accepted decision procedure does not (yet) exist.