"Given a set of agents with valid previous knowledge bases, we wish to know how new knowledgeaffects each agent. To model the new knowledge, boolean logic is used, expressed by 2CNFclauses, to reduce the complexity. Upon recieving new knowledge, one or more agents may find it inconsistent with their...