FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W109577020> ?p ?o ?g. }

• W109577020 endingPage "228" @default.
• W109577020 startingPage "217" @default.
• W109577020 abstract "We show how to transform any set of prioritized propositional defaults into an equivalent set of parallel (i.e., unprioritized) defaults, in circumscription. We give an algorithm to implement the transform. We show how to use the transform algorithm as a generator of a whole family of inferencing algorithms for circumscription. The method is to employ the transform algorithm as a front end to any inferencing algorithm, e.g., one of the previously available, that handles the parallel (empty) case of prioritization. Our algorithms provide not just coverage of a new expressive class, but also alternatives to previous algorithms for implementing the previously covered class (layered) of prioritization.In particular, we give a new query-answering algorithm for prioritized cirumscription which is sound and complete for the full expressive class of unrestricted finite prioritization partial orders, for propositional defaults (or minimized predicates). By contrast, previous algorithms required that the prioritization partial order be layered, i.e., structured similar to the system of rank in the military.Our algorithm enables, for the first time, the implementation of the most useful class of prioritization: non-layered prioritization partial orders. Default inheritance, for example, typically requires non-layered prioritization to represent specificity adequately. Our algorithm enables not only the implementation of default inheritance (and specificity) within prioritized circumscription, but also the extension and combination of default inheritance with other kinds of prioritized default reasoning, e.g.: with stratified logic programs with negation-as-failure. Such logic programs are previously known to be representable equivalently as layered-priority predicate circumscriptions.Worst-case, the transform increases the number of defaults exponentially. We discuss how inferencing is practically implementable nevertheless in two kinds of situations: general expressiveness but small numbers of defaults, or expressive special cases with larger numbers of defaults. One such expressive special case is non-top-heaviness of the prioritization partial order.In addition to its direct implementation, the transform can also be exploited analytically to generate special case algorithms, e.g., a tractable transform for a class within default inheritance (detailed in another, forthcoming paper).We discuss other aspects of the significance of the fundamental result. One can view the transform as reducing n degrees of partially ordered belief confidence to just 2 degrees of confidence: for-sure and (unprioritized) default. Ordinary, parallel default reasoning, e.g., in parallel circumscription or Poole's Theorist, can be viewed in these terms as reducing 2 degrees of confidence to just 1 degree of confidence: that of the non-monotonic theory's conclusions. The expressive reduction's computational complexity suggests that prioritization is valuable for its expressive conciseness, just as defaults are for theirs.For Reiter's Default Logic and Poole's Theorist, the transform implies how to extend those formalisms so as to equip them with a concept of prioritization that is exactly equivalent to that in circumscription. This provides an interesting alternative to Brewka's approach to equipping them with prioritization-type precedence.A longer version of this paper, including the proof of the central transform result, will soon be available as an IBM Research Report." @default.
• W109577020 created "2016-06-24" @default.
• W109577020 creator A5030821392 @default.
• W109577020 date "1995-08-18" @default.
• W109577020 modified "2023-09-27" @default.
• W109577020 title "Transforming prioritized defaults and specificity into parallel defaults" @default.
• W109577020 cites W113938959 @default.
• W109577020 cites W1504628537 @default.
• W109577020 cites W1534361892 @default.
• W109577020 cites W1556967393 @default.
• W109577020 cites W1581728926 @default.
• W109577020 cites W1587596614 @default.
• W109577020 cites W165478191 @default.
• W109577020 cites W192775082 @default.
• W109577020 cites W1953504202 @default.
• W109577020 cites W1966552757 @default.
• W109577020 cites W1997714358 @default.
• W109577020 cites W1998363560 @default.
• W109577020 cites W2004352874 @default.
• W109577020 cites W2020153579 @default.
• W109577020 cites W2047995960 @default.
• W109577020 cites W2072291277 @default.
• W109577020 cites W2076439421 @default.
• W109577020 cites W2083568285 @default.
• W109577020 cites W2093713825 @default.
• W109577020 cites W2105597099 @default.
• W109577020 cites W2143336154 @default.
• W109577020 cites W2145110606 @default.
• W109577020 cites W2150191218 @default.
• W109577020 cites W2152764793 @default.
• W109577020 cites W2155322595 @default.
• W109577020 cites W2162564004 @default.
• W109577020 cites W2509444772 @default.
• W109577020 cites W2557892554 @default.
• W109577020 cites W26529986 @default.
• W109577020 cites W2913309218 @default.
• W109577020 cites W2915067375 @default.
• W109577020 cites W56211936 @default.
• W109577020 cites W63093409 @default.
• W109577020 cites W63858687 @default.
• W109577020 cites W71638810 @default.
• W109577020 cites W750396584 @default.
• W109577020 hasPublicationYear "1995" @default.
• W109577020 type Work @default.
• W109577020 sameAs 109577020 @default.
• W109577020 citedByCount "1" @default.
• W109577020 crossrefType "proceedings-article" @default.
• W109577020 hasAuthorship W109577020A5030821392 @default.
• W109577020 hasConcept C10138342 @default.
• W109577020 hasConcept C102993220 @default.
• W109577020 hasConcept C104317684 @default.
• W109577020 hasConcept C11413529 @default.
• W109577020 hasConcept C154945302 @default.
• W109577020 hasConcept C159032336 @default.
• W109577020 hasConcept C160236029 @default.
• W109577020 hasConcept C162324750 @default.
• W109577020 hasConcept C168773769 @default.
• W109577020 hasConcept C177264268 @default.
• W109577020 hasConcept C185592680 @default.
• W109577020 hasConcept C199360897 @default.
• W109577020 hasConcept C203659156 @default.
• W109577020 hasConcept C2777212361 @default.
• W109577020 hasConcept C2777615720 @default.
• W109577020 hasConcept C2780902518 @default.
• W109577020 hasConcept C3845977 @default.
• W109577020 hasConcept C41008148 @default.
• W109577020 hasConcept C539667460 @default.
• W109577020 hasConcept C55493867 @default.
• W109577020 hasConcept C62360110 @default.
• W109577020 hasConcept C69637215 @default.
• W109577020 hasConcept C80444323 @default.
• W109577020 hasConceptScore W109577020C10138342 @default.
• W109577020 hasConceptScore W109577020C102993220 @default.
• W109577020 hasConceptScore W109577020C104317684 @default.
• W109577020 hasConceptScore W109577020C11413529 @default.
• W109577020 hasConceptScore W109577020C154945302 @default.
• W109577020 hasConceptScore W109577020C159032336 @default.
• W109577020 hasConceptScore W109577020C160236029 @default.
• W109577020 hasConceptScore W109577020C162324750 @default.
• W109577020 hasConceptScore W109577020C168773769 @default.
• W109577020 hasConceptScore W109577020C177264268 @default.
• W109577020 hasConceptScore W109577020C185592680 @default.
• W109577020 hasConceptScore W109577020C199360897 @default.
• W109577020 hasConceptScore W109577020C203659156 @default.
• W109577020 hasConceptScore W109577020C2777212361 @default.
• W109577020 hasConceptScore W109577020C2777615720 @default.
• W109577020 hasConceptScore W109577020C2780902518 @default.
• W109577020 hasConceptScore W109577020C3845977 @default.
• W109577020 hasConceptScore W109577020C41008148 @default.
• W109577020 hasConceptScore W109577020C539667460 @default.
• W109577020 hasConceptScore W109577020C55493867 @default.
• W109577020 hasConceptScore W109577020C62360110 @default.
• W109577020 hasConceptScore W109577020C69637215 @default.
• W109577020 hasConceptScore W109577020C80444323 @default.
• W109577020 hasLocation W1095770201 @default.
• W109577020 hasOpenAccess W109577020 @default.
• W109577020 hasPrimaryLocation W1095770201 @default.
• W109577020 hasRelatedWork W1512151485 @default.

• next