Distributed applications and web services, such as online stores or social networks, are expected to be scalable, available, responsive, and fault-tolerant. To meet these steep requirements in the face of high round-trip latencies, network partitions, server failures, and load spikes, applications use eventually consistent datastores that allow them to weaken the consistency of some data. Howev...

Some empirical and theoretical studies have emphasized on fixed exchange rate regime in controlling time inconsistency, while others consider the role of target zone regime as an important factor. Thus there is no general consensus to decide which exchange rate regime may bring about less time-inconsistency. The main purpose of this study is to investigate policy time-inconsistency in exchange ...

For interactive theorem provers a very desirable property is consistency : it should not be possible to prove false theorems. However, this is not enough: it also should not be possible to think that a theorem that actually is false has been proved. More precisely: the user should be able to know what it is that the interactive theorem prover is proving. To make these issues concrete we introdu...

Two descriptions are inconsistent if there is no way to satisfy them altogether. Inconsistencies may arise under many circumstances in the software lifecycle. They are often inevitable, for instance, when the descriptions are produced or evolve independently from each other. Sometimes they may even be desirable, for instance, to allow further elicitation of requirements descriptions being acqui...

We present a new logical approach to reasoning from inconsistent information. The idea is to restore modelhood of inconsistent formulas by providing a third truth-value tolerating inconsistency. The novelty of our approach stems first from the restriction of entailment to three-valued models as similar as possible to two-valued models and second from an implication connective providing a notion...

Inconsistency is a challenge with many delaysensitive Massively Multiplayer Online Games (MMOGs). In this paper, a framework for inconsistency analysis and control is proposed. A typical situation, called hot-spot region, is considered for resolving this problem, since it is one of major causes of the inconsistency. Stochastic models are presented to abstract the operations of a MMOG in the con...

rationality, based on economic system of capitalism to explain phenomenon is based on self-interest. one important phenomenon from the perspective of the new classical school of macroeconomic, kydlnd and prescott (1977), the winners of the 2004 nobel prize in economics is, time inconsistency. time inconsistency ,is a condition that will cause a decision (by households, firms, or scheduler), whi...

There are relatively few proposals for inconsistency measures for propositional belief bases. However inconsistency measures are potentially as important as information measures for artificial intelligence, and more generally for computer science. In particular, they can be useful to define various operators for belief revision, belief merging, and negotiation. The measures that have been propo...

Measuring inconsistency in knowledge bases has been recognized as an important problem in several research areas. Many methods have been proposed to solve this problem and a main class of them is based on some kind of paraconsistent semantics. However, existing methods suffer from two limitations: 1) They are mostly restricted to propositional knowledge bases; 2) Very few of them discuss comput...