Automated Deduction for Logics of Default Reasoning
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato · European Conference on Artificial Intelligence · 2006
We present a tableau calculus for the rational logic R of default reasoning, introduced by Kraus, Lehmann and Magidor. Our calculus is obtained by introducing suitable modalities to interpret conditional assertions, it makes use of labels to represent possible worlds, and it can be used to provide a decision procedure for R.