Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!bloom-beacon!IBM.COM!HALPERN
From: HALPERN@IBM.COM ("Joseph Y. Halpern")
Newsgroups: comp.ai.digest
Subject: Belief and awareness
Message-ID: <100588.175917.halpern@ibm.com>
Date: 6 Oct 88 00:59:14 GMT
Sender: daemon@bloom-beacon.MIT.EDU
Organization: The Internet
Lines: 15
Approved: ailist@ai.ai.mit.edu

In response to Fabrizio Sebastiani's question of Sept. 23 regarding
further work on Fagin and my notion of "awareness", here is what I am
aware of: (a) Kurt Konolige wrote a critique of the paper which appeared
in the proceedings of the 1986 Conference on Theoretical Aspects of
Reasoning About Knowledge; (b) Robert Hadley wrote a critique (and
discussed other ways of dealing with the problem) which appeared as a
Tech Report at Simon Fraser University (the exact reference can be found
in the journal version of our paper, which appears in Artificial Intelligence,
vol. 34, pp. 39-76); (c) Yoram Moses provided a model for polynomial time
knowledge, which can be viewed as a notion of awareness; Yoram's paper
appears in the proceedings of the 1988 Conference on Theoretical Aspects
of Reasoning About Knowledge; (d) Mark Tuttle, Yoram Moses, and I have
a paper in the 1988 Symposium on Theory of Computing which focuses
on zero-knowledge protocols, but also extends Yoram's definitions
to deal with learning. --  Joe Halpern