A rule-map based technique for information inconsistency verification

Abstract

This paper focuses on the problem of verifying information inconsistencies in acquired information. A rule-map based technique for data inconsistency is presented, where rule-map is used to describe hierarchical structure of rules and estimate judgment standard for consistency dynamically. Moreover, a state-based knowledge representation technique for logical inconsistency is investigated, in which knowledge is illustrated as states set of related objects and logical inconsistency is determined by the relationships between those state-sets. To illustrate the presented techniques, two examples are given.