TOWARDS A FORMAL MODEL OF KNOWLEDGE ACQUISITION VIA COOEPERATIVE DIALOGUE
three - values logic and nonmonotonic reasoning .