Improving the quality of rule-based applications using the declarative verification approach

Authors:
Sergey Lukichev
Affiliations:
Chair of Internet Technologies, Brandenburg Technical University in Cottbus, Walther-Pauer-Str. 2, Cottbus, 03046, Germany
Venue:
International Journal of Knowledge Engineering and Data Mining
Year:
2011

Citing 7
Cited 0

A Petri-Net based approach for verifying the integrity of production systems

International Journal of Man-Machine Studies
Integrated knowledge-based system design and validation for solving problems in uncertain environments

International Journal of Man-Machine Studies - Special issue: symbolic problem solving in noisy and novel task environments
On the relative expressiveness of description logics and predicate logics

Artificial Intelligence
Principles of the Business Rule Approach

Principles of the Business Rule Approach
Logical Foundations for Rule-Based Systems (Studies in Computational Intelligence) (Studies in Computational Intelligence)

Logical Foundations for Rule-Based Systems (Studies in Computational Intelligence) (Studies in Computational Intelligence)
Bridging the gap between OWL and relational databases

Proceedings of the 16th international conference on World Wide Web
Checking an expert systems knowledge base for consistency and completeness

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

The quality of rule-based applications depends on the quality of rules. However, due to various reasons, for instance communication problems between business people and rule modellers, rules may become inconsistent, incomplete or redundant. A particular way to control and to improve the rule quality is by means of rule verification. In this paper, we present a rule-based (declarative) approach to rule verification. We consider several anomalies, which may appear in rule bases with production rules and semantic constraints. The presented approach defines special rules, called verifier rules, which derive facts when anomalous business rules are detected. The approach is flexible and easy to maintain in the sense that verifier rules can easily be added or modified if new anomalies are found and have to be detected.