Solving Sum and Product Riddle via BDD-based model checking | |
Luo, Xiangyu ; Su, Kaile ; Sattar, Abdul ; Chen, Yan | |
2008 | |
英文摘要 | We model the Sum and Product Riddle inpublic 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. ? 2008 IEEE.; EI; 0 |
语种 | 英语 |
DOI标识 | 10.1109/WIIAT.2008.277 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/263266] ![]() |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Luo, Xiangyu,Su, Kaile,Sattar, Abdul,et al. Solving Sum and Product Riddle via BDD-based model checking. 2008-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论