Path: utzoo!utgpu!water!watmath!clyde!cbosgd!ucbvax!casun.kaist.ac.kr!skhan From: skhan@casun.kaist.ac.kr (Sangki Han) Newsgroups: comp.ai.digest Subject: Epistemic Logic Examples Message-ID: <8712092158.AA12387@casun.kaist.ac.kr.casun.ac.kr> Date: 9 Dec 87 21:58:21 GMT Sender: usenet@ucbvax.BERKELEY.EDU Organization: The ARPA Internet Lines: 9 Approved: ailist@kl.sri.com Hi! I and my collegue have designed and implemented a theorem prover for the epistemic logic based on Konolige's deduction model. We want to get various meaningful or famous examples to test our prover. Especially, it would be better if the example concerns both the knowledge and belief of multiple agents since we want to handle that kind of situations. Thanks in advance. Sangki Han