Theoretical foundations for non-monotonic reasoning in expert systems