Nonmonotonic reasoning, preferential models and cumulative logics