Several conditional theories of default reasoning have recently been proposed for the representation of statements about normal states of affairs or prototypical properties.
Preferences are expressed using an ordered default theory, consisting of default rules, world knowledge, and an ordering, reflecting preference, on the default rules.
It reaches this conclusion by conceptualizing federal labor law in terms of legal default rules, drawing in particular on the preference-eliciting default theory of statutory interpretation and the reversible default theory from corporate law.
We give a modular and polynomial transformation of default theories with specificity into semantically equivalent Reiter default theories.
However, we also present known classes of default theories for which abduction is tractable.
In this note, we analyze the complexity of outlier detection for two very simple classes of default theories, namely NU and DNU, for which the entailment problem is solvable in polynomial time.
This knowledge base is then systematically converted into a set of default theories.
This inspires the incremental construction of default theories in this paper.
Section "RDR and NRDR incremental processes" highlights the technical details of NRDR that will provide the basis of the incremental construction of default theories.
That is, the set of default theories that can be mapped to NRDR is larger than the set of those that can be mapped to RDR.
