The role of frame-based representation in reasoning
Communications of the ACM
Representation and inference in the consul system
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Classification in the KL-ONE knowledge representation system
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Checking an expert systems knowledge base for consistency and completeness
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
Even though specificity has been one of the most useful conflict resolution strategies for selecting productions, most existing rule-based systems use heuristic approximation such as the number of clauses to measure a rule's specificity. This paper describes an approach for computing a principled specificity relation between rules whose conditions are constructed using predicates defined in a terminological knowledge base. Based on a formal definition about pattern subsumption relation, we first show that a subsumption test between two conjunctive patterns can be viewed as a search problem. Then we describe an implemented pattern classification algorithm that improves the efficiency of the search process by deducing implicit conditions logically implied by a pattern and by reducing the search space using subsumption relationships between predicates. Our approach enhances the maintainability of rule-based systems and the reusability of definitional knowledge.