Marina S. Nitezhuk, Leonid V. Arshinskiy

Irkutsk State Transport University

The paper discusses the applicability of non-classical logical calculus to the problem of verification of rule-based knowledge bases. The possibilities of some three-digit, four-digit, and fuzzy logics are considered. It is shown that a good approach to verification is to use logics with vector semantics in the form of VTF-logics. Exper t systems based on them will be able to verify their KB without involving additional (and external to ES) architectural elements.

non-classical logics, logics with vector semantics, rule-based knowledge base, verification, expert systems