I argue that nonmonotonic behavior of an inference engine is best modelled by a monotonic inference relation with metatheoretic language. The argument depends on specific economic issues in the use of large knowledge bases.
I presented these ideas to the Chicago chapter of SIGART on Monday 5 March 2001.