The Contradiction Handler is also a part of the meta-cognitive process. It handles the inconsistencies that occur during the reasoning process. When occurs in the KB, the contradiction handler tries to resolve the contradiction. If the contradiction is resolved in favor of where is either or , then that is reinstated.
How the contradiction is resolved depends on the type of contradiction. In cases where the agent does not know how to fix an inconsistency, the contradiction handler creates a desire to get help from the user to fix the inconsistency.