Halpern J.Y. and Lakemeyer, G. Multi-Agent Only Knowing. In Journal of Logic and Computation 11:1 (40-70), 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Subjective Situations - Sales (1999) (Correct)
....because we deal directly with formulas. There is a different treatment of the unsatisfiability relation when applied to beliefs, because he transforms =j into 6j= whereas we don t. 6 However, similar logics that deal with many agents have been considered by Halpern and Lakemeyer, see e.g. [10]. 5.2 Thijsse s Hybrid Sieve Systems Thijsse ( 6] proposes a way of using partial logics to deal with various forms of logical omniscience. He defines a partial model as a tuple (W; B 1 ; Bn ; V ) where W is a set of worlds, B i is the accessibility relation between worlds for agent i ....
J. Halpern, G. Lakemeyer, Multi-agent only knowing, in Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, TARK-96 (1996), 251-265. This article was processed using the L A T E X macro package with LLNCS style
How to Avoid Knowing It All - Moreno (1997) (Correct)
....that try to solve the problems of this last approach (however, they keep explicit and implicit beliefs) Konolige comments in [Kono86b] one of them, the logic of general awareness. 9 Similar logics that deal with many agents were investigated by Halpern and Lakemeyer in [Halp93] Lake93] and [HaLe96]. 10 Lakemeyer has extended this approach to first order logic, see [Lake91b] or [Lake94] 11 Some partially nested beliefs were allowed by Lakemeyer in [Lake87] and [Lake91a] Assume a propositional language with the usual boolean operators of negation and conjunction and an especial ....
Halpern, J., Lakemeyer, G., "Multi-agent only knowing", in Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, TARK-96, pp. 251-265, 1996.
Only-Knowing: Taking It beyond Autoepistemic Reasoning - Lakemeyer, Levesque (2005) Self-citation (Lakemeyer) (Correct)
No context found.
J. Y. Halpern and G. Lakemeyer, Multi-Agent Only Knowing. Journal of Logic and Computation 11(1), 41-70, 2001.
A Theory Of Knowledge And Ignorance For Many Agents - Halpern (1993) (8 citations) Self-citation (Halpern) (Correct)
....also be useful in other applications where we need to characterize the set of possibilities of an agent, such as in extending Levesque s notion of only knowing to multiple agents. See [8] for a discussion of how this can be done, and [17] for an alternative approach; a synthesis can be found in [10]. Despite its attractive properties, there is still an element of ad hockery to our approach. 14 For example, for the non introspective logics, we used trees to define the notion of what agent i considers possible, for K45n and KD45n , we used i objective trees, and for S5n , we used ....
....it (or something like it) is forced by some natural requirements. It would be comforting to have a framework in which this can be made precise. The notion of possibility arises in a number of contexts. For example, it can also be used to extend Levesque s notion of only knowing to many agents [8, 10]. For another example, consider the approaches to modal logics of normality or plausibility such as that of Boutilier [1] which have thus far only been defined in the single agent case. Boutilier s semantics involves placing an ordering on (all) worlds. If we try to 14 We thank Grisha Schwarz ....
[Article contains additional citation context not shown here]
J. Y. Halpern and G. Lakemeyer. Multi-agent only knowing. In Y. Shoham, editor, Theoretical Aspects of Rationality and Knowledge: Proc. Sixth Conference. Morgan Kaufmann, San Francisco, Calif., 1996.
Semantics for Multi-Agent Only Knowing (extended ) - Arild Waaler And (Correct)
No context found.
Halpern J.Y. and Lakemeyer, G. Multi-Agent Only Knowing. In Journal of Logic and Computation 11:1 (40-70), 2001.
All They Know in Turn - Chen (Correct)
No context found.
J.Y. Halpern and G. Lakemwyer. Multi-agent only knowing. Journal of Logic and Computation, 11(1):41--70, 2001.
Theories of Knowledge and Ignorance - van der Hoek, Jaspars, Thijsse (Correct)
No context found.
J.Y. Halpern & G. Lakemeyer, `Multi-agent only knowing', Journal of Logic and Computation,11:1, pp. 41-70, 2001.
Algebraic Manipulation of Modalities - Chen (Correct)
No context found.
J.Y. Halpern and G. lakemwyer. Multi-agent only knowing. Journal of Logic and Computation, 11(1):41--70, 2001.
Modelling Rational Inquiry in Non-Ideal Agents - Moreno (Correct)
No context found.
Halpern, J., Lakemeyer, G., "Multi-agent only knowing", in Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, TARK-96, pp. 251-265, 1996.
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