A Roadmap of Epistemic Logics for Learning Agents
Abstract
A student is facing a teacher, who is probing her knowledge of mathematics. The student is a new recruit and important questions must be answered: What are her strengths and weakness ? Which topics is she ready to study ? Should the student take a remedial course in some subject ? The teacher will ask a question and listen to the student’s response. Other questions will then be asked. After a few questions, a picture of the student’s state of knowledge will emerge, which will become increasingly sharper in the course of the examination.