Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
作者： Ron van der Meyden
DOI: 10.4204/EPTCS.251.29
关键词:
摘要: This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies a for number of agents operating with imperfect information satisfies formula expressed modal multi-agent logic knowledge. The optimization has been implemented the checker MCK. reports experimental results demonstrating it yield multiple orders magnitude performance improvements.
arxiv.org
sci-hub.st 参考文章(28)
Scott M. Olmsted, On representing and solving decision problems ,(1983)
Xiaowei Huang, Ji Ruan, Michael Thielscher, Model Checking for Reasoning about Incomplete Information Games australasian joint conference on artificial intelligence. pp. 246- 258 ,(2013) , 10.1007/978-3-319-03680-9_27
Kai Baukus, Ron van der Meyden, A Knowledge Based Analysis of Cache Coherence international conference on formal engineering methods. pp. 99- 114 ,(2004) , 10.1007/978-3-540-30482-1_15
Peter Gammie, Ron van der Meyden, MCK: Model Checking the Logic of Knowledge Computer Aided Verification. ,vol. 3114, pp. 479- 483 ,(2004) , 10.1007/978-3-540-27813-9_41
Thomas Verma, Judea Pearl, None, Causal networks: semantics and expressiveness uncertainty in artificial intelligence. ,vol. 9, pp. 69- 78 ,(1990) , 10.1016/B978-0-444-88650-7.50011-1
Ron Van Der Meyden, Xiaowei Huang, Patrick Maupin, Model checking knowledge in pursuit evasion games international joint conference on artificial intelligence. pp. 240- 245 ,(2011) , 10.5591/978-1-57735-516-8/IJCAI11-051
Kai Engelhardt, Peter Gammie, Ron van der Meyden, Model Checking Knowledge and Linear Time: PSPACE Cases Logical Foundations of Computer Science. pp. 195- 211 ,(2007) , 10.1007/978-3-540-72734-7_14
A. Darwiche, Model-based diagnosis using structured system descriptions Journal of Artificial Intelligence Research. ,vol. 8, pp. 165- 222 ,(1998) , 10.1613/JAIR.462
Prakash P. Shenoy, Valuation-based systems: a framework for managing uncertainty in expert systems Fuzzy logic for the management of uncertainty. pp. 83- 104 ,(1992)
Omar I. Al-Bataineh, Ron van der Meyden, Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast international conference on security and privacy in communication systems. pp. 429- 447 ,(2010) , 10.1007/978-3-642-16161-2_25