User-Assisted Knowledge Discovery: How Much Should the User Be Involved