Fast evaluations in product logic various pruning techniques

Abstract

Short circuit, short cut, or by other name, lazy evaluations play important roles in various fields of computer science including logic, hardware design, programming, decision making. In this paper, one of the best known and used fuzzy logic systems, the product logic is considered. The evaluation of lots of formulae can be quickened by various pruning techniques by discovering which remaining part of the formula has no influence on the final result for various reasons. The presented techniques can be seen as generalizations of short circuit evaluations in Boolean logic and also of alpha-beta pruning of game trees.