Solving Sum and Product Riddle via BDD-Based Model Checking

Authors:
Xiangyu Luo;Kaile Su;Abdul Sattar;Yan Chen
Affiliations:
-;-;-;-
Venue:
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Year:
2008

Citing 6
Cited 1

Reasoning about knowledge

Reasoning about knowledge
Model Checking Temporal Logics of Knowledge Via OBDDs1

The Computer Journal
Sum and Product in Dynamic Epistemic Logic

Journal of Logic and Computation
Model checking sum and product

AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Verification of multi-agent systems via bounded model checking

AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
MCMAS: a model checker for multi-agent systems

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Three steps

CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We model the Sum and Product Riddle in public announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking method to the riddle is developed by using the BDD-based symbolic model checking algorithm for logic of knowledge we developed in [7]. The method is implemented by extending the model checker MCTK [7] and then the solution of the riddle is verified successfully.