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 参考文章(25)
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
Adnan Darwiche, A logical notion of conditional independence: properties and applications Artificial Intelligence. ,vol. 97, pp. 45- 82 ,(1997) , 10.1016/S0004-3702(97)00042-8