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.
