Open AccessInfluence of anomalous truth values on logical inference in VTF-logics as a basis for verification of rule-based systems
Author(s) -
Leonid Arshinskiy,
Vadim Arshinskiy,
Mikhail Dunaev,
Marina Sergeevitezhuk
Publication year - 2021
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/1151/1/012027
Subject(s) - premise , falsity , formalism (music) , inference , basis (linear algebra) , computer science , truth value , semantics (computer science) , theoretical computer science , algorithm , mathematics , artificial intelligence , epistemology , programming language , philosophy , art , musical , geometry , visual arts
The paper is devoted to the problem of expert systems knowledge bases verification. The methodological basis of verification is logics with vector semantics in the V TF -logics form. The knowledge model is a rule-based system. The issues of algorithmization of contradictions and other problems detection are considered in the paper. Algorithmization is based on the characteristic features of in V TF -logics inference. It is shown that in the formalism under consideration, the anomalous truth of a small premise generates the same conclusion (a large premise is considered strictly true). Anomalies such as falsity, uncertainty, and contradiction are considered. The problems of reducing the computational complexity of algorithms are considered.