On JSM reasoning applicable to unions of factbase subsets: Part 1

Resumo

In this paper, we consider the strengthening of the JSM method for automated support of scientific research (ASSR JSM method) by introducing a ternary relationship of causality such that positive facts can contain negative causes and negative facts can contain positive causes. In this connection, we consider unions of factbase subsets that correspond to combinations of pairs of similarity predicates that, in turn, represent binary and ternary relationships of causality, respectively, for formalization of JSM reasoning rules.