Abstract:
Informal introduction in a new type of calculations is proposed for application of both certain and probable inference rules with non-monotonic and provisional inconsistency. In connection with use of some known conceptual categories, we explain their application in the paper.