Knowledge in Lineland (Extended Abstract)

摘要

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 modelchecking, satisfiability problem and common knowledge.