next up previous contents
Next: Status Generator Up: Domain-Independent Reason-Enhanced Controller for Previous: Reaction Handler   Contents

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.

Darsana Josyula 2006-01-16