A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic

@article{Amati1996APT,
  title={A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic},
  author={Gianni Amati and Luigia Carlucci Aiello and Dov M. Gabbay and Fiora Pirri},
  journal={J. Log. Comput.},
  year={1996},
  volume={6},
  pages={205-231}
}
We present a general proof theoretical methodology for default systems. Given a default theory 〈W, D〉, the default rules D are simply understood as restrictions on the tableaux construction of the logic. Different default approaches have their own way of understanding these restrictions and executing them. For each default approach (such as Reiter, Brewka or Lukaszewicz), the allowable default extensions can be obtained from the default tableau construction. The advantage of our approach… CONTINUE READING
12 Citations
48 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 48 references

On cumulative default reasoning

  • L. Giordano, A. Martelli
  • Artificial Intelligence Journal, 66:161–180
  • 1994
1 Excerpt

General patterns in nonmonotonic reasoning

  • D. Makinson
  • D. M. Gabbay, editor, Handbook of Logic in AI and…
  • 1993

Similar Papers

Loading similar papers…