Abstract

Title: Abstract

Research Question: Can default logic be used to model situations where a previously applied default contradicts a new one?

Methodology: The authors explored the possibility of generating failures in default logic, a computational feature that is needed to encode some domains. They proposed various translations and examined their implications.

Results: The authors found that it is impossible to translate default logic into a semantically equivalent logic that preserves all the desired properties. They also showed that there are domains where failures are necessary for a correct representation.

Implications: The findings suggest that default logic has limitations in certain situations where failures are required for a correct representation. The authors propose that other logics may be more suitable for these situations.

Link to Article: https://arxiv.org/abs/0403032v1 Authors: arXiv ID: 0403032v1