| Attributes | Values |
|---|
| rdf:type
| |
| 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.
- 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. (en)
- Článek se zabývá %22model-based%22 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ř. (cs)
|
| Title
| - Extended Pruning Procedure for Incomplete-Observation Diagnostic Model Simplification
- Rozšířená procedura pro ořezávání diagnostického modelu při neuplném pozorování (cs)
- Extended Pruning Procedure for Incomplete-Observation Diagnostic Model Simplification (en)
|
| skos:prefLabel
| - Extended Pruning Procedure for Incomplete-Observation Diagnostic Model Simplification
- Rozšířená procedura pro ořezávání diagnostického modelu při neuplném pozorování (cs)
- Extended Pruning Procedure for Incomplete-Observation Diagnostic Model Simplification (en)
|
| skos:notation
| - RIV/68407700:21230/08:03143749!RIV09-MSM-21230___
|
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/68407700:21230/08:03143749
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - component diagnosability; diagnosis (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...v/mistoKonaniAkce
| |
| http://linked.open...i/riv/mistoVydani
| |
| http://linked.open...i/riv/nazevZdroje
| - Cybernetics and Systems 2008
|
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...iv/tvurceVysledku
| |
| http://linked.open...vavai/riv/typAkce
| |
| http://linked.open.../riv/zahajeniAkce
| |
| http://linked.open...n/vavai/riv/zamer
| |
| number of pages
| |
| http://purl.org/ne...btex#hasPublisher
| - Austrian Society for Cybernetics Studies
|
| https://schema.org/isbn
| |
| http://localhost/t...ganizacniJednotka
| |
| is http://linked.open...avai/riv/vysledek
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)