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.
Export citation and abstract BibTeX RIS
Content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.