Leonid V. Arshinskiy, Marina S. Nitezhuk, Romas Yu. Shlaustas

Irkutsk State Transport University

The work is devoted to the discussion of the issue of identifying contradictions in the production knowledge bases (KB) based on the apparatus of logic with vector semantics. A brief coverage of the problem of knowledge verification is made. It is noted that the important issue of verification is the detection of internal contradiction, when some chain of inference give rise to contradictory conclusions. It is shown that the apparatus of logic with vector semantics, due to the natural ability to work with conflicting data and knowledge, can help automate the procedure for identifying internal contradictions in such KB.

production model of knowledge, internal contradictions, identification of contradictions, logic with vector semantics