Matches in SemOpenAlex for { <https://semopenalex.org/work/W801458082> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W801458082 abstract "Model-based diagnosis is a powerful, first-principles approach to diagnosis. The primary drawback with model-based diagnosis is that it is based on a system model, and this model might be inappropriate. The inappropriateness of models usually stems from the fundamental tradeoff between completeness and efficiency. Recently, Struss has developed an elegant proposal for diagnosis with multiple models. Struss characterizes models as relations and develops a precise notion of abstraction. He defines relations between models and analyzes the effect of a model switch on the space of possible diagnoses. In this paper we extend Struss's proposal in three ways. First, our account of diagnosis with multiple models is based on representing models as more expressive first-order theories, rather than as relations. A key technical contribution is the use of a general notion of abstraction based on interpretations between theories. Second, Struss conflates component modes with models, requiring him to define models relations such as choices which result in non-relational models. We avoid this problem by differentiating component modes from models. Third, we present a more general account of simplifications that correctly handles situations where the simplification contradicts the base theory." @default.
- W801458082 created "2016-06-24" @default.
- W801458082 creator A5001605479 @default.
- W801458082 creator A5042012917 @default.
- W801458082 date "1994-01-01" @default.
- W801458082 modified "2023-09-27" @default.
- W801458082 title "A Logical Account of Diagnosis with Multiple Theories" @default.
- W801458082 hasPublicationYear "1994" @default.
- W801458082 type Work @default.
- W801458082 sameAs 801458082 @default.
- W801458082 citedByCount "0" @default.
- W801458082 crossrefType "proceedings-article" @default.
- W801458082 hasAuthorship W801458082A5001605479 @default.
- W801458082 hasAuthorship W801458082A5042012917 @default.
- W801458082 hasConcept C111472728 @default.
- W801458082 hasConcept C121332964 @default.
- W801458082 hasConcept C124304363 @default.
- W801458082 hasConcept C134306372 @default.
- W801458082 hasConcept C138885662 @default.
- W801458082 hasConcept C142724271 @default.
- W801458082 hasConcept C154945302 @default.
- W801458082 hasConcept C168167062 @default.
- W801458082 hasConcept C17231256 @default.
- W801458082 hasConcept C33923547 @default.
- W801458082 hasConcept C41008148 @default.
- W801458082 hasConcept C534262118 @default.
- W801458082 hasConcept C71924100 @default.
- W801458082 hasConcept C80444323 @default.
- W801458082 hasConcept C97355855 @default.
- W801458082 hasConceptScore W801458082C111472728 @default.
- W801458082 hasConceptScore W801458082C121332964 @default.
- W801458082 hasConceptScore W801458082C124304363 @default.
- W801458082 hasConceptScore W801458082C134306372 @default.
- W801458082 hasConceptScore W801458082C138885662 @default.
- W801458082 hasConceptScore W801458082C142724271 @default.
- W801458082 hasConceptScore W801458082C154945302 @default.
- W801458082 hasConceptScore W801458082C168167062 @default.
- W801458082 hasConceptScore W801458082C17231256 @default.
- W801458082 hasConceptScore W801458082C33923547 @default.
- W801458082 hasConceptScore W801458082C41008148 @default.
- W801458082 hasConceptScore W801458082C534262118 @default.
- W801458082 hasConceptScore W801458082C71924100 @default.
- W801458082 hasConceptScore W801458082C80444323 @default.
- W801458082 hasConceptScore W801458082C97355855 @default.
- W801458082 hasLocation W8014580821 @default.
- W801458082 hasOpenAccess W801458082 @default.
- W801458082 hasPrimaryLocation W8014580821 @default.
- W801458082 hasRelatedWork W1542748040 @default.
- W801458082 hasRelatedWork W1555783067 @default.
- W801458082 hasRelatedWork W1580395870 @default.
- W801458082 hasRelatedWork W161961565 @default.
- W801458082 hasRelatedWork W1846884736 @default.
- W801458082 hasRelatedWork W1964583931 @default.
- W801458082 hasRelatedWork W199745220 @default.
- W801458082 hasRelatedWork W2031872588 @default.
- W801458082 hasRelatedWork W2042364815 @default.
- W801458082 hasRelatedWork W2183992379 @default.
- W801458082 hasRelatedWork W2265310509 @default.
- W801458082 hasRelatedWork W2272410705 @default.
- W801458082 hasRelatedWork W2278117568 @default.
- W801458082 hasRelatedWork W2298696516 @default.
- W801458082 hasRelatedWork W2404907740 @default.
- W801458082 hasRelatedWork W2564997754 @default.
- W801458082 hasRelatedWork W2973270463 @default.
- W801458082 hasRelatedWork W807002533 @default.
- W801458082 hasRelatedWork W1576279768 @default.
- W801458082 hasRelatedWork W2135878409 @default.
- W801458082 isParatext "false" @default.
- W801458082 isRetracted "false" @default.
- W801458082 magId "801458082" @default.
- W801458082 workType "article" @default.