Abstract
In this paper, we introduce a notion of backdoors to Reiter’s propositional default logic and study structural properties of it. Also we consider the problems of backdoor detection (parameterised by the solution size) as well as backdoor evaluation (parameterised by the size of the given backdoor), for various kinds of target classes (cnf, horn, krom, monotone, positive-unit). We show that backdoor detection is fixed-parameter tractable for the considered target classes, and backdoor evaluation is either fixed-parameter tractable, in \({\mathrm {para}}\text {-}\varDelta ^P_2\), or in \({\mathrm {para}}\text {-}\mathrm {NP}\), depending on the target class.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have