HALPERN@IBM.COM ("Joseph Y. Halpern") (10/06/88)
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