Rule-based quality heuristics formalization and identification

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Derivation of an Efficient Rule System Pattern Matcher

Formalizing algorithm derivations is a necessary prerequisite for developing automated algorithm design systems. This report describes a derivation of an algorithm for incrementally matching conjunctive patterns against a growing database. This algorithm, which is modeled on the Rete matcher used in the OPS5 production system, forms a basis for efficiently implementing a rule system. The highlights of this derivation are: (1) a formal specification for the rule system matching problem, (2) derivation of an algorithm for this task using a lattice-theoretic model of conjunctive and disjunctive variable substitutions, and (3) optimization of this algorithm, using finite differencing, for incrementally processing new data.

Lower Bounds for Achieving Synchronous Early Stopping Consensus with Orderly Crash Failures

In this paper, we discuss the consensus problem for synchronous distributed systems with orderly crash failures. For a synchronous distributed system of n processes with up to t crash failures and f failures actually occur, first, we present a bivalency argument proof to solve the open problem of proving the lower bound, min (t + 1, f + 2) rounds, for early-stopping synchronous consensus with orderly crash failures, where t < n - 1. Then, we extend the system model with orderly crash failures to a new model in which a process is allowed to send multiple messages to the same destination process in a round and the failing processes still respect the order specified by the protocol in sending messages. For this new model, we present a uniform consensus protocol, in which all non-faulty processes always decide and stop immediately by the end of f + 1 rounds. We prove that the lower bound of early stopping protocols for both consensus and uniform consensus are f + 1 rounds under the new model, and our proposed protocol is optimal.

Beyond divide and rule : weak dictators, natural resources and civil conflict

We propose a model where an autocrat rules over an ethnically divided society. The dictator selects the tax rate over domestic production and the nation’s natural resources to maximize his rents under the threat of a regime-switching revolution. We show that a weak ruler may let the country plunge in civil war to increase his personal rents. Inter-group fighting weakens potential opposition to the ruler, thereby allowing him to increase fiscal pressure. We show that the presence of natural resources exacerbates the incentives of the ruler to promote civil conflict for his own profit, especially if the resources are unequally distributed across ethnic groups. We validate the main predictions of the model using cross-country data over the period 1960-2007, and show that our empirical results are not likely to be driven by omitted observable determinants of civil war incidence or by unobservable country-specific heterogeneity.