Knowledge in lineland
Olivier Gasquet, François Schwarzentruber · Adaptive Agents and Multi-Agents Systems · 2010
In this paper we investigate a concrete epistemic situation: there are agents (humans, robots, cameras, ...) and propositions (lamps on or off, obstacles dangerous or not, ...) located in Lineland. We express properties with the standard epistemic logic language like Agent A knows that agent B knows that lamp L is on. We give some words about model-checking, satisfiability problem and common knowledge.