Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)

Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)

This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-agent logic of knowledge. The optimization h...

Full description

Bibliographic Details
Main Author: Ron van der Meyden
Format: Article
Language:English
Published: Open Publishing Association 2017-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1707.08756v1
id doaj-33d12eb9acc94193b2e880126474ada5
record_format Article
spelling doaj-33d12eb9acc94193b2e880126474ada52020-11-25T01:13:35ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802017-07-01251Proc. TARK 201739841410.4204/EPTCS.251.29:107Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)Ron van der Meyden0 UNSW Sydney, Australia This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-agent logic of knowledge. The optimization has been implemented in the epistemic model checker MCK. The paper reports experimental results demonstrating that it can yield multiple orders of magnitude performance improvements.http://arxiv.org/pdf/1707.08756v1
collection DOAJ
language English
format Article
sources DOAJ
author Ron van der Meyden
spellingShingle Ron van der Meyden
Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
Electronic Proceedings in Theoretical Computer Science
author_facet Ron van der Meyden
author_sort Ron van der Meyden
title Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
title_short Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
title_full Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
title_fullStr Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
title_full_unstemmed Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
title_sort optimizing epistemic model checking using conditional independence (extended abstract)
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2017-07-01
description This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-agent logic of knowledge. The optimization has been implemented in the epistemic model checker MCK. The paper reports experimental results demonstrating that it can yield multiple orders of magnitude performance improvements.
url http://arxiv.org/pdf/1707.08756v1
work_keys_str_mv AT ronvandermeyden optimizingepistemicmodelcheckingusingconditionalindependenceextendedabstract
_version_ 1725161305356107776

Similar Items