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.
American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

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
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
Translations
décidabilité
References in periodicals archive ?
The Judicial Decidability of Interpretive Issues Involving
Computing [R.sub.p] in general case can be hard and depends on the decidability of the used logic.
having to do with decidability and computer science known as the halting
For instance, is was proved by Steinberg (2001) and Place and Zeitoun (2015) that the classical operator V [??] 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)).
So the choice is not between life and death; the choice is between two modes of an 'unavoidable and always imminent death' (Death Penalty II, p6), between two theatres of death, or--and Derrida will use the word 'intolerable' here to characterise both sides of the alternative--two relations to calculation, mastery, decidability, and the question of 'when':
3 A Remark on the Decidability of the Necessity of Axioms
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.
Keywords: epigroup, finite semigroup, decidability of equational theory, finite basis problem
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.
However, in contrast to the concepts of ordinary logic, this system is extended by the concept of 'simultaneous decidability' which is characteristic for quantum mechanics." [11]
Performance evaluation was done with decidability, EER, DET (Detection Error Trade-off) curve shown better performance than other methods.