| 词汇 | unsatisfiable |
| 释义 | BETA Examples of unsatisfiableunsatisfiable isn’t in the Cambridge Dictionary yet. You can help! Since !x-freedom is closed under by definition, any tautologies/unsatisfiable formulae are !x-free. We only need a constraint solver to determine minimal unsatisfiable constraints and a constraint simplifier to display types as succinctly as possible. A given description is satisfied by a set of feature structures, which is empty if the description is unsatisfiable. In the ontological context, incoherency is also important because unsatisfiable concepts often indicate a conceptualization problem in the ontology and should thus be avoided. Completeness of the algorithm simply means that, when picking formulas from the nth space, the answer is 'unsatisfiable' with high probability, too. A possible complication of using inequality constraints with atoms is that, with a sufficient number of inequality constraints, the constraints may become unsatisfiable. Nodes containing an unsatisfiable set of equality atoms are said to be failed and have no children. According to this result, the relation preserves the requirements of a constraint solver and the constraint solver steps fail only in case of an unsatisfiable constraint store. First of all, we require the algorithm to be correct in that the unsatisfiable answer implies that the input formula really is unsatisfiable. The cupidity of a nation is never ending and is unsatisfiable. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 There are several practical methods of computing minimal unsatisfiable cores. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This can be analyzed to produce a smaller unsatisfiable core. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Even if constraint propagation does not produce an empty domain or an unsatisfiable constraint, it may nevertheless reduce the domains or strengthen the constraints. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. As a result, if this set is detected unsatisfiable, the interpreter backtracks. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. If the answer is no, the formula is unsatisfiable. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Such a set is easily recognizable as satisfiable or unsatisfiable with respect to the semantics of the logic in question. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Completeness can also be proved: if a set of formulae is unsatisfiable, there exists a closed tableau built from it by these rules. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Tableaux with unification can be proved complete: if a set of formulae is unsatisfiable, it has a tableau-with-unification proof. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This operation may not detect inconsistency even if the constraint store is unsatisfiable. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。