Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100078804> ?p ?o ?g. }
- W2100078804 endingPage "621" @default.
- W2100078804 startingPage "593" @default.
- W2100078804 abstract "Reiter's default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Several variants of default logic have subsequently been proposed to give systems with properties differing from the original. In this paper, we examine the relationship between default logic and its major variants. We accomplish this by translating a default theory under a variant interpretation into a second default theory, under the original Reiter semantics, wherein the variant interpretation is respected. That is, in each case we show that, given an extension of a translated theory, one may extract an extension of the original variant default logic theory. We show how constrained, rational, justified, and cumulative default logic can be expressed in Reiter's default logic. As well, we show how Reiter's default logic can be expressed in rational default logic. From this, we suggest that any such variant can be similarly treated. Consequently, we provide a unification of default logics, showing how the original formulation of default logic may express its variants. Moreover, the translations clearly express the relationships between alternative approaches to default logic. The translations themselves are shown to generally have good properties. Thus, in at least a theoretical sense, we show that these variants are in a sense superfluous, in that for any of these variants of default logic, we can exactly mimic the behaviour of a variant in standard default logic. As well, the translations lend insight into means of classifying the expressive power of default logic variants; specifically we suggest that the property of semi-monotonicity represents a division with respect to expressibility, whereas regularity and cumulativity do not." @default.
- W2100078804 created "2016-06-24" @default.
- W2100078804 creator A5002046734 @default.
- W2100078804 creator A5058467603 @default.
- W2100078804 date "2005-10-01" @default.
- W2100078804 modified "2023-09-23" @default.
- W2100078804 title "Expressing Default Logic Variants in Default Logic" @default.
- W2100078804 cites W1503579182 @default.
- W2100078804 cites W1511711492 @default.
- W2100078804 cites W1528650841 @default.
- W2100078804 cites W1545002266 @default.
- W2100078804 cites W1566892080 @default.
- W2100078804 cites W157785659 @default.
- W2100078804 cites W1600310326 @default.
- W2100078804 cites W1602972790 @default.
- W2100078804 cites W1605302354 @default.
- W2100078804 cites W173293377 @default.
- W2100078804 cites W1831160428 @default.
- W2100078804 cites W1982644464 @default.
- W2100078804 cites W1983501474 @default.
- W2100078804 cites W1987903153 @default.
- W2100078804 cites W1988882917 @default.
- W2100078804 cites W1997714358 @default.
- W2100078804 cites W2004387901 @default.
- W2100078804 cites W2013153283 @default.
- W2100078804 cites W2015110203 @default.
- W2100078804 cites W2020153579 @default.
- W2100078804 cites W2037518358 @default.
- W2100078804 cites W203924617 @default.
- W2100078804 cites W2048746006 @default.
- W2100078804 cites W2051626205 @default.
- W2100078804 cites W2056036320 @default.
- W2100078804 cites W206505968 @default.
- W2100078804 cites W2072046078 @default.
- W2100078804 cites W2076439421 @default.
- W2100078804 cites W2076706802 @default.
- W2100078804 cites W2078926321 @default.
- W2100078804 cites W2108309071 @default.
- W2100078804 cites W2122870912 @default.
- W2100078804 cites W2155322595 @default.
- W2100078804 cites W2156347478 @default.
- W2100078804 cites W3204705986 @default.
- W2100078804 cites W34134207 @default.
- W2100078804 cites W36580660 @default.
- W2100078804 cites W72953418 @default.
- W2100078804 cites W84120850 @default.
- W2100078804 cites W86300136 @default.
- W2100078804 doi "https://doi.org/10.1093/logcom/exi021" @default.
- W2100078804 hasPublicationYear "2005" @default.
- W2100078804 type Work @default.
- W2100078804 sameAs 2100078804 @default.
- W2100078804 citedByCount "7" @default.
- W2100078804 countsByYear W21000788042014 @default.
- W2100078804 countsByYear W21000788042019 @default.
- W2100078804 countsByYear W21000788042022 @default.
- W2100078804 crossrefType "journal-article" @default.
- W2100078804 hasAuthorship W2100078804A5002046734 @default.
- W2100078804 hasAuthorship W2100078804A5058467603 @default.
- W2100078804 hasConcept C102993220 @default.
- W2100078804 hasConcept C150889026 @default.
- W2100078804 hasConcept C154945302 @default.
- W2100078804 hasConcept C159032336 @default.
- W2100078804 hasConcept C160236029 @default.
- W2100078804 hasConcept C162324750 @default.
- W2100078804 hasConcept C190253527 @default.
- W2100078804 hasConcept C199360897 @default.
- W2100078804 hasConcept C203659156 @default.
- W2100078804 hasConcept C2777142071 @default.
- W2100078804 hasConcept C2778029271 @default.
- W2100078804 hasConcept C33923547 @default.
- W2100078804 hasConcept C3845977 @default.
- W2100078804 hasConcept C41008148 @default.
- W2100078804 hasConcept C527412718 @default.
- W2100078804 hasConcept C80444323 @default.
- W2100078804 hasConcept C96146094 @default.
- W2100078804 hasConceptScore W2100078804C102993220 @default.
- W2100078804 hasConceptScore W2100078804C150889026 @default.
- W2100078804 hasConceptScore W2100078804C154945302 @default.
- W2100078804 hasConceptScore W2100078804C159032336 @default.
- W2100078804 hasConceptScore W2100078804C160236029 @default.
- W2100078804 hasConceptScore W2100078804C162324750 @default.
- W2100078804 hasConceptScore W2100078804C190253527 @default.
- W2100078804 hasConceptScore W2100078804C199360897 @default.
- W2100078804 hasConceptScore W2100078804C203659156 @default.
- W2100078804 hasConceptScore W2100078804C2777142071 @default.
- W2100078804 hasConceptScore W2100078804C2778029271 @default.
- W2100078804 hasConceptScore W2100078804C33923547 @default.
- W2100078804 hasConceptScore W2100078804C3845977 @default.
- W2100078804 hasConceptScore W2100078804C41008148 @default.
- W2100078804 hasConceptScore W2100078804C527412718 @default.
- W2100078804 hasConceptScore W2100078804C80444323 @default.
- W2100078804 hasConceptScore W2100078804C96146094 @default.
- W2100078804 hasIssue "5" @default.
- W2100078804 hasLocation W21000788041 @default.
- W2100078804 hasOpenAccess W2100078804 @default.
- W2100078804 hasPrimaryLocation W21000788041 @default.
- W2100078804 hasRelatedWork W1131711164 @default.
- W2100078804 hasRelatedWork W1408900831 @default.