MDL codes for non-monotonic learning /