Abstract:
The development of efficient algorithms to corrects fault is rule-based systems is very crucial in extending the verification and validation of rule sets and in the development of rule-based systems. While it is important to detect faults in rule bases, it is equaly important to provide users/experts with a set of heuristics that can aid in correcting these faults.