Logic with vector semantic as a means of knowledge bases verification

The paper discusses the general issues of automated search of artifacts in rule-based knowledge bases (KB) based on logic with vector semantics in the VTF-logic variant. Cases of falsity of antecedent of rules at all admissible values of truth of input premises, existence of terms which are not used anywhere and generation of uncertain values of truth, emergence of contradictions are considered. Automation is considered as the organization of the direct attached logical inference opening artifacts of KB. The first two cases are identified by counting the number of each rule triggering and identifying terms that are not tied to the rules. The contradiction is revealed by the verification of the truth of the conclusions-hypotheses. The presence of a conclusion with truth (1; 1) (complete contradiction) signals a contradiction at one of the stages of reasoning, which is set by the back trace of the logical chain. A necessary stage of inference is to combine the evidence using 11-composition (the second form of disjunction). The paper also presents the principle of calculating the truth of the conclusion based on the truth of the premises, the strategy of combining evidence, numerical measures that can be used in the conclusion.