Reasoning about Agent Types
(Tsinghua University, China)
Aug 25 16:20-17:20
Knowledge of agent types is crucial in social communication. Many logical puzzles, e.g. Smullyan's series of puzzles "Knights and Knaves", or later on so-called "the Hardest Logic Puzzle Ever" by Boolos, all involve essentially identifying agents' types. In this talk, a formal framework will be introduced, to analyze those puzzles and their variations. I will show that we can use this new framework to deal with epistemic reasoning under the uncertainties of agent types in general.
Find yourself in the following group photo (click to download:)
