A method of logical inference of modified conclusions
Dmitry A. Strabykin, M. N. Tomchuk · Journal of Computer and Systems Sciences International · 2008
A method for inference of modified conclusions on knowledge represented in the form of logical expressions is considered. The statement of the problem and the description of the stages of logical inference are presented. The specific features of the method for first-order predicate calculus are described, and an example of inference of modified conclusions is given.