We describe an error in earlier probabilistic analyses of the pure literal heuristic as a procedure for solving k-SAT. All probabilistic analyses are in the constant degree model in which a random instance C of k-SAT consists of m clauses selected independently and uniformly (with replacement) from the set of all k-clauses over n variables. We provide a new analysis for k = 2. Speciically, we s...

Allocation of rules to sites in a distributed deductive database system is an important and challenging task especially for a large knowledge base. We identify communication cost in rule execution to be the primary basis for decomposing a global knowledge base into clusters for their allocation to sites. We show that the problem of optimal allocation is a 0-1 quadratic programming problem, whic...

Students' ability to accurately self-assess their performance and select a suitable subsequent learning task in response is imperative for effective self-regulated learning. Video modeling examples have proven effective for training self-assessment and task-selection skills, and-importantly-such training fostered self-regulated learning outcomes. It is unclear, however, whether trained skills w...

A procedure is given for recognizing sets of inference rules that generate polynomial time decidable inference relations. The procedure can automatically recognize the tractability of the inference rules underlying congruence closure. The recognition of tractability for that particular rule set constitutes mechanical veriication of a theorem originally proved independently by Kozen and Shostak....

This paper describes Rapture | a system for revising probabilistic rule bases that converts symbolic rules into a connectionist network, which is then trained via connectionist techniques. It uses a modiied version of backpropagation to reene the certainty factors of the rule base, and uses ID3's information-gain heuristic (Quinlan, 1986) to add new rules. Work is currently under way for nding ...

Title of Document: TRACKING THE COST HEURISTIC: A RULE OF THUMB IN CHOICE OF COUNTERFINAL MEANS. Kristen Marie Klein, Doctor of Philosophy, 2013 Directed By: Professor Arie W. Kruglanski, Psychology Department Domain-specific empirical evidence shows that people sometimes infer a correlation between the cost of an item or behavior (e.g., price, effort) and its quality or efficacy (e.g., Labroo ...

The categorization of inductive reasoning into largely automatic processes (heuristic reasoning) and controlled analytical processes (rule-based reasoning) put forward by dual-process approaches of judgment under uncertainty (e.g., K. E. Stanovich & R. F. West, 2000) has been primarily a matter of assumption with a scarcity of direct empirical findings supporting it. The present authors use the...

This study presents and evaluates a modified ant colony optimization (ACO) approach for the resource-constrained project scheduling problems. A modified ant colony system is proposed to solve the resource-constrained scheduling problems. A two-dimensional matrix is proposed in this study for scheduling activities with time, and it has a parallel scheme for solving project scheduling problems. T...

Optimal placement and sizing of DG in distribution network is an optimization problem with continuous and discrete variables. Many researchers have used evolutionary methods for finding the optimal DG placement. This paper proposes a shuffled frog leaping algorithm (SFLA) for optimal placement and sizing of distributed generation (DG) in radial distribution system to minimize the total real pow...

hereby correct an error in Ref. [2], in which we studied the influence of various parameters that affect the generalization performance of fuzzy models constructed using the mixed fuzzy rule formation method [1]. On page 196, the last equation that computes the normalized loss in volume V