

![0_image_0.png](0_image_0.png)

## 5. Discussion

Solutions other than KBAC and the new solutions introduced here can be developed for the inconsistency problem (Wray, 1998). We briefly introduce a few additional solutions, and also consider the relationship of Dynamic Hierarchical **Justification to intention reconsideration in belief-desire-intention agents and belief revision.**

## 5.1 Other Solutions To Inconsistency Across The Hierarchy

In this section, we review other existing architectural solutions to the problem of inconsistency arising from persistence in a hierarchy of assertions.

## 5.1.1 Limiting Persistence

One obvious approach to eliminating inconsistency arising **from persistence is to disallow** persistent assumptions altogether. This approach was adopted in Theo (Mitchell et al., 1991). All reasoning in Theo is entailed from sensors; only perceptual inputs are unjustified. Theo cannot reason non-monotonically about any particular **world state; only the world can**
change non-monotonically. Thus, Theo cannot generally remember previous inputs.