Please use this identifier to cite or link to this item: https://doi.org/10.1002/int.20313
Title: Symbolic verification of multiagent graphical decision models
Authors: Zeng, Y.
Poh, K.-L. 
Issue Date: Nov-2008
Source: Zeng, Y., Poh, K.-L. (2008-11). Symbolic verification of multiagent graphical decision models. International Journal of Intelligent Systems 23 (11) : 1177-1195. ScholarBank@NUS Repository. https://doi.org/10.1002/int.20313
Abstract: Multiply sectioned influence diagrams (MSID), together with hyper relevance graph (HRG), is a probabilistic graphical decision model representing distributed decision problems involving multiple agents. To ensure a valid model representation, an MSID observes a set of constraints that must be verified before its evaluation. We present a symbolic method to verify some constraints of this graphical decision model in a cooperative fashion. The method makes full use of an algebraic description of factorization joint probability in an MSID instead of focusing on the graphical structure of decision model. It is a cooperative verification that protects agent's privacy in multiagent systems. Furthermore, the issue of verification failure is investigated with some helpful corrections. Finally, a pairwise verification is proposed concerning other constraints to realize a valid model associated with the knowledge domain. © 2008 Wiley Periodicals, Inc.
Source Title: International Journal of Intelligent Systems
URI: http://scholarbank.nus.edu.sg/handle/10635/63353
ISSN: 08848173
DOI: 10.1002/int.20313
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

16
checked on Dec 10, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.