This thesis proposes and implements a new Theory Revision System. The Theory Revision problem is defined as the problem of how best to go about revising a knowledge base on the basis of a collection of examples, some of ...