Default Logic - How do you make reasoning with default information?

Reasoning with default information can be achieved by using H as the normality assumptions and F to indicate the deductions from these assumptions. For instance, a frequent reader of newsgroups might have a default belief that 'Articles about AI are typically intriguing'. Here, H = 1int ail, where int ai signifies that X is captivating if it pertains to AI.