Combining Nonmonotonic Inference and Case-Based Reasoning to Solve Practical Problems

This paper aims to establish the connection between case-based reasoning and nonmonotonic reasoning. In particular, we suggest to make nonmonotonic inference using case-based reasoning. The key idea of this work is that nonmonotonic reasoning should be considered as an inductive process. When provided with incomplete knowledge, our method turns to previous cases and reuses these cases when they are found to be similar enough. We show that many benchmark problems in nonmonotonic reasoning literature can be solved using our proposed method.