Learning by Knowledge Exchange in Logical Agents