Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi  Home/Search
Context Related
| cornell.edu/Info/Peop...fhv_machines.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cornell.edu/Info/Peopl...abstract (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It has been argued that knowledge is a useful tool for designing and analyzing complex systems. The notion of knowledge that seems most relevant in this context is an external, information-based notion that can be shown to satisfy all the axioms of the modal logic S5. We carefully examine the properties of this notion of knowledge and show that they depend crucially, and in subtle ways, on assumptions we make about the system and about the language used for describing knowledge. We... (Update)
Context of citations to this paper: More
.... little work has been done to analyse systematically such interaction schemas the only exceptions to this that we are aware of are [3], and [1] in which a limited class of interactions between the agents is proposed. In this paper we isolate and study a special class of...
Cited by: More
Ideal Agents Sharing (some!) Knowledge - Lomuscio, Ryan (Correct)
Active bibliography (related documents): More All
0.9: A Model-Theoretic Analysis of Knowledge - Fagin, Halpern, Vardi (1988) (Correct)
0.8: The Complexity of Reasoning about Knowledge and Time.. - Halpern, Vardi (1989) (Correct)
0.5: Referring as Requesting - Cohen (1984) (Correct)
Similar documents based on text: More All
0.6: What is an Inference Rule? - Fagin, Halpern, Vardi (1992) (Correct)
0.4: Complete Axiomatizations for Reasoning about Knowledge.. - Halpern, Van Der Meyden, .. (1999) (Correct)
0.3: An Operational Semantics for Knowledge Bases - Fagin, Halpern, al. (1994) (Correct)
BibTeX entry: (Update)
Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi, `What can machines know? on the properties of knowledge in distributed systems', Journal of the ACM, 39(2), 328--376, (April 1992). http://citeseer.ist.psu.edu/fagin96what.html More
@article{ fagin92what,
author = "Ronald Fagin and Joseph Y. Halpern and Moshe Y. Vardi",
title = "What Can Machines Know? {On} the Properties of Knowledge in Distributed Systems",
journal = "Journal of the ACM",
volume = "39",
number = "2",
pages = "328--376",
year = "1992",
url = "citeseer.ist.psu.edu/fagin96what.html" }
Citations (may not include all citations):253 The Foundations of Statistics (context) - Savage - 1954
194 Knowledge and belief (context) - Hintikka - 1962
161 A logic of implicit and explicit belief (context) - Levesque - 1984
107 Readings in Knowledge Representation (context) - Brachman, Levesque - 1985
100 The complexity of reasoning about knowledge and time - Halpern, Vardi - 1989
100 The complexity of reasoning about knowledge and time in asyn.. - Halpern, Vardi - 1988
99 The synthesis of digital machines with provable epistemic pr.. (context) - Rosenschein, Kaelbling - 1986
94 Knowledge and common knowledge in a Byzantine environment I:.. (context) - Dwork, Moses - 1986
76 How processes learn (context) - Chandy, Misra - 1986
64 Formal theories of knowledge in AI and robotics (context) - Rosenschein - 1985
58 A guide to the modal logics of knowledge and belief (context) - Halpern, Moses - 1985
58 in and J. Y. Halpern, Belief, Awareness, and Limited Reasoni.. (context) - Fag - 1988
58 Programming simultaneous actions using common knowledge - Moses, Tuttle - 1986
24 Alternative semantics for temporal logics (context) - Emerson - 1983
17 On some completeness theorems in modal logic (context) - Makinson - 1966
14 and communication in distributed systems: preliminary report (context) - Halpern, Fagin et al. - 1985
14 Knowledge and implicit knowledge in a distributed environmen.. (context) - Fagin, Vardi - 1986
5 the Epistemic Properties of Machines (context) - Fagin, Halpern et al. - 1986
5 ur mathematische Logik und Grundlagen der Mathematik (context) - Kripke, of et al. - 1963
3 An internal semantics for modal logic (context) - Fagin, Vardi - 1985
3 Theoretical Aspects of Reasoning about Knowledge (context) - Ladner, Reif et al. - 1986
3 on Principles of Programming Languages (context) - Pratt, logic et al. - 1979
2 on Principles of Distributed Computing (context) - Lehmann, common et al. - 1984
2 Theoretical Aspects of Reasoning about Knowledge (context) - Fischer, Immerman et al. - 1986
2 Artificial Intelligence Center (context) - Moore, knowledge et al. - 1980
1 Lecture Notes in Computer Science - Vol (context) - Parikh, Ramanujam et al. - 1985
Documents on the same site (http://www.cs.cornell.edu/Info/People/halpern/abstract.html): More
On the Complexity of Conditional Logics - Friedman, Halpern (1994) (Correct)
A New Approach to Updating Beliefs - Fagin, Halpern (1991) (Correct)
Defining Relative Likelihood in Partially-Ordered Preferential.. - Halpern (1997) (Correct)
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