decision problem

decision problem

logic
      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.

* * *


Universalium. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Decision problem — A decision problem has only two possible outputs, yes or no (or alternately 1 or 0) on any input. In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer,… …   Wikipedia

  • decision problem — The problem of finding an algorithm or decision procedure for deciding whether an arbitrary well formed formula of a logical system is a theorem of the system. A positive solution is a proof that such a procedure exists; a negative solution is a… …   Philosophy dictionary

  • decision problem — noun : the problem of finding an effective method for deciding whether a given formula is true within the framework of the calculus to which it belongs …   Useful english dictionary

  • Management Decision Problem — A Management Decision Problem is whereby when a situation arises, and management of a company needs to make a decision which requires research and hence starts the research process. There is no actionable guidance.It is simply a statement of the… …   Wikipedia

  • Decision theory — in economics, psychology, philosophy, mathematics, and statistics is concerned with identifying the values, uncertainties and other issues relevant in a given decision, its rationality, and the resulting optimal decision. It is closely related to …   Wikipedia

  • Decision-making software — (DMS) is a term integrating decision analysis tools to facilitate a person s decision making process, which results in a choice of a course of action or a variant among several alternatives. DMS belongs to the class of decision support systems… …   Wikipedia

  • Decision-making paradox — The word paradox (parádoxon (παράδοξον) in Greek) comes from the Greek words para (meaning against, contrary to) and doksa or doxa (meaning belief, understanding). A paradox is a seemingly true statement or group of statements that lead to a… …   Wikipedia

  • decision theory — Statistics. the theory of making decisions based on assigning probabilities to various factors and assigning numerical consequences to the outcome. [1960 65] * * * In statistics and related subfields of philosophy, the theory and method of… …   Universalium

  • Problem — A problem is an obstacle which makes it difficult to achieve a desired goal, objective or purpose. It refers to a situation, condition, or issue that is yet unresolved. In a broad sense, a problem exists when an individual becomes aware of a… …   Wikipedia

  • decision — sprendimas statusas T sritis Kūno kultūra ir sportas apibrėžtis Mąstymo vyksmas, kuriuo ieškoma atsako į teorinį ar praktinį uždavinį, problemą. atitikmenys: angl. decision; problem solving vok. Beschluss, m; Entscheidung, f; Urteil, n rus.… …   Sporto terminų žodynas

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”