Matches in SemOpenAlex for { <https://semopenalex.org/work/W1561655020> ?p ?o ?g. }
- W1561655020 abstract "Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. Therefore, a criterion for deciding between them is needed. Several extensions of logic programming consider priorities over program (default) rules. However, these priorities must be supplied by the programmer in a more or less arbitrary manner, establishing explicitly relations between rules. The aim of this paper is to investigate beyond explicit comparison between rules, looking for an inherent and autonomous comparison criterion, based on specificity as defined in [22, 25]. In contrast to other approaches, we consider not only defeasible, but also strict knowledge. Our criterion for comparing arguments, namely specificity, is context-sensitive. This means that preference among defeasible rules is determined dynamically during the dialectical analysis. We show how such a specificity criterion can be defined in terms of two different approaches: activation sets and derivation trees. This allows us to get a more syntactic criterion that can be implemented in a computationally attractive way. The resulting definitions may be applied in a generic rule-based formalism. We present a theorem which links both characterizations, showing their equivalence. Finally we discuss other frameworks for defeasible reasoning in which preference handling is considered explicitly, contrasting them with our approach." @default.
- W1561655020 created "2016-06-24" @default.
- W1561655020 creator A5019186384 @default.
- W1561655020 creator A5025712440 @default.
- W1561655020 creator A5031935884 @default.
- W1561655020 creator A5070056964 @default.
- W1561655020 date "2000-10-01" @default.
- W1561655020 modified "2023-09-24" @default.
- W1561655020 title "lntroducing generalized specificity in logic programming" @default.
- W1561655020 cites W130964037 @default.
- W1561655020 cites W140495063 @default.
- W1561655020 cites W1482502297 @default.
- W1561655020 cites W1511711492 @default.
- W1561655020 cites W1519069519 @default.
- W1561655020 cites W1522582857 @default.
- W1561655020 cites W1541434994 @default.
- W1561655020 cites W1542582773 @default.
- W1561655020 cites W1748411431 @default.
- W1561655020 cites W177932915 @default.
- W1561655020 cites W1784061619 @default.
- W1561655020 cites W2002135663 @default.
- W1561655020 cites W2010210638 @default.
- W1561655020 cites W2069176561 @default.
- W1561655020 cites W2098746567 @default.
- W1561655020 cites W2124620840 @default.
- W1561655020 cites W2133568918 @default.
- W1561655020 cites W2156092566 @default.
- W1561655020 cites W2914514117 @default.
- W1561655020 cites W94320921 @default.
- W1561655020 hasPublicationYear "2000" @default.
- W1561655020 type Work @default.
- W1561655020 sameAs 1561655020 @default.
- W1561655020 citedByCount "11" @default.
- W1561655020 crossrefType "journal-article" @default.
- W1561655020 hasAuthorship W1561655020A5019186384 @default.
- W1561655020 hasAuthorship W1561655020A5025712440 @default.
- W1561655020 hasAuthorship W1561655020A5031935884 @default.
- W1561655020 hasAuthorship W1561655020A5070056964 @default.
- W1561655020 hasConcept C118615104 @default.
- W1561655020 hasConcept C128838566 @default.
- W1561655020 hasConcept C140843580 @default.
- W1561655020 hasConcept C142362112 @default.
- W1561655020 hasConcept C153349607 @default.
- W1561655020 hasConcept C154945302 @default.
- W1561655020 hasConcept C159032336 @default.
- W1561655020 hasConcept C161301231 @default.
- W1561655020 hasConcept C171018156 @default.
- W1561655020 hasConcept C182620335 @default.
- W1561655020 hasConcept C193856179 @default.
- W1561655020 hasConcept C199360897 @default.
- W1561655020 hasConcept C2185349 @default.
- W1561655020 hasConcept C2524010 @default.
- W1561655020 hasConcept C2780069185 @default.
- W1561655020 hasConcept C33923547 @default.
- W1561655020 hasConcept C3746660 @default.
- W1561655020 hasConcept C41008148 @default.
- W1561655020 hasConcept C558565934 @default.
- W1561655020 hasConcept C62360110 @default.
- W1561655020 hasConcept C73301696 @default.
- W1561655020 hasConcept C80444323 @default.
- W1561655020 hasConceptScore W1561655020C118615104 @default.
- W1561655020 hasConceptScore W1561655020C128838566 @default.
- W1561655020 hasConceptScore W1561655020C140843580 @default.
- W1561655020 hasConceptScore W1561655020C142362112 @default.
- W1561655020 hasConceptScore W1561655020C153349607 @default.
- W1561655020 hasConceptScore W1561655020C154945302 @default.
- W1561655020 hasConceptScore W1561655020C159032336 @default.
- W1561655020 hasConceptScore W1561655020C161301231 @default.
- W1561655020 hasConceptScore W1561655020C171018156 @default.
- W1561655020 hasConceptScore W1561655020C182620335 @default.
- W1561655020 hasConceptScore W1561655020C193856179 @default.
- W1561655020 hasConceptScore W1561655020C199360897 @default.
- W1561655020 hasConceptScore W1561655020C2185349 @default.
- W1561655020 hasConceptScore W1561655020C2524010 @default.
- W1561655020 hasConceptScore W1561655020C2780069185 @default.
- W1561655020 hasConceptScore W1561655020C33923547 @default.
- W1561655020 hasConceptScore W1561655020C3746660 @default.
- W1561655020 hasConceptScore W1561655020C41008148 @default.
- W1561655020 hasConceptScore W1561655020C558565934 @default.
- W1561655020 hasConceptScore W1561655020C62360110 @default.
- W1561655020 hasConceptScore W1561655020C73301696 @default.
- W1561655020 hasConceptScore W1561655020C80444323 @default.
- W1561655020 hasLocation W15616550201 @default.
- W1561655020 hasOpenAccess W1561655020 @default.
- W1561655020 hasPrimaryLocation W15616550201 @default.
- W1561655020 hasRelatedWork W1480466499 @default.
- W1561655020 hasRelatedWork W1481352653 @default.
- W1561655020 hasRelatedWork W1514785193 @default.
- W1561655020 hasRelatedWork W1522582857 @default.
- W1561655020 hasRelatedWork W1523972824 @default.
- W1561655020 hasRelatedWork W1547478246 @default.
- W1561655020 hasRelatedWork W1556745154 @default.
- W1561655020 hasRelatedWork W1559227632 @default.
- W1561655020 hasRelatedWork W177328742 @default.
- W1561655020 hasRelatedWork W1921936585 @default.
- W1561655020 hasRelatedWork W1951270790 @default.
- W1561655020 hasRelatedWork W1987364064 @default.
- W1561655020 hasRelatedWork W1990606699 @default.
- W1561655020 hasRelatedWork W2052156772 @default.
- W1561655020 hasRelatedWork W2103533238 @default.