Towards a Model of Learning through Communication
A Logic for Default Reasoning