1. Science
  2. Publications
  3. Information Processing Systems
  4. 2(92)'2011
  5. Method of decision of logical equalizations with the final binary relations in the informative system

Method of decision of logical equalizations with the final binary relations in the informative system

D.E. Sitnikov, P.E. Sitnikova, A.I. Kovalenko
Annotations languages:

Methods for obtaining general solutions to logic equations with unknown binary relations in information systems with a complicated logical structure have been developed. Necessary conditions for the existence of a solution to such equations have been found. The results obtained can be used for improving the effectiveness of logic deductions in knowledge bases and expert information systems.
Keywords: informative system, algebra of eventual predicates, self-reactance equalizations, Boolean algebra