|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 11 gevonden artikelen
| Titel: |
A note on the cumulativity of justified default logic |
| Auteur: |
Antoniou, Grigoris |
| Verschenen in: |
Journal of experimental & theoretical artificial intelligence |
| Paginering: | Jaargang 10 (1998) nr. 4 pagina's 507-509 |
| Jaar: |
1998-10 |
| Inhoud: |
Cumulativity is an important property of nonmonotonic inference relations because it allows for the safe use of lemmas. This note shows that Justified Default Logic, Lukaszewicz variant of default logic, is cumulative for prerequisite-free default theories, a question that has been open in the literature. The proof is very simple and makes use of an operational interpretation of extensions. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 11 gevonden artikelen
| volgende >> |