Extended Pruning Procedure for Incomplete-Observation Diagnostic Model Simplification

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Extended Pruning Procedure for Incomplete-Observation Diagnostic Model Simplification

Original language description

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.

Czech name

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

Czech description

Článek se zabývá "model-based" diagnostikou systémů popsatelných ve výrokové logice. Zaměřuje se zvláště na zjednodušování jejich modelů pro dané podmínky pozorovatelnosti. Když očekáváme že budeme moci pozorovat pouze několik proměnných, provádění diagnostiky na celém modelu systému není efektivní. Pokud bychom znali omezenou množinu proměnných, které se mohou objevit v pozorování, potom bychom je mohli použít ke zjednodušení diagnostického modelu před tím než proběhne diagnostické dovozování. Byla navrhnuta ořezávací metoda, která systematicky odebírá ty části, jež nepřispívají k diagnóze celého systému. Metoda využívá algoritmus rozhodující diagnostikovatelnost komponent založený na směrové rezoluci. Článek rozšiřuje tuto metodu tak, aby mohla pracovat i s nediagnostikovatelnými vnitřními komponentami a ořezávat model zevnitř.

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2008

Confidentiality

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

Article name in the collection

Cybernetics and Systems 2008

ISBN

978-3-85206-175-7

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

—

Publisher name

Austrian Society for Cybernetics Studies

Place of publication

Vienna

Event location

Vienna

Event date

Mar 25, 2008

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—