J. Elgot-Drapkin. A real-time solution to the wise-men problem. In Proceedings of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, pages 33--40, 1991. Stanford, CA. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Mixed Initiative Dialogue and Intelligence via Active.. - Andersen, Traum.. (1999) (2 citations) (Correct)
....contradictions. We have explored a number of aspects of active logics in some detail, from the basic concepts [ Elgot Drapkin and Perlis, 1990 ] to deadline reasoning [ Kraus et al. 1990, Nirkhe, 1994, Nirkhe et al. 1997 ] to reasoning about others ongoing reasoning ( Elgot Drapkin, 1988, Elgot Drapkin, 1991 ] and have begun to explore uses of active logics in dialogue, especially in pragmatic inferences that support dialog ( Gurney et al. 1995, Perlis et al. 1996 ] 3 Active logic as resource for reasoning about mixed initiative interaction The two previous sections outlined our general ....
J. Elgot-Drapkin. A real-time solution to the wise-men problem. In Proceedings of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, Stanford, CA, 1991.
Active Logics: A Unified Formal Approach to Episodic.. - Elgot-Drapkin, Kraus, .. Self-citation (Elgot-drapkin) (Correct)
....#2 knows these particular facts at step 4. 45 The reasoning continues from step to step. Note that at step 11, wiseman #1 has been able to deduce that wiseman #2 knows that if wiseman #1 s card is black, then his is white. From this step on, we essentially have the Two wise men problem. See [ 23 ] In step 17 wiseman #1 is finally able to deduce that his card is white. We see that active logic is a useful vehicle for formulating and solving a problem of this kind in which the time that something occurs is important. wiseman #1 does indeed determine if wiseman #2 or wiseman #3 knew the ....
J. Elgot-Drapkin. A real-time solution to the wise-men problem. In Proceedings of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, pages 33--40, 1991. Stanford, CA.
Stop the World - I Want to Think - Perlis, Elgot-Drapkin, al. (1991) Self-citation (Elgot-drapkin) (Correct)
....we sketch some of the spirit of our solution of the Three Wise Men Problem, which we present here in the simplified version of two wise men. The sketch unavoidably obscures a number of technical points. Full details for the version with three wise men are given in [Elgot Drapkin, 1988] and [Elgot Drapkin, 1991] , where both a formalization and implementation of this problem and its solution are provided. Suppose then that there are two wise men: W1 and W2. Wise man W1 is our agent, whose reasoning is to be represented by the step logic. W2 sits behind W1, and a card is placed behind the chair of each, ....
J. Elgot-Drapkin. A real-time solution to the wise-men problem. In Proceedings of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, pages 33--40, 1991. Stanford, CA.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC