This paper focuses on the robustness problem of full implication triple implication inference method for fuzzy reasoning. First of all, based on strong regular implication, the weighted logic metric for measuring distance between two fuzzy sets is proposed. Besides, under this metric, some robustness results of the triple implication method are obtained, which demonstrates that the triple impli...

Implicative statistics criteria have proven to be valuable interestingness measures for association rules. Here we highlight their interest for classification trees. We start by showing how Gras’ implication index may be defined for rules derived from an induced decision tree. This index is especially helpful when the aim is not classification itself, but characterizing the most typical conditi...

When R is a local ring with a nilpotent maximal ideal, the Ore extension R[x;σ, δ] will or will not be 2-primal depending on the δ-stability of the maximal ideal of R. In the case where R[x;σ, δ] is 2-primal, it will satisfy an even stronger condition; in the case where R[x;σ, δ] is not 2-primal, it will fail to satisfy an even weaker condition. 1. Background and motivation In [13, Proposition ...

Many DPLL-based [1] SAT solvers use an implementation of the two-literal watching scheme (TLWS) first used in Chaff [6] for boolean constraint propagation (BCP). For the extreme case of binary clauses this otherwise efficient algorithm has a large overhead in memory usage. In this report a technique called implication table for augmenting TLWS will be described and mathematically analyzed, that...

The puzzle of the persistent question marks (a phrase coined by Harvey in 1993) refers to the occurrence of residual learnable alleles in simulations of the Baldwin effect, which concerns interactions between learning and evolution. Explanations of the puzzle have focused on the role of fitness proportional selection pressures and of drift. We replicated the original 1987 model by Hinton and No...