HOME
*





Mutual Knowledge (logic)
Mutual knowledge is a fundamental concept about information in game theory, (epistemic) logic, and epistemology. An event is mutual knowledge if all agents know that the event occurred.Osborne, Martin J., and Ariel Rubinstein. ''A Course in Game Theory''. Cambridge, MA: MIT, 1994. Print. However, mutual knowledge by itself implies nothing about what agents know about other agents' knowledge: i.e. it is possible that an event is mutual knowledge but that each agent is unaware that the other agents know it has occurred. Common knowledge is a related but stronger notion; any event that is common knowledge is also mutual knowledge. The philosopher Stephen Schiffer, in his book ''Meaning'', developed a notion he called "mutual knowledge" which functions quite similarly to David K. Lewis's "common knowledge".Stephen Schiffer, ''Meaning'', 2nd edition, Oxford University Press, 1988. The first edition was published by OUP in 1972. Also, David Lewis, ''Convention'', Cambridge, MA: Harvard ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Game Theory
Game theory is the study of mathematical models of strategic interactions among rational agents. Myerson, Roger B. (1991). ''Game Theory: Analysis of Conflict,'' Harvard University Press, p.&nbs1 Chapter-preview links, ppvii–xi It has applications in all fields of social science, as well as in logic, systems science and computer science. Originally, it addressed two-person zero-sum games, in which each participant's gains or losses are exactly balanced by those of other participants. In the 21st century, game theory applies to a wide range of behavioral relations; it is now an umbrella term for the science of logical decision making in humans, animals, as well as computers. Modern game theory began with the idea of mixed-strategy equilibria in two-person zero-sum game and its proof by John von Neumann. Von Neumann's original proof used the Brouwer fixed-point theorem on continuous mappings into compact convex sets, which became a standard method in game theory and mathema ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Induction Puzzles
Induction puzzles are logic puzzles, which are examples of multi-agent reasoning, where the solution evolves along with the principle of induction. A puzzle's scenario always involves multiple players with the same reasoning capability, who go through the same reasoning steps. According to the principle of induction, a solution to the simplest case makes the solution of the next complicated case obvious. Once the simplest case of the induction puzzle is solved, the whole puzzle is solved subsequently. Typical tell-tale features of these puzzles include any puzzle in which each participant has a given piece of information (usually as common knowledge) about all other participants but not themselves. Also, usually, some kind of hint is given to suggest that the participants can trust each other's intelligence — they are capable of theory of mind (that "every participant knows modus ponens" is common knowledge). Also, the inaction of a participant is a non-verbal communication of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Game Theory
Game theory is the study of mathematical models of strategic interactions among rational agents. Myerson, Roger B. (1991). ''Game Theory: Analysis of Conflict,'' Harvard University Press, p.&nbs1 Chapter-preview links, ppvii–xi It has applications in all fields of social science, as well as in logic, systems science and computer science. Originally, it addressed two-person zero-sum games, in which each participant's gains or losses are exactly balanced by those of other participants. In the 21st century, game theory applies to a wide range of behavioral relations; it is now an umbrella term for the science of logical decision making in humans, animals, as well as computers. Modern game theory began with the idea of mixed-strategy equilibria in two-person zero-sum game and its proof by John von Neumann. Von Neumann's original proof used the Brouwer fixed-point theorem on continuous mappings into compact convex sets, which became a standard method in game theory and mathema ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Royal Society Of Arts
The Royal Society for the Encouragement of Arts, Manufactures and Commerce (RSA), also known as the Royal Society of Arts, is a London-based organisation committed to finding practical solutions to social challenges. The RSA acronym is used more frequently than the full legal name (The Royal Society for the Encouragement of Arts, Manufactures and Commerce). The RSA's mission expressed in the founding charter was to "embolden enterprise, enlarge science, refine art, improve our manufacturers and extend our commerce", but also of the need to alleviate poverty and secure full employment. On its website, the RSA characterises itself as "an enlightenment organisation committed to finding innovative practical solutions to today's social challenges". Notable past fellows (before 1914, members) include Charles Dickens, Benjamin Franklin, Stephen Hawking, Karl Marx, Adam Smith, Marie Curie, Nelson Mandela, David Attenborough, Judi Dench, William Hogarth, John Diefenbaker, and Tim ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Steven Pinker
Steven Arthur Pinker (born September 18, 1954) is a Canadian-American cognitive psychologist, psycholinguist, popular science author, and public intellectual. He is an advocate of evolutionary psychology and the computational theory of mind. Pinker is the Johnstone Family Professor of Psychology at Harvard University, and his academic specializations are visual cognition and developmental linguistics. His experimental subjects include mental imagery, shape recognition, visual attention, children's language development, regular and irregular phenomena in language, the neural bases of words and grammar, as well as the psychology of cooperation and communication, including euphemism, innuendo, emotional expression, and common knowledge. He has written two technical books that proposed a general theory of language acquisition and applied it to children's learning of verbs. In particular, his work with Alan Prince published in 1989 critiqued the connectionist model of how children ac ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Distributed Knowledge
In multi-agent system research, distributed knowledge is all the knowledge that a community of agents possesses and might apply in solving a problem. Distributed knowledge is approximately what "a wise man knows" or what someone who has complete knowledge of what each member of the community knows knows. Distributed knowledge might also be called the aggregate knowledge of a community, as it represents all the knowledge that a community might bring to bear to solve a problem. Other related phrasings include cumulative knowledge, collective knowledge or pooled knowledge. Distributed knowledge is the union of all the knowledge of individuals in a community of agents. Distributed knowledge differs from the concept of Wisdom of the crowd, in that the latter is concerned with opinions, not knowledge. Wisdom of the crowd is the emergent opinion arising from multiple actors. It is not the union of all the knowledge of these actors, it does not necessarily include the contribution of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

The Emperor's New Clothes
"The Emperor's New Clothes" ( da, Kejserens nye klæder ) is a literary folktale written by Danish author Hans Christian Andersen, about a vain emperor who gets exposed before his subjects. The tale has been translated into over 100 languages.Andersen 2005a 4 "The Emperor's New Clothes" was first published with "The Little Mermaid" in Copenhagen, by C. A. Reitzel, on 7 April 1837, as the third and final installment of Andersen's ''Fairy Tales Told for Children''. The tale has been adapted to various media, and the story's title, the phrase "the Emperor has no clothes", and variations thereof have been adopted for use in numerous other works and as an idiom. Plot Two swindlers arrive at the capital city of an emperor who spends lavishly on clothing at the expense of state matters. Posing as weavers, they offer to supply him with magnificent clothes that are invisible to those who are stupid or incompetent. The emperor hires them, and they set up looms and go to work. A ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Elephant In The Room
The expression “the elephant in the room” (or "the elephant in the living room") is a metaphorical idiom in English for an important or enormous topic, question, or controversial issue that is obvious or that everyone knows about but no one mentions or wants to discuss because it makes at least some of them uncomfortable and is personally, socially, or politically embarrassing, controversial, inflammatory, or dangerous. It is based on the idea/thought that something as conspicuous as an elephant can appear to be overlooked in codified social interactions and that the sociology/psychology of repression also operates on the macro scale. Various languages around the world have words that describe similar concepts. Origins In 1814, Ivan Krylov (17691844), poet and fabulist, wrote a fable entitled "The Inquisitive Man", which tells of a man who goes to a museum and notices all sorts of tiny things, but fails to notice an elephant. The phrase became proverbial. Fyodor Dostoevsky ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Dynamic Epistemic Logic
Dynamic epistemic logic (DEL) is a logical framework dealing with knowledge and information change. Typically, DEL focuses on situations involving multiple Intelligent agent, agents and studies how their knowledge changes when Event (philosophy), events occur. These events can change factual properties of the actual world (they are called ''ontic events''): for example a red card is painted in blue. They can also bring about changes of knowledge without changing factual properties of the world (they are called ''epistemic events''): for example a card is revealed publicly (or privately) to be red. Originally, DEL focused on epistemic events. We only present in this entry some of the basic ideas of the original DEL framework; more details about DEL in general can be found in the references. Due to the nature of its object of study and its abstract approach, DEL is related and has applications to numerous research areas, such as computer science (artificial intelligence), philosophy (f ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Nonverbal Communication
Nonverbal communication (NVC) is the transmission of messages or signals through a nonverbal platform such as eye contact, facial expressions, gestures, Posture (psychology), posture, and body language. It includes the use of social cues, kinesics, distance (proxemics) and physical environments/appearance, of voice (paralanguage) and of touch (Haptic communication, haptics). A signal has three different parts to it, including the basic signal, what the signal is trying to convey, and how it is interpreted. These signals that are transmitted to the receiver depend highly on the knowledge and empathy that this individual has. It can also include the use of time (chronemics) and eye contact and the actions of looking while talking and listening, frequency of glances, patterns of fixation, pupil dilation, and blink rate (oculesics). The study of nonverbal communication started in 1872 with the publication of ''The Expression of the Emotions in Man and Animals'' by Charles Darwin. Dar ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually un ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Communication
Communication (from la, communicare, meaning "to share" or "to be in relation with") is usually defined as the transmission of information. The term may also refer to the message communicated through such transmissions or the field of inquiry studying them. There are many disagreements about its precise definition. John Peters argues that the difficulty of defining communication emerges from the fact that communication is both a Universality (philosophy), universal phenomenon and a Communication studies, specific discipline of institutional academic study. One definitional strategy involves limiting what can be included in the category of communication (for example, requiring a "conscious intent" to persuade). By this logic, one possible definition of communication is the act of developing Semantics, meaning among Subject (philosophy), entities or Organization, groups through the use of sufficiently mutually understood signs, symbols, and Semiosis, semiotic conventions. An im ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]