Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
422608 | Electronic Notes in Theoretical Computer Science | 2006 | 11 Pages |
A well known character of nonmonotonic reasoning is that it allows for multiple conclusion sets. Choice perspective selects one of the conclusions, and skeptical perspective uses the intersection of all of the conclusions. In this paper, we purchase a medium approach between the two perspective, i.e., it selects some conclusions and uses the intersection of them. Such an approach is very similar with partial meet approach to belief revision. Therefore, we will introduce a variation of Olsson's additive consolidation, which is one of the coherentist studies of belief revision, and consider it as an operation for the medium approach to nonmonotonic reasoning. Finally, using Nixon diamond example, we compare it with the skeptical perspective for the usual default logic.