Matches in SemOpenAlex for { <https://semopenalex.org/work/W20439747> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W20439747 endingPage "830" @default.
- W20439747 startingPage "830" @default.
- W20439747 abstract "Default logic (DL) (Reiter 1980) is one of the most prominent approaches to nonmonotonic reasoning. One of the main problems with its applicability is that it is computationally harder than classical logic (Gottlob 1992). (Cholewinski 1994,1995) introduced and studied stratification of default theories to increase the efficiency of default reasoning. The idea is to to split the knowledge into smaller parts, and to apply reasoning in a local way. This paper shows how stratification can work for some important variants of Default Logic. These variants are Justified Default Logic (JDL), Rational Default Logic (RDL), and Constrained Default Logic (CDL). The main idea of stratification is that if a default makes use of information from another default, then we should seek to apply it first. Let T = (W, 0) be a Default Theory, where W is an empty set of formulae and D the set of the two defaults S = 7 and 6’ = y. In this case we should apply S before S’ because 6’ is not applicable to Th( IV) i . A function p assigning a natural number to every default from D is called a stratification function iff for any S, S’ E D the condition “ If Prop(cons(S)) fl Prop(S’) # 8 then p(S) 5 ~(6’) (1)2” holds. By assigning a number to each default, p decomposes D into layers (strata) D1, . . . , D,+ of ascending value under p. A default theory T = (IV, D) is called stratified iff W is consisent , Prop(W) fl Prop(cons( D) U just(D)) = 8, and there exists a stratification function for D. (Cholewinski 1994) shows that the decomposition of a set of defaults according to a stratification function preserves the extensions. For stratification to work properly for default logic variants, we need to add new conditions for stratification functions. Justified Default Logic avoids running into failure by retracting a final, “fatal” step. The" @default.
- W20439747 created "2016-06-24" @default.
- W20439747 creator A5018289832 @default.
- W20439747 creator A5035856288 @default.
- W20439747 date "1997-07-27" @default.
- W20439747 modified "2023-09-24" @default.
- W20439747 title "Stratification for variants of default logic" @default.
- W20439747 cites W1982856725 @default.
- W20439747 cites W1997714358 @default.
- W20439747 cites W2155322595 @default.
- W20439747 hasPublicationYear "1997" @default.
- W20439747 type Work @default.
- W20439747 sameAs 20439747 @default.
- W20439747 citedByCount "0" @default.
- W20439747 crossrefType "proceedings-article" @default.
- W20439747 hasAuthorship W20439747A5018289832 @default.
- W20439747 hasAuthorship W20439747A5035856288 @default.
- W20439747 hasConcept C100701293 @default.
- W20439747 hasConcept C10138342 @default.
- W20439747 hasConcept C102993220 @default.
- W20439747 hasConcept C118615104 @default.
- W20439747 hasConcept C14036430 @default.
- W20439747 hasConcept C144237770 @default.
- W20439747 hasConcept C154945302 @default.
- W20439747 hasConcept C159032336 @default.
- W20439747 hasConcept C160236029 @default.
- W20439747 hasConcept C162324750 @default.
- W20439747 hasConcept C190253527 @default.
- W20439747 hasConcept C192943249 @default.
- W20439747 hasConcept C203659156 @default.
- W20439747 hasConcept C2777142071 @default.
- W20439747 hasConcept C33923547 @default.
- W20439747 hasConcept C3527866 @default.
- W20439747 hasConcept C3845977 @default.
- W20439747 hasConcept C41008148 @default.
- W20439747 hasConcept C59822182 @default.
- W20439747 hasConcept C69637215 @default.
- W20439747 hasConcept C78458016 @default.
- W20439747 hasConcept C86803240 @default.
- W20439747 hasConcept C88548481 @default.
- W20439747 hasConceptScore W20439747C100701293 @default.
- W20439747 hasConceptScore W20439747C10138342 @default.
- W20439747 hasConceptScore W20439747C102993220 @default.
- W20439747 hasConceptScore W20439747C118615104 @default.
- W20439747 hasConceptScore W20439747C14036430 @default.
- W20439747 hasConceptScore W20439747C144237770 @default.
- W20439747 hasConceptScore W20439747C154945302 @default.
- W20439747 hasConceptScore W20439747C159032336 @default.
- W20439747 hasConceptScore W20439747C160236029 @default.
- W20439747 hasConceptScore W20439747C162324750 @default.
- W20439747 hasConceptScore W20439747C190253527 @default.
- W20439747 hasConceptScore W20439747C192943249 @default.
- W20439747 hasConceptScore W20439747C203659156 @default.
- W20439747 hasConceptScore W20439747C2777142071 @default.
- W20439747 hasConceptScore W20439747C33923547 @default.
- W20439747 hasConceptScore W20439747C3527866 @default.
- W20439747 hasConceptScore W20439747C3845977 @default.
- W20439747 hasConceptScore W20439747C41008148 @default.
- W20439747 hasConceptScore W20439747C59822182 @default.
- W20439747 hasConceptScore W20439747C69637215 @default.
- W20439747 hasConceptScore W20439747C78458016 @default.
- W20439747 hasConceptScore W20439747C86803240 @default.
- W20439747 hasConceptScore W20439747C88548481 @default.
- W20439747 hasLocation W204397471 @default.
- W20439747 hasOpenAccess W20439747 @default.
- W20439747 hasPrimaryLocation W204397471 @default.
- W20439747 hasRelatedWork W1501348379 @default.
- W20439747 hasRelatedWork W1502112638 @default.
- W20439747 hasRelatedWork W1503836239 @default.
- W20439747 hasRelatedWork W1508481787 @default.
- W20439747 hasRelatedWork W1517511928 @default.
- W20439747 hasRelatedWork W1531558136 @default.
- W20439747 hasRelatedWork W1570170838 @default.
- W20439747 hasRelatedWork W1765813841 @default.
- W20439747 hasRelatedWork W1791795960 @default.
- W20439747 hasRelatedWork W185216004 @default.
- W20439747 hasRelatedWork W1976639815 @default.
- W20439747 hasRelatedWork W2117280283 @default.
- W20439747 hasRelatedWork W2164905047 @default.
- W20439747 hasRelatedWork W2295099510 @default.
- W20439747 hasRelatedWork W2399805785 @default.
- W20439747 hasRelatedWork W2490333804 @default.
- W20439747 hasRelatedWork W2510221240 @default.
- W20439747 hasRelatedWork W316482821 @default.
- W20439747 hasRelatedWork W66421417 @default.
- W20439747 hasRelatedWork W76111568 @default.
- W20439747 isParatext "false" @default.
- W20439747 isRetracted "false" @default.
- W20439747 magId "20439747" @default.
- W20439747 workType "article" @default.