Abstract

Models of the directed relational networks of relation of implication that can be used to represent knowledge in intelligent parallel action systems were developed in the paper. A relational network that implements the implication operation was created. The method of binary decomposition of the predicate of the modeled object is used for the relational network construction. The original n-ary predicate is represented as a conjunction of binary predicates. Testing of step-by-step operation of the relational network for all sets of values of object variables in the forward and inverse direction was carried out. An example of the relational network model operation for the relational network arc using a linear logical operator was considered. A method of constructing directed diagrams of the relational network was described. Directed diagrams of the relational network (forward and inverse) were built. Unification of the forward and inverse directed diagrams of relational networks was performed. Directed diagrams of relational networks can be used in creating knowledge bases to make up production rules. Directed diagrams of relational networks can become an important part of parallel knowledge bases and inference.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.