decidability


Also found in: Thesaurus, Legal, Idioms, Encyclopedia, Wikipedia.

de·cide

 (dĭ-sīd′)
v. de·cid·ed, de·cid·ing, de·cides
v.tr.
1.
a. To reach a conclusion or form a judgment or opinion about (something) by reasoning or consideration: decide what to do.
b. To cause to make or reach a decision: "The presence of so many witnesses decided him at once to flee" (Robert Louis Stevenson).
2. To settle conclusively all contention or uncertainty about: decide a case; decided the dispute in favor of the workers.
3. To influence or determine the outcome of: A few votes decided the election.
v.intr.
1. To pronounce a judgment; announce a verdict.
2. To reach a decision; make up one's mind.

[Middle English deciden, from Old French decider, from Latin dēcīdere, to cut off, decide : dē-, de- + caedere, to cut; see kaə-id- in Indo-European roots.]

de·cid·a·bil′i·ty n.
de·cid′a·ble adj.
de·cid′er n.
Synonyms: decide, determine, settle, rule, conclude, resolve
These verbs mean to come to a decision about. Decide has the broadest range: The judge will decide the case on its merits. We decided to postpone our vacation for a week.
Determine has a similar range but often involves somewhat narrower issues: The doctor determined the cause of the infection. The jury will determine the fate of the defendant.
Settle stresses finality of decision: "The lama waved a hand to show that the matter was finally settled in his mind" (Rudyard Kipling).
Rule implies that the decision is handed down by someone in authority: The committee ruled that changes in the curriculum should be implemented.
Conclude suggests that a decision, opinion, or judgment has been arrived at after careful consideration: She concluded that the criticism was unjust.
Resolve stresses the exercise of choice in making a firm decision: I resolved to lose weight.

decidability

(dɪˌsaɪdəˈbɪlɪtɪ)
n
1. the capability of being decided
2. logic the capability of being proven as having or not having a particular quality
Translations
décidabilité
References in periodicals archive ?
The workshop gave rise to rich discussions and an open issue emerged: how to define fragments of existential ASP covering lightweight ontological languages while keeping decidability and efficiency?
V * D on pseudovarieties preserves decidability of the separation problem, while it has been shown by Auinger (2010) that it does not preserve decidability of the membership problem (on the other hand, the status with respect to separation is unknown for other operators that do not preserve the decidability of membership, such as the power, as shown by Auinger and Steinberg (2003)).
3 A Remark on the Decidability of the Necessity of Axioms
Keywords: epigroup, finite semigroup, decidability of equational theory, finite basis problem
Margenstern, "Frontier between decidability and undecidability: a survey," Theoretical Computer Science, vol.
It is powerful in knowledge description ability, reasoning decidability, and knowledge reusability and more importantly there are available supporting reasoners such Pellet [17] and Racer.
Objective: Finite automata are fundamental objects in Computer Science, of great importance on one hand for theoretical aspects (formal language theory, decidability, complexity) and on the other for practical applications (parsing).
This broad conception is linked to a series of sub-peculiar theories considered as typical of legal positivism such as the imperativistic theory, the coactionistic theory, the legal sources theory, the theory of declarative interpretation of law, the theory of legal system considered as a structured whole whose semantic features are completness, consistency and decidability.
Performance evaluation was done with decidability, EER, DET (Detection Error Trade-off) curve shown better performance than other methods.
Dimensions defined as contestability, availability, decidability and vulnerability also have their own measurement problems.
Wittgenstein on irrationals and algorithmic decidability, Synthese, 118, 279-304.
By Chapter 18 we arrive at electronic computers, and the subjects from then on are relatively modern: algorithms, decidability, information theory, networks and plenty more.