Related papers: It's Common Knowledge
This paper serves as the announcement of my program---a joke version of the Langlands Program. In connection with this program, I discuss an old hat puzzle, introduce a new hat puzzle, and offer a puzzle for the reader.
In this paper, we generalize epistemic logic so that it can help reason about ways of combining common knowledge and distributed knowledge such as "common distributed knowledge", "distributed common knowledge", "distributed common…
We establish fun parallels between coin-weighing puzzles and knights-and-knaves puzzles.
I discuss puzzles that require thinking outside the box. I also discuss the box inside of which many people think.
We investigate the complexity of a puzzle that turns out to be NL-complete.
The present paper aims to survey known results and to point out the wealth of rather important open problems that are out there.
This paper collects some problems that I have encountered during the years, have puzzled me and which, to the best of my knowledge, are still open. Most of them are well-known and have been first stated by other authors. In this sad season…
Based on Lyndon words, a new Sudoku-like puzzle is presented and some relative theoretical questions are proposed.
Knowledge facts are typically represented by relational triples, while we observe that some commonsense facts are represented by the triples whose forms are inconsistent with the expression of language. This inconsistency puts forward a…
I introduce, solve and generalize a new coin puzzle that involves parallel weighings.
We introduce a large family of combinatorial objects, called standard puzzles, defined by very simple rules. We focus on the standard puzzles for which the enumeration problems can be solved by explicit formulas or by classical numbers,…
The goal of this article is to introduce some beautiful known riddles in intuitive topology; hoping to make at least some fun for the reader.
This is a survey of old and new problems and results in additive number theory.
We present a different combinatorial interpretations of Lucas and Gibonacci numbers. Using these interpretations we prove several new identities, and simplify the proofs of several known identities. Some open problems are discussed towards…
With the advent of numerous community forums, tasks associated with the same have gained importance in the recent past. With the influx of new questions every day on these forums, the issues of identifying methods to find answers to said…
We consider the common-knowledge paradox raised by Halpern and Moses: common knowledge is necessary for agreement and coordination, but common knowledge is unattainable in the real world because of temporal imprecision. We discuss two…
Thirty original and collected problems, puzzles, and paradoxes in mathematics and physics are explained in this paper, taught by the author to the elementary and high school teachers at the University of New Mexico - Gallup in 1997-8 and…
This paper introduces the notion of `commonly knowing whether', a non-standard version of standard common knowledge which is defined on the basis of `knowing whether', instead of standard `knowing that'. After giving five possible…
In many cases commonsense knowledge consists of knowledge of what is usual. In this paper we develop a system for reasoning with usual information. This system is based upon the fact that these pieces of commonsense information involve both…
Often missing in existing knowledge bases of facts, are relationships that encode common sense knowledge about unnamed entities. In this paper, we propose to extract novel, common sense relationships pertaining to sense perception concepts…