1. Science
  2. Publications
  3. Information Processing Systems
  4. 1(82)'2010
  5. About a method of construction of the directed schemes of relational logical networks for equivalence relation

About a method of construction of the directed schemes of relational logical networks for equivalence relation

І.O. Leschyns’ka
Annotations languages:

In this work by the generalized method of synthesis of relational networks of промоделирована relational network for the relation of equivalence. The methods of binary decomposition of predicate of model of relational network are considered. For all sets of subject variables by bit work of relational network is tested. On a concrete example, functioning of arc of relational network is described by a linear boolean operator. The method of construction of the directed charts of model of relational network is described.
Keywords: theory of intellect, algebra of eventual predicates and operations of predicates, theory of relational networks, relation of equivalence, linear boolean operator