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 | 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. 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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.