Attenzione: i dati modificati non sono ancora stati salvati. Per confermare inserimenti o cancellazioni di voci è necessario confermare con il tasto INSERISCI in fondo alla pagina
CINECA IRIS Institutional Research Information System
In this paper, we analyze the logical definitions of model-based diagnosis recently presented in the literature, and we propose a unified framework (based on the integration of abductive and consistency-based reasoning) in which most of such definitions can be captured.
This allows us to single out the existence of a spectrum of alternatives in the logical definition of diagnosis. A lot of attention in the paper is devoted to analyzing the differences among the definitions in the spectrum. In particular, we show that the definitions can be compared on the basis of their restrictiveness and we relate such a restrictiveness with the completeness of the model of the system to be diagnosed.
A spectrum of logical definitions of model-based diagnosis
In this paper, we analyze the logical definitions of model-based diagnosis recently presented in the literature, and we propose a unified framework (based on the integration of abductive and consistency-based reasoning) in which most of such definitions can be captured.
This allows us to single out the existence of a spectrum of alternatives in the logical definition of diagnosis. A lot of attention in the paper is devoted to analyzing the differences among the definitions in the spectrum. In particular, we show that the definitions can be compared on the basis of their restrictiveness and we relate such a restrictiveness with the completeness of the model of the system to be diagnosed.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2318/10449
Citazioni
ND
ND
ND
social impact
simulazione ASN
Il report seguente simula gli indicatori relativi alla produzione scientifica in relazione alle soglie ASN 2018-2020 del proprio SC/SSD. Si ricorda che il superamento dei valori soglia (almeno 2 su 3) è requisito necessario ma non sufficiente al conseguimento dell'abilitazione.
La simulazione si basa sui dati IRIS e presenta gli indicatori calcolati alla data indicata sul report. Si ricorda che in sede di domanda ASN presso il MIUR gli indicatori saranno invece calcolati a partire dal 1° gennaio rispettivamente del quinto/decimo/quindicesimo anno precedente la scadenza del quadrimestre di presentazione della domanda (art 2 del DM 598/2018).
In questa simulazione pertanto il valore degli indicatori potrà differire da quello conteggiato all’atto della domanda ASN effettuata presso il MIUR a seguito di:
Correzioni imputabili a eventuali periodi di congedo obbligatorio, che in sede di domanda ASN danno diritto a incrementi percentuali dei valori.
Presenza di eventuali errori di catalogazione e/o dati mancanti in IRIS
Variabilità nel tempo dei valori citazionali (per i settori bibliometrici)
Variabilità della finestra temporale considerata in funzione della sessione di domanda ASN a cui si partecipa.
La presente simulazione è stata realizzata sulla base delle regole riportate nel DM 598/2018 e dell'allegata Tabella A e delle specifiche definite all'interno del Focus Group Cineca relativo al modulo IRIS ER. Il Cineca non si assume alcuna responsabilità in merito all'uso che il diretto interessato o terzi faranno della simulazione.