The Hierarchical Approach to Modeling Knowledge and Common Knowledge

RONALD FAGIN IBM - Almaden Research Center JOHN GEANAKOPLOS Yale University - Cowles Foundation JOSEPH Y. HALPERN Cornell University - Department of Computer Science MOSHE Y. VARDI Rice University - Department of Computer Science

Abstract:

One approach to representing knowledge or belief of agents, used by economists and computer scientists, involves an infinite hierarchy of beliefs. Such a hierarchy consists of an agent's beliefs about the state of the world, his beliefs about other agents' beliefs about the world, his beliefs about other agents' beliefs about other agents' beliefs about the world, and so on. (Economists have typically modeled belief in terms of a probability distribution on the uncertainty space. In contrast, computer scientists have modeled belief in terms of a set of worlds, intuitively, the ones the agent considers possible.) We consider the question of when a countably infinite hierarchy completely describes the uncertainty of the agents. We provide various necessary and sufficient conditions for this property. It turns out that the probability-based approach can be viewed as satisfying one of these conditions, which explains why a countable hierarchy suffices in this case. These conditions also show that whether a countable hierarchy suffices may depend on the "richness" of the states in the underlying state space. We also consider the question of whether a countable hierarchy suffices for "interesting" sets of events, and show that the answer depends on the definition of "interesting".

Facts on IBM Software

There are many ways to access WebSphere MQ's facilities. Some of the APIs supported by IBM are: IBM Message Queue Interface for C, COBOL and Java and JMS for Java. There are many other unsupported APIs of which the most notable is the Perl interface, available from CPAN.

Mitch KaporFollowing in founder Mitch Kapor's footsteps, Lotus has always had a reputation as a progressive company. Lotus hired Freada Klein as the first Director of Employee Relations to underscore Kapor's emphasis on ensuring a fair workplace. In 1986, Lotus was the first major company to support an AIDS walk. In 1990, Lotus opened a daycare center for the children of its employees. In 1992, Lotus was the first major company to offer full benefits to same-sex partners. In 1998, Lotus was named one of the Top 10 best companies to work for working mothers by Working Mother magazine.

Rational Software was founded by Paul Levy and Mike Devlin in 1980/1981 as a developer of software development tools. The product Rational went into business difficulties and IBM acquired it in February 2003, incorporating it into the IBM Software Group Division where it became the fifth brand, alongside Websphere, Tivoli, DB2, and Lotus.

This site is growing and will contain info on subjects like lotus domino consulting, websphere tutorial and rational choice theory.