Open AccessComplex verification of rule-based knowledge bases using VTF-logic
Author(s) -
Leonid Arshinskiy,
A.A. Ermakov,
Marina Sergeevitezhuk
Publication year - 2020
Publication title -
ontologiâ proektirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2313-1039
pISSN - 2223-9537
DOI - 10.18287/2223-9537-2020-10-1-112-120
Subject(s) - knowledge base , computer science , rule of inference , knowledge representation and reasoning , inference engine , set (abstract data type) , inference , theoretical computer science , artificial intelligence , semantics (computer science) , representation (politics) , programming language , politics , political science , law