Hongyu Geng and Yang Xiang, University of Regina, Canada
Multiply Sectioned Bayesian Networks (MSBN) provide a coherence framework for multi-agent distributed interpretation tasks. During the construction or dynamic formation of an MSBN, automatic verification of d-sepset and the acyclicity oftheoverall structure is desired. Although verification has been implemented in a time-sharing fashion, new issues must be resolved in order to perform such verification of an MSBN in a distributed environment. We discuss these issues and algorithms for verification in a distributed environment.