Contradiction Handler

The Contradiction Handler is also a part of the meta-cognitive process. It handles the inconsistencies that occur during the reasoning process. When $contra(P, \neg P)$ occurs in the KB, the contradiction handler tries to resolve the contradiction. If the contradiction is resolved in favor of $\alpha$ where $\alpha$ is either $P$ or $\neg P$, then that $\alpha$ 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.