Technical Reports

The ICICS/CS Reading Room

UBC CS TR-87-26 Summary

Formalizing Attribution by Default, July 1987 Paul C. Gilmore

Attribution by default occurs when, in the absence of information to the contrary, an entity is assumed to have a property. The provision of information to the contrary results in the withdrawal of the attribution. It has been argued that classical logic cannot formalize such commonsense reasoning and that the development of a nonmonotonic logic is necessary. Evidence is offered in this note that this is not the case for some important defaults.

If you have any questions or comments regarding this page please send mail to