Solving contradiction in knowledge-base without interaction

We propose a non-interactive method for solving the contradictions caused by exceptions to ordinary rules. It is realized by: detecting the ordinary rules which have the instances in their bodies; and converting them into the default rules. To reduce the default rules which need much reasoning time, we convert the minimal sets of ordinary rules to solve contradictions. Since the proposed method is executed without human interaction, it contributes to automatic rule-base maintenance