

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

We consider oblivious and non-oblivious reasoning. The latter unlike the former is safe **in the sense that it does not cause inconsistency of the set of** beliefs with S**. However, oblivious reasoning is more efficient computationally** than the corresponding non-oblivious one.

Under the following conditions oblivious reasoning with typical atoms is safe, and the beliefs do not depend on the order in which they were produced:
(i) If S **has a most typical model then oblivious reasoning with all typical**
atoms of S **is safe;**
(ii) Oblivious reasoning with all atoms of the typical kernel of S **is safe;** (iii) The higher the probability p(mtm) that S **has a most typical model,**
the smaller the probability that oblivious reasoning with typical atoms of S is not safe.

## Acknowledgments

Many thanks to Amnon Barak for introducing me to the Hebrew University Grid. The flexibility of the Grid and the power of its 600 processors allowed performing of the experiments presented in this work.