Verification of knowledge models by means of logic with vector semantics

Abstract

The paper highlights the method of verification and identification of contradictions in the production knowledge bases using one class of logic with vector semantics, namely VTF-logic. The general verification algorithm is described. It is noted that the use of such logics, while maintaining the need to iterate over the input facts, offers a procedure of direct inference and analysis of the inconsistency only in the case of conclusions-hypotheses, characterized by the value of truth named “complete contradiction”. Tracing back the appropriate chain will identify and resolve the cause of the conflict.