Please use this identifier to cite or link to this item:
Title: Symbolic verification of multiagent graphical decision models
Authors: Zeng, Y.
Poh, K.-L. 
Issue Date: Nov-2008
Citation: 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.
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
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)

checked on Oct 13, 2018

Google ScholarTM



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