 where \(\gamma, \theta\), and \(\tau\) are sentences in a given language, respectively called the pre-requisite, the justification and the conclusion of the default. The interpretation of the default is that if \(\gamma\) is known, and there is no evidence that \(\theta\) is false, then \(\tau\) can be inferred. 