The rule-based systems project: Using confirmation theory and non-monotonic logics for incremental learning