On Rank r Empirical Regularities in the JSM Method of Automated Research Supporta

Abstract

The article deals with extensions of empirical regularities (ER) for r periods, where r > 1. Various types of ER constitute a lattice. Sequences of ER types correspond in a one-to-one manner to sequences of empirical modalities which form partially ordered semigroups. Syntactic and semantic types of ER are defined for the elements of these semigroups. The equality of semantic ER types that represent two different methods of extending fact bases determine the pragmatic condition for the acceptance of ER hypotheses.