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.
informative system, algebra of eventual predicates, self-reactance equalizations, Boolean algebra
"Metod reshenyia lohycheskykh uravnenyi s konechnыmy bynarnыmy otnoshenyiamy v ynformatsyonnoi systeme" ,
Information Processing Systems,