The role of BK-products of relations in soft computing

Abstract

 Relational computing structures make it possible to perform knowledge representation as well as all the computations in intelligent systems in a unified way. When crisp computations are replaced by fuzzy relational computations, it is possible to improve significantly handling of indeterminacy and incompleteness of information. Fuzzy computational structures in which cuts commute with closures over relational properties, provide in addition the means for significant data compression, resulting in significant speedup of computations. BK-relational products provide axiomatics necessary for constructive computational procedures that rigorously satisfy the above formulated requirements. Furthermore, relational specifications of soft computing architectures have great unifying power.