Solving Sum and Product Riddle via BDD-based Model Checking
| File | Size | Format | |
|---|---|---|---|
| 54568_1.pdf | 321Kb | Adobe PDF | View |
| Title | Solving Sum and Product Riddle via BDD-based Model Checking |
|---|---|
| Author | Luo, Xiangyu; Su, Kaile; Sattar, Abdul; Chen, Yan |
| Publication Title | Proceedings 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology |
| Editor | Lakhmi Jain et al |
| Year Published | 2008 |
| Place of publication | Online |
| Publisher | IEEE |
| 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. |
| Peer Reviewed | Yes |
| Published | Yes |
| Publisher URI | http://ieeexplore.ieee.org/servlet/opac?punumber=4740404 |
| Alternative URI | http://dx.doi.org/10.1109/WIIAT.2008.277 |
| Copyright Statement | Copyright 2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. |
| Conference name | IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology |
| Location | Sydney |
| Date From | 2008-12-09 |
| Date To | 2008-12-12 |
| URI | http://hdl.handle.net/10072/22891 |
| Date Accessioned | 2009-03-16 |
| Date Available | 2009-05-12T06:40:03Z |
| Language | en_AU |
| Research Centre | Institute for Integrated and Intelligent Systems |
| Faculty | Faculty of Science, Environment, Engineering and Technology |
| Subject | Computational Logic and Formal Languages |
| Publication Type | Conference Publications (Full Written Paper - Refereed) |
| Publication Type Code | e1 |
Please use this identifier to cite this record: http://hdl.handle.net/10072/22891
Griffith University copyright notice
Copyright in individual works within the repository belongs to their authors or publishers. You may make a print or digital copy of a work for your personal non-commercial use. All other rights are reserved, except for fair dealings or other user rights granted by the copyright laws of your country.
Footer information
Back to top