1995 ReasoningAboutKnowledge
- (Fagin et al., 1995) ⇒ Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi, and Yoram Moses. (1995). “Reasoning About Knowledge.” In: MIT Press. ISBN: 0-262-06162-7.
Subject Headings: Modal Logic, Knowledge-based Program, Kripke Structure.
Notes
Cited By
- http://scholar.google.com/scholar?q=%22Reasoning+about+knowledge%22+1995
- http://dl.acm.org/citation.cfm?id=208454&preflayout=flat#citedby
Quotes
Page 6 - At least one of you has mud on your forehead," thus expressing a fact known to each of them before he spoke (if k > 1). The father then asks the following question, over and over: "Does any of you know whether you have mud on your own forehead?
Page 10 - Imagine n children playing together. The mother of these children has told them that if they get dirty there will be severe consequences. So, of course, each child wants to keep clean, but each would love to see the others get dirty. Now it happens during their play that some of the children, say k of them, get mud on their foreheads. Each can see the mud on others but not on his own forehead. So, of course, no one says a thing. Along comes the father, who says, "At least one of you has mud on your...
Page 21 - … in the system). Such reasoning can get very complicated. Most people quickly lose the thread of such nested sentences as "Dean doesn't know whether Nixon knows that Dean knows that Nixon knows that McCord burgled O'Brien's office at Watergate
Page 53 - He who knows, and knows he knows, — He is wise — follow him. He who knows, and knows not he knows, — He is asleep — wake him : — He who knows not, and knows not he knows not, — He is a fool — shun him. He who knows not, and knows he knows not, — He is a child — teach him.
Abstract
None
References
,
| Author | volume | Date Value | title | type | journal | titleUrl | doi | note | year | |
|---|---|---|---|---|---|---|---|---|---|---|
| 1995 ReasoningAboutKnowledge | Ronald Fagin Moshe Y. Vardi Joseph Y. Halpern Yoram Moses | Reasoning About Knowledge |