Knowledge in lineland

Authors:
Olivier Gasquet;François Schwarzentruber
Affiliations:
IRIT, Université Paul Sabatier, Toulouse Cedex, France;IRIT, Université Paul Sabatier, Toulouse Cedex, France
Venue:
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Year:
2010

Citing 2
Cited 2

A guide to completeness and complexity for modal logics of knowledge and belief

Artificial Intelligence
Tarski's World: Version 4.0 for Macintosh (Center for the Study of Language and Information - Lecture Notes)

Tarski's World: Version 4.0 for Macintosh (Center for the Study of Language and Information - Lecture Notes)

Concrete epistemic modal logic: flatland

TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
Seeing, knowledge and common knowledge

LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction

Quantified Score

Hi-index	0.00

Visualization

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