|
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 1 gevonden artikelen
| Titel: |
POSSIBLE WORLDS SEMANTICS FOR DEFAULT LOGICS |
| Auteur: |
Besnard, Philippe Schaub, Torsten |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 21 (2011) nr. 1-2 pagina's 39-66 |
| Jaar: |
2011-02-08 |
| Inhoud: |
We introduce a uniform semantical framework for various default logics in terms of Kripke structures. This possible worlds approach provides a simple but meaningful instrument for comparing existing default logics in a unified setting. The possible worlds semantics is introduced by means of constrained default logic. Also, it easily deals with Brewka's cumulative default logic. The semantics is then extended to Reiter's original default logic as well as Łukaszewicz' variant. The possible worlds approach remedies several difficulties encountered in former proposals aiming at individual default logics. Notably, it provides the first pure model-theoretic semantics for Łukaszewicz' variant of default logic. Since the semantical framework is presented from the perspective of “commitment to assumptions” we also obtain a very natural modal interpretation of the notion of commitment. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 1 gevonden artikelen