Logical inference on the base of optimal subset of mixed diagnostic tests for intelligent systems

It is proposed to realize logical inference in intelligent systems on the base of mixed diagnostic tests (MDT) consisting of an optimal combination of unconditional and conditional components. For this purpose the tree of MDT is constructed on the base an optimal subset (OS) of unconditional irredundant diagnostic tests (UIDT). The criteria of considering the sequence for UIDT as well as features involved in each of them are stated, which results in enumeration reduction and, as a rule, allows MDT construction from not all UIDT in an UIDT OS. Logical inference is performed along all MDT in the process of MDT tree construction. Matrix model of data and knowledge representation, the algorithm of MDT tree construction and logical inference regarding the object under investigation are given. At the present time logical inference on the base of MDT is realized in intelligent software tool IMSLOG.