منابع مشابه
From Local to Global Consistency* from Local to Global Consistency*
In reasoning tasks involving the maintenance of consistent databases (so called "constraint net works") it is customary to enforce local consistency conditions in order to simplify the construc tion of a globally coherent model of the data. In this paper we present a relationship between the sizes of the variables' domains and the level of local consistency sufficient to ensure global con si...
متن کاملCCICheck: using µhb graphs to verify the coherence-consistency interface
In parallel systems, memory consistency models and cache coherence protocols establish the rules specifying which values will be visible to each instruction of parallel programs. Despite their central importance, verifying their correctness has remained a major challenge, due both to informal or incomplete specifications and to difficulties in scaling verification to cover their operations comp...
متن کاملDe Finetti Coherence and Logical Consistency
The logical consistency of a collection of assertions about events can be viewed as a special case of coherent probability assessments in the sense of de Finetti.
متن کاملCoherence and Consistency in Domains (Extended Outline)
Almost all of the categories normally used as a mathematical foundation for denotational semantics satisfy a condition known as consistent completeness. The goal of this paper is to explore the possibility of using a different condition that of coherence which has its origins in topology and logic. In particular, we concentrate on those posets whose principal ideals are algebraic lattices and w...
متن کاملCoherence and Consistency of Investors' Probability Judgments
T his study investigates the quality of direct probability judgments and quantile estimates with a focus on calibration and consistency. The two response modes use different measures of miscalibration, so it is difficult to directly compare their relative (in)accuracy. We employed a more refined within-subject design in which decision makers (DMs) used both response modes to make judgments abou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of Pragmatism and American Philosophy
سال: 2011
ISSN: 2036-4091
DOI: 10.4000/ejpap.870