Browse

Methods of deductive inference that are various modifications of the principle of resolutions are quite effective in logic. The results and justifications for the fuzzy conclusion of the resolution type are widespread in the predicate calculus. The existing models of the resolution inference are effective, and also quite simple and convenient, for conventional reasoning under incomplete information and for automatic processing of uncertain knowledge in interactive systems. However, in such models the set of genera...