A theory of defeasible reasoning