Open AccessVerification of knowledge models by means of logic with vector semantics
Author(s) -
Leonid Arshinskiy,
Marina Sergeevitezhuk,
Mikhail Dunaev
Publication year - 2020
Publication title -
iop conference series. materials science and engineering
Language(s) - English
Resource type - Journals
eISSN - 1757-899X
pISSN - 1757-8981
DOI - 10.1088/1757-899x/760/1/012006
Subject(s) - computer science , contradiction , identification (biology) , tracing , semantics (computer science) , inference , truth value , theoretical computer science , class (philosophy) , classical logic , artificial intelligence , programming language , algorithm , natural language processing , epistemology , philosophy , botany , biology
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 V TF- 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.