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

Luis M. Laita, Luis de Ledesma, Aurora P'erez, and Angelica de Antonio

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.