The most widely used attractive logical account of knowledge uses standard epistemic models, i.e., graphs whose edges are indistinguishability relations for agents. In this paper, we discuss more general topological models for a multi-agent epistemic language, whose main uses so far have been in reasoning about space. We show that this more geometrical perspective affords greater powers of distinction in the study of common knowledge, defining new collective agents, and merging information for groups of agents.
%0 Generic
%1 vanbenthem04geometry
%A van Benthem, J.
%A Sarenac, D.
%D 2004
%K conceptual-spaces logic math networks
%T The Geometry of Knowledge
%U http://citeseer.ist.psu.edu/vanbenthem04geometry.html
%X The most widely used attractive logical account of knowledge uses standard epistemic models, i.e., graphs whose edges are indistinguishability relations for agents. In this paper, we discuss more general topological models for a multi-agent epistemic language, whose main uses so far have been in reasoning about space. We show that this more geometrical perspective affords greater powers of distinction in the study of common knowledge, defining new collective agents, and merging information for groups of agents.
@misc{vanbenthem04geometry,
abstract = {The most widely used attractive logical account of knowledge uses standard epistemic models, i.e., graphs whose edges are indistinguishability relations for agents. In this paper, we discuss more general topological models for a multi-agent epistemic language, whose main uses so far have been in reasoning about space. We show that this more geometrical perspective affords greater powers of distinction in the study of common knowledge, defining new collective agents, and merging information for groups of agents.},
added-at = {2007-08-24T13:31:38.000+0200},
author = {van Benthem, J. and Sarenac, D.},
biburl = {https://www.bibsonomy.org/bibtex/257b8210cfa631e6f573b05ef3589db6c/rafg},
citeulike-article-id = {566077},
description = {CiteULike import},
interhash = {ea452d6a6da4f1f6a58644f8605eb620},
intrahash = {57b8210cfa631e6f573b05ef3589db6c},
keywords = {conceptual-spaces logic math networks},
priority = {2},
timestamp = {2007-08-24T13:31:39.000+0200},
title = {The Geometry of Knowledge},
url = {http://citeseer.ist.psu.edu/vanbenthem04geometry.html},
year = 2004
}