A Tentative New Logical Approach for Dealing with KBS’s Verification Problems

Contents

Expert systems rules express relevant relations between their antecedents and their consequents. If the rules are manipulated by a logic (usually classical logic) in such a way that they give rise to new formulas with the form of rules (generated rules), these formulas may not express relevant relations between atecedents and consequents, and then become useless. We propose in this paper, a logic that partially avoids this problem, and in addition deals with both non-monotonicity and uncertainty, A description of the verification concept of consistency in forward and backward reasonings is given in terms of this logic.