Strong Backdoors for Default Logic
Uložené v:
| Názov: | Strong Backdoors for Default Logic |
|---|---|
| Autori: | Fichte, Johannes Klaus, 1983, Meier, Arne, Schindler, Irena |
| Zdroj: | eLLIIT – The Linköping – Lund Initiative on IT and Mobile Communication ACM Transactions on Computational Logic. 25(3) |
| Predmety: | Parameterised complexity, default logic, backdoors |
| Popis: | 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, KROM, MONOTONE) and all SCHAEFER classes. Also, we study generalisations of HORN-formulas, namely, QHORN, RHORN, as well as DUALHORN. For these classes, we also classify the computational complexity of the implication problem. We show that backdoor detection is fixed-parameter tractable for the considered target classes, and prove a complete trichotomy for backdoor evaluation. The problems are either fixed-parameter tractable, para-DeltaP2-complete, or para-NP-complete, depending on the target class. |
| Popis súboru: | |
| Prístupová URL adresa: | https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-202588 |
| Databáza: | SwePub |
Full Text Finder 
Nájsť tento článok vo Web of Science | Abstrakt: | 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, KROM, MONOTONE) and all SCHAEFER classes. Also, we study generalisations of HORN-formulas, namely, QHORN, RHORN, as well as DUALHORN. For these classes, we also classify the computational complexity of the implication problem. We show that backdoor detection is fixed-parameter tractable for the considered target classes, and prove a complete trichotomy for backdoor evaluation. The problems are either fixed-parameter tractable, para-DeltaP2-complete, or para-NP-complete, depending on the target class. |
|---|---|
| ISSN: | 15293785 1557945X |
| DOI: | 10.1145/3655024 |