|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 7 van 16 gevonden artikelen
| Titel: |
Complexity of argument-based default reasoning with specificity |
| Auteur: |
Xishun Zhao |
| Verschenen in: |
AI communications |
| Paginering: | Jaargang 16 (2003) nr. 2 pagina's 107-119 |
| Jaar: |
2003-06-03 |
| Inhoud: |
In this paper we investigate the complexity of Dung and Son's approach to default reasoning with specificity. We show that the three decision problems: existence of extensions, brave reasoning and cautious reasoning are generally complete for the second level of the polynomial hierarchy. For some restricted cases, e.g., Horn and 2CNF default theories, all the three problems are intractable although classical brave reasoning in these cases is tractable. Finally, we show that stratification can not reduce the complexity of brave and cautious reasoning although it guarantees the existence of extensions. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 7 van 16 gevonden artikelen
| << vorige | volgende >> |