Stable Closures, Defeasible Logic and Contradiction Tolerant Reasoning

@inproceedings{Morris1988StableCD,
  title={Stable Closures, Defeasible Logic and Contradiction Tolerant Reasoning},
  author={Paul Morris},
  booktitle={AAAI},
  year={1988}
}
A solution to the Yale shooting problem has been previously proposed that uses so-called non-normal defaults. This approach produces a single extension. One disadvantage, however, is that new conflicting information causes the extension to collapse. In this paper we propose a new formal counterpart to the intuitive notion of a reasonable set of beliefs. The new formalization reduces to the previous one when there are no conflicts. However, when fresh conflicting information is added, instead… CONTINUE READING

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…