The aim of the paper is to formally relate logical Horn models and Bayesian Networks (BNs) in the framework of diagnostic reasoning. This is pursued by pointing out similarities between the two formalisms at the modeling level and by introducing into BNs a suitable notion of derivation. We also discuss modeling issues underlying the choice of Horn-based models vs BNs, by making explicit the “completion semantics” underlying a BN. This correspondence between “completed” Horn theories and BNs allows us to formally justify classical diagnostic schemata adopted for BNs.

A comparative analysis of Horn models and Bayesian Networks for diagnosis

PORTINALE, Luigi;
1997-01-01

Abstract

The aim of the paper is to formally relate logical Horn models and Bayesian Networks (BNs) in the framework of diagnostic reasoning. This is pursued by pointing out similarities between the two formalisms at the modeling level and by introducing into BNs a suitable notion of derivation. We also discuss modeling issues underlying the choice of Horn-based models vs BNs, by making explicit the “completion semantics” underlying a BN. This correspondence between “completed” Horn theories and BNs allows us to formally justify classical diagnostic schemata adopted for BNs.
1997
9783540635765
File in questo prodotto:
File Dimensione Formato  
aiia1997.pdf

file disponibile solo agli amministratori

Tipologia: Altro materiale allegato
Licenza: DRM non definito
Dimensione 286.89 kB
Formato Adobe PDF
286.89 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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: https://hdl.handle.net/11579/9428
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact