Representability in Default Logic

Paolo Liberatore

Journal of the Interest Group in Pure and Applied Logic

A default theory can be seen as a way for representing a set of formulae, i.e., its extensions. In this paper, we characterize the sets of formulae that can be expressed by a default theory according to various semantics: justified, constrained, rational, cumulative, QDL, CADL, and two semantics with priorities. These characterizations imply some non-translatability results between semantics.

 title = {Representability in Default Logic},
 year = {2005},
 author = {Liberatore, Paolo},
 journal = {Journal of the Interest Group in Pure and Applied
 pages = {335-351},
 number = {3},
 volume = {13},
HTTP download.
doi: 10.1093/jigpal/jzi028