Using Generalized Modus Ponens reasoning, we examine the values of inferred conclusion when the premise of the rule and the observed fact have a partial overlapping. We work with fuzzy if-then rules with a single input single output and the t-norm t(x, y) = max((1+λ)(x+y−1)−λxy, 0), λ ≥ −1, for composition operation. This t-norm is important to use because for λ = −1 and λ = 0 it gives the very...

BCK-algebras, introduced in the 1960s by Imai and Iséki [3], form a well-known class of algebras intensively studied in algebraic logic during the last decades. The reason of their introduction was practically twofold: they describe general properties of algebras of sets with the set subtraction as a binary operation, and secondly, they form a natural generalization of algebraic counterparts of...

background and objectives: operating room (or) scheduling is key to optimal operating room productivity. the significant uncertainty associated with surgery duration renders scheduling of surgical operation a challenging task. this paper proposes a novel computational stochastic model to optimize scheduling of surgeries with uncertain durations. the model considers various surgical operation co...

Background and Objectives: Operating room (OR) scheduling is key to optimal operating room productivity. The significant uncertainty associated with surgery duration renders scheduling of surgical operation a challenging task. This paper proposes a novel computational stochastic model to optimize scheduling of surgeries with uncertain durations. The model considers various surgical operation co...

Recently, magnetic tunnel junction (MTJ)-based implication logic gates have been proposed to realize a fundamental Boolean logic operation called material implication (IMP). For given MTJ characteristics, the IMP gate circuit parameters must be optimized to obtain the minimum IMP error probability. In this work we present the optimization method and investigate the effect of MTJ device paramete...

0038-1101/$ see front matter 2013 Elsevier Ltd. A http://dx.doi.org/10.1016/j.sse.2013.02.017 ⇑ Corresponding author. E-mail addresses: [email protected] (H iue.tuwien.ac.at (T. Windbacher), [email protected] [email protected] (S. Selberherr). As the feature size of CMOS components scales down, the standby power losses due to high leakage currents have become a top concern for moder...

Professor Ryszard Wójcicki once asked whether the degree of maxi-mality of the consequence operation C determined by the theorems of the intuitionistic propositional logic and the detachment rule for the implication connective is equal to 2 2 ℵ 0 ? The aim of the paper is to give the affirmative answer to the question. More exactly, it is proved here that the degree of maximality of C Ψ-the Ψ-f...

This paper describes the development and tuning methods for a novel self-organizing fuzzy proportional integral derivative (PID) controller. Before applying fuzzy logic, the PID gains are tuned using a conventional tuning method. At supervisory level, fuzzy logic readjusts the PID gains online. In the first tuning method, fuzzy logic at the supervisory level readjusts the three PID gains during...

As a generalization of the triple I method, the universal triple Imethod is investigated from the viewpoints of both fuzzy reasoningand fuzzy controller. The universal triple I principle is putforward, which improves the previous triple I principle. Then,unified form of universal triple I method is established based onthe (0,1)-implication or R-implication. Moreover, the reversibilityproperty o...