Integration of Similarity-based and Deductive Reasoning for Knowledge Management

Many disciplines in computer science combine similarity-based and logic-based reasoning. The problem is that the disciplines combine these independently of each other. For example in Case-Based Reasoning (CBR) (Aamodt and Plaza, AI Commun. 7(1):39-59, 1994; Bergmann et al., Kunstl. Intell. 23(1):5-11, 2009; Bergmann, Experience Management:Foundation, Development, Methodology and Internet-based Applications, LNAI, vol. 2432, Springer, Berlin, 2002), the combination is applied in a sequential manner and not systematically as follows: a set of solutions is retrieved from a case-base using a similarity measure and then deductive reasoning is applied to adapt the retrieved solutions to a query. The aim of this dissertation (Mougouie, Ph. D. thesis, Trier University, Germany, 2009) is to integrate similarity-based and deductive reasoning in a unified manner within the context of Knowledge Management (KM).