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

Abstract

The article discusses the issues of logical inference for abnormal truth-values of premises in logics with vector semantics from the VTF-logic class. Such situations as strict lies, uncertainty, and complete contradiction are considered in this article. It is shown that the truth of the conclusion in this case can take an interval value and the nature of this interval is preserved throughout the inference. This feature can be used to detect knowledge base artefacts during dynamic verification of knowledge bases.