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