| 词汇 | example_english_well-founded |
| 释义 | Examples of well-foundedThese examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. In this way, readers of this research may judge for themselves whether the original analyses are well-founded. The same structure is repeated ad nauseam, in particular, the fax is very badly not well-founded. The standard operators relate the new concepts to standard set theory, and remain useful for defining well-founded constructions. How can we improve upon our current "muddling through" while incorporating the well-founded critiques of overly rationalist approaches? Approximating operators, stable operators, well-founded fixpoints and applications in non-monotonic reasoning. The order is well-founded; there is no infinitely decreasing chain from finite (r, c). This is clearly a well-founded ordering, as instantiating a type quantifier with a simple monotype decreases the overall number of quantifiers. It is nevertheless nice to note that in the special case of the well-founded semantics there exist two complementary characterizations using level mappings. To this end, logically well-founded context ontologies are introduced to enable the input of the current context representations for situational reasoning. This knowledge is essential for well-founded interpretations of static archaeological patterns in terms of dynamic cultural systems. For simplicity, we shall consider only deterministic, total strategies for well-founded games, which have a defined response in every position that can arise. For these more general operations, we need to combine co-recursion and well-founded recursion. However, this is not the case, since the direct implementation of addition makes no use of dependent types, proof arguments or well-founded recursion. We first analyze the standard well-founded semantics, the max deterministic semantics. The relation - m will be well-founded since multiset extension preserves well-foundedness. The assertion above is verified based on the definition of a (relative) well-founded relation. Taking issue with a well-founded commitment to caring can be a very tricky matter. However, it ignores well-founded criticism off what has been done. A well-founded decreasing measure may thus be formed by a combined measure of expression size, constructor numbers and function hierarchy number. It is obvious that deterministic semantics are also confluent (for instance, the well-founded semantics is an example of deterministic semantics). Thus, we obtain the following algorithm for computing the well-founded semantics. These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。