Loading...
Please wait, while we are loading the content...
Similar Documents
UvA-DARE ( Digital Academic Repository ) Symbolic Model Checking for Dynamic Epistemic Logic
| Content Provider | Semantic Scholar |
|---|---|
| Author | Benthem, Van Eijck, Van Hoek, Wiebe Van Der Holliday, Wesley H. Wang, W-F. |
| Copyright Year | 2015 |
| Abstract | Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL implementations are ad-hoc, so we do not know how the framework really performs. For this purpose, we want to hook up with the best available model-checking and SAT techniques in computational logic. We do this by first providing a bridge: a new faithful representation of DEL models as so-called knowledge structures that allow for symbolic model checking. Next, we show that we can now solve well-known benchmark problems in epistemic scenarios much faster than with existing DEL methods. Finally, we show that our method is not just a matter of implementation, but that it raises significant issues about logical representation and update. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://pure.uva.nl/ws/files/9249206/168861_del_bdd_lori_15.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
