[CS Dept., U Chicago]


Michael J. O'Donnell (Mike)

The Scholar

Work in Progress [construction icon]

Against Nonmonotonic Logic


Outline

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.

Latest Draft

I presented these ideas to the Chicago chapter of SIGART on Monday 5 March 2001.

Slides from Chicago SIGART


Valid HTML 4.0!


Last modified: Mon Dec 5 19:14:56 CST 2005