Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

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.