decision problem

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 proof that there can be no such procedure. Truth-tables provide a decision procedure for the propositional calculus, whereas Church's theorem is a negative solution for the first-order predicate calculus with identity.

Philosophy dictionary. . 2011.

Игры ⚽ Поможем написать курсовую

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 — ▪ 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 …   Universalium

  • 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”