TOWARDS A FORMAL MODEL OF KNOWLEDGE ACQUISITION VIA COOEPERATIVE DIALOGUE
A Logic for Default Reasoning