¿Cuál es la relación entre tipo universal espacio, Aumann del conocimiento semántico modelo y Samet sintáctica del modelo de conocimientos?
Aquí está mi confusión:
Relación de tipo universal espacio y el modelo en Aumann es estar de acuerdo para estar en desacuerdo, yo solía pensar que son realmente la misma cosa desde dos ángulos diferentes. El tipo de espacio es una construcción de abajo hacia arriba de la construcción. Se inicia con toda la rentabilidad de los parámetros relevantes de los jugadores de' punto de vista, y genera un conjunto de estados del mundo en la final. Aumann del modelo es de arriba hacia abajo. El conjunto de estados del mundo y de los jugadores del conocimiento como particiones son exógenos. Resultados interesantes que se derivan de la imposición de algunas reglas de coherencia.
A mí me parece, que hay una correspondencia uno a uno entre un tipo de jugador en el antiguo y una celda( o átomo, bloque) en el mismo jugador de la partición en el último, porque un jugador de la estrategia tiene que ser medible con respecto a ellos en estos entornos.
Pero después de una extracción de un documento no publicado por Robert Simon,El Común Antes de la Asunción en la Creencia de Espacios: Un Ejemplo, he encontrado que no es el caso.
En ese papel, él impuso una partición en Merten y Zamir del tipo de espacio(afirma) por cada jugador, así que no hay tal correspondencia.
Otra cosa que es raro es que a mí me parece que en realidad no trabajando en una creencia de espacio. Parece que él está trabajando en un modelo en el Dov Samet es Ignorar la ignorancia y la tolerancia, que es homeomórficos a un conjunto de Cantor, un conjunto que se genera mediante la asignación de valores de verdad de proposiciones subyacentes y el uso de la no-repitió el conocimiento de los operadores del mismo jugador. A mí me parece Dov Samet del modelo no es homeomórficos Merten y Zamir del tipo de espacio, ya que tendríamos que añadir a los operadores de la creencia de probabilidad de 0 con probabilidad 1 en Dov Samet del modelo para hacer eso, y el conjunto generado de estado de estado de mundo tendrá una cardinalidad estrictamente mayor que el de un conjunto de Cantor.
