Rozšířená procedura pro ořezávání diagnostického modelu při neuplném pozorování

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F08%3A03143749" target="_blank" >RIV/68407700:21230/08:03143749 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Extended Pruning Procedure for Incomplete-Observation Diagnostic Model Simplification

Popis výsledku v původním jazyce

This paper concerns model-based diagnostics of systems that can be described in propositional logic. It focuses particularly on the simplification of their diagnostic models for some given conditions of observation. Performing diagnostics on the entire model of a system when only a few variables are expected to be observed, is not efficient. If we knew the limited set of variables which might appear in the observation, then they would be used to simplify the diagnostic model before the diagnosis inference takes place. A pruning procedure was proposed which systematically removes parts of a model that do not contribute to the overall system diagnosis. It employs an algorithm deciding component diagnosability based on directional resolution. The paper extends this procedure so that it can deal with undiagnosable inner components and cut the model from inside.

Název v anglickém jazyce

Extended Pruning Procedure for Incomplete-Observation Diagnostic Model Simplification

Popis výsledku anglicky

This paper concerns model-based diagnostics of systems that can be described in propositional logic. It focuses particularly on the simplification of their diagnostic models for some given conditions of observation. Performing diagnostics on the entire model of a system when only a few variables are expected to be observed, is not efficient. If we knew the limited set of variables which might appear in the observation, then they would be used to simplify the diagnostic model before the diagnosis inference takes place. A pruning procedure was proposed which systematically removes parts of a model that do not contribute to the overall system diagnosis. It employs an algorithm deciding component diagnosability based on directional resolution. The paper extends this procedure so that it can deal with undiagnosable inner components and cut the model from inside.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2008

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Cybernetics and Systems 2008

ISBN

978-3-85206-175-7

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

—

Název nakladatele

Austrian Society for Cybernetics Studies

Místo vydání

Vienna

Místo konání akce

Vienna

Datum konání akce

25. 3. 2008

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—