Open AccessFeatures of inference for abnormal truth values of premises in VTF-logics
Author(s) -
Leonid Arshinskiy,
Vadim Arshinskiy,
Mikhail Dunaev,
Marina Sergeevitezhuk
Publication year - 2021
Language(s) - English
Resource type - Conference proceedings
DOI - 10.47350/aicts.2020.01
Subject(s) - inference , truth value , computer science , contradiction , artificial intelligence , rule of inference , semantics (computer science) , feature (linguistics) , knowledge base , proof calculus , natural language processing , theoretical computer science , epistemology , natural deduction , programming language , philosophy , linguistics
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.