Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387210694> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4387210694 abstract "Model-based diagnosis has been an active research topic in different communities including artificial intelligence, formal methods, and control. This has led to a set of disparate approaches addressing different classes of systems and seeking different forms of diagnoses. In this paper, we resolve such disparities by generalising Reiter's theory to be agnostic to the types of systems and diagnoses considered. This more general theory of diagnosis from first principles defines the minimal diagnosis as the set of preferred diagnosis candidates in a search space of hypotheses. Computing the minimal diagnosis is achieved by exploring the space of diagnosis hypotheses, testing sets of hypotheses for consistency with the system's model and the observation, and generating conflicts that rule out successors and other portions of the search space. Under relatively mild assumptions, our algorithms correctly compute the set of preferred diagnosis candidates. The main difficulty here is that the search space is no longer a powerset as in Reiter's theory, and that, as consequence, many of the implicit properties (such as finiteness of the search space) no longer hold. The notion of conflict also needs to be generalised and we present such a more general notion. We present two implementations of these algorithms, using test solvers based on satisfiability and heuristic search, respectively, which we evaluate on instances from two real world discrete event problems. Despite the greater generality of our theory, these implementations surpass the special purpose algorithms designed for discrete event systems, and enable solving instances that were out of reach of existing diagnosis approaches." @default.
- W4387210694 created "2023-10-01" @default.
- W4387210694 creator A5000852884 @default.
- W4387210694 creator A5072296738 @default.
- W4387210694 creator A5076016306 @default.
- W4387210694 date "2023-09-28" @default.
- W4387210694 modified "2023-10-01" @default.
- W4387210694 title "A More General Theory of Diagnosis from First Principles" @default.
- W4387210694 doi "https://doi.org/10.48550/arxiv.2309.16180" @default.
- W4387210694 hasPublicationYear "2023" @default.
- W4387210694 type Work @default.
- W4387210694 citedByCount "0" @default.
- W4387210694 crossrefType "posted-content" @default.
- W4387210694 hasAuthorship W4387210694A5000852884 @default.
- W4387210694 hasAuthorship W4387210694A5072296738 @default.
- W4387210694 hasAuthorship W4387210694A5076016306 @default.
- W4387210694 hasBestOaLocation W43872106941 @default.
- W4387210694 hasConcept C111919701 @default.
- W4387210694 hasConcept C11413529 @default.
- W4387210694 hasConcept C121332964 @default.
- W4387210694 hasConcept C125583679 @default.
- W4387210694 hasConcept C139979381 @default.
- W4387210694 hasConcept C142724271 @default.
- W4387210694 hasConcept C154945302 @default.
- W4387210694 hasConcept C15744967 @default.
- W4387210694 hasConcept C168773769 @default.
- W4387210694 hasConcept C173801870 @default.
- W4387210694 hasConcept C177264268 @default.
- W4387210694 hasConcept C19889080 @default.
- W4387210694 hasConcept C199360897 @default.
- W4387210694 hasConcept C26713055 @default.
- W4387210694 hasConcept C2776436953 @default.
- W4387210694 hasConcept C2778572836 @default.
- W4387210694 hasConcept C2779662365 @default.
- W4387210694 hasConcept C2780767217 @default.
- W4387210694 hasConcept C33923547 @default.
- W4387210694 hasConcept C41008148 @default.
- W4387210694 hasConcept C534262118 @default.
- W4387210694 hasConcept C542102704 @default.
- W4387210694 hasConcept C62520636 @default.
- W4387210694 hasConcept C71924100 @default.
- W4387210694 hasConcept C80444323 @default.
- W4387210694 hasConceptScore W4387210694C111919701 @default.
- W4387210694 hasConceptScore W4387210694C11413529 @default.
- W4387210694 hasConceptScore W4387210694C121332964 @default.
- W4387210694 hasConceptScore W4387210694C125583679 @default.
- W4387210694 hasConceptScore W4387210694C139979381 @default.
- W4387210694 hasConceptScore W4387210694C142724271 @default.
- W4387210694 hasConceptScore W4387210694C154945302 @default.
- W4387210694 hasConceptScore W4387210694C15744967 @default.
- W4387210694 hasConceptScore W4387210694C168773769 @default.
- W4387210694 hasConceptScore W4387210694C173801870 @default.
- W4387210694 hasConceptScore W4387210694C177264268 @default.
- W4387210694 hasConceptScore W4387210694C19889080 @default.
- W4387210694 hasConceptScore W4387210694C199360897 @default.
- W4387210694 hasConceptScore W4387210694C26713055 @default.
- W4387210694 hasConceptScore W4387210694C2776436953 @default.
- W4387210694 hasConceptScore W4387210694C2778572836 @default.
- W4387210694 hasConceptScore W4387210694C2779662365 @default.
- W4387210694 hasConceptScore W4387210694C2780767217 @default.
- W4387210694 hasConceptScore W4387210694C33923547 @default.
- W4387210694 hasConceptScore W4387210694C41008148 @default.
- W4387210694 hasConceptScore W4387210694C534262118 @default.
- W4387210694 hasConceptScore W4387210694C542102704 @default.
- W4387210694 hasConceptScore W4387210694C62520636 @default.
- W4387210694 hasConceptScore W4387210694C71924100 @default.
- W4387210694 hasConceptScore W4387210694C80444323 @default.
- W4387210694 hasLocation W43872106941 @default.
- W4387210694 hasOpenAccess W4387210694 @default.
- W4387210694 hasPrimaryLocation W43872106941 @default.
- W4387210694 hasRelatedWork W128952136 @default.
- W4387210694 hasRelatedWork W2026039762 @default.
- W4387210694 hasRelatedWork W2056754788 @default.
- W4387210694 hasRelatedWork W2081821176 @default.
- W4387210694 hasRelatedWork W2349967715 @default.
- W4387210694 hasRelatedWork W2358427436 @default.
- W4387210694 hasRelatedWork W2885382898 @default.
- W4387210694 hasRelatedWork W350536015 @default.
- W4387210694 hasRelatedWork W4302010637 @default.
- W4387210694 hasRelatedWork W4383897618 @default.
- W4387210694 isParatext "false" @default.
- W4387210694 isRetracted "false" @default.
- W4387210694 workType "article" @default.