Abstract
The proposed validation method identifies equivalence classes for fundamental tasks in a rule based system to help identify incorrect knowledge and rule inconsistencies. The proposed method validates the entire input domain of a pre existing rule based system by using symbolic execution to determine the conditions under which tasks may be instantiated.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have