The Method of Deductive Inference of Consequences with the Scheme Construction

摘要

The paper describes the method of inference in first-order predicate calculus, which allows, besides obtaining the result, to build a special structure-the scheme of inference. This structure represents a special kind of graph and it can be used to interpret the solution both visually and in the analytical way. Besides, the scheme can be applied to evaluate the development of situation in dynamic systems research. The method is based on the operation of division of disjuncts, characterized by a high level of AND-, OR- DCDP-parallelisms, thereby it can be effectively realized on modern multiprocessor and multicore platforms in software mode.