Matches in SemOpenAlex for { <https://semopenalex.org/work/W4236026138> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W4236026138 endingPage "438" @default.
- W4236026138 startingPage "434" @default.
- W4236026138 abstract "Present day systems, intelligent or otherwise, are limited by the conceptualizations of the world given to them by their designers. In this paper, we propose a novel, first-principles approach to performing incremental abstraction reformulations for computational efficiency based on justifying shifts in conceptualization. A new class of meta-theoretical justifications for a reformulation called irrelevance explanations, is presented. A logical irrelevance explanation demonstrates that certain distinctions made in the formulation are not necessary for the computation of a given class of problems. A computational irrelevance explanation shows that some distinctions are not useful with respect to a given problem solver for a given class of problems. We then present a meta-theoretical principle of ontological economy called the irrelevance principle . The irrelevance principle logically minimizes a formulation by removing all facts and distinctions that are either logically or computationally irrelevant to the specified goals." @default.
- W4236026138 created "2022-05-12" @default.
- W4236026138 creator A5020434909 @default.
- W4236026138 date "1989-01-01" @default.
- W4236026138 modified "2023-09-30" @default.
- W4236026138 title "A THEORY OF JUSTIFIED REFORMULATIONS" @default.
- W4236026138 doi "https://doi.org/10.1016/b978-1-55860-036-2.50109-0" @default.
- W4236026138 hasPublicationYear "1989" @default.
- W4236026138 type Work @default.
- W4236026138 citedByCount "4" @default.
- W4236026138 crossrefType "book-chapter" @default.
- W4236026138 hasAuthorship W4236026138A5020434909 @default.
- W4236026138 hasConcept C111472728 @default.
- W4236026138 hasConcept C11413529 @default.
- W4236026138 hasConcept C124304363 @default.
- W4236026138 hasConcept C138885662 @default.
- W4236026138 hasConcept C144237770 @default.
- W4236026138 hasConcept C154945302 @default.
- W4236026138 hasConcept C2777212361 @default.
- W4236026138 hasConcept C3019612716 @default.
- W4236026138 hasConcept C33923547 @default.
- W4236026138 hasConcept C41008148 @default.
- W4236026138 hasConcept C45374587 @default.
- W4236026138 hasConcept C459310 @default.
- W4236026138 hasConcept C80444323 @default.
- W4236026138 hasConcept C90734943 @default.
- W4236026138 hasConceptScore W4236026138C111472728 @default.
- W4236026138 hasConceptScore W4236026138C11413529 @default.
- W4236026138 hasConceptScore W4236026138C124304363 @default.
- W4236026138 hasConceptScore W4236026138C138885662 @default.
- W4236026138 hasConceptScore W4236026138C144237770 @default.
- W4236026138 hasConceptScore W4236026138C154945302 @default.
- W4236026138 hasConceptScore W4236026138C2777212361 @default.
- W4236026138 hasConceptScore W4236026138C3019612716 @default.
- W4236026138 hasConceptScore W4236026138C33923547 @default.
- W4236026138 hasConceptScore W4236026138C41008148 @default.
- W4236026138 hasConceptScore W4236026138C45374587 @default.
- W4236026138 hasConceptScore W4236026138C459310 @default.
- W4236026138 hasConceptScore W4236026138C80444323 @default.
- W4236026138 hasConceptScore W4236026138C90734943 @default.
- W4236026138 hasLocation W42360261381 @default.
- W4236026138 hasOpenAccess W4236026138 @default.
- W4236026138 hasPrimaryLocation W42360261381 @default.
- W4236026138 hasRelatedWork W12307245 @default.
- W4236026138 hasRelatedWork W13310149 @default.
- W4236026138 hasRelatedWork W13752840 @default.
- W4236026138 hasRelatedWork W3448677 @default.
- W4236026138 hasRelatedWork W4144432 @default.
- W4236026138 hasRelatedWork W6529272 @default.
- W4236026138 hasRelatedWork W8623215 @default.
- W4236026138 hasRelatedWork W8763005 @default.
- W4236026138 hasRelatedWork W9626545 @default.
- W4236026138 hasRelatedWork W764940 @default.
- W4236026138 isParatext "false" @default.
- W4236026138 isRetracted "false" @default.
- W4236026138 workType "book-chapter" @default.