Logic With Vector Semantic as a Means of Knowledge Bases Verification

Abstract

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.

Features of inference for abnormal truth values of premises in VTF-logics

“…The problem of knowledge bases anomalies detecting knowns for a long time [14][15][16][17][18][19][20]. In the works [21,22], this question was described for "point" values of the truth of premises, when the truth vector is a point in the square (Cartesian product) [0,1]×[0,1]. In contrast to previous works influence of abnormal interval truth values on the entire inference chain is discussed here.…”