Finding Similar Deductive Consequences – A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge
While reasoning with cases is usually done in a similarity-based manner, additional general knowledge is often represented in rules, constraints, or ontology definitions and is applied in a deductive reasoning process. This paper presents a new view on the combination of deductive and similarity-based reasoning, which is embedded in the CBR context. The basic idea is to view general knowledge and cases as a logical theory of a domain. Similarity-based reasoning is introduced as search for the most similar element in the deductive closure of the domain theory. We elaborate this approach and introduce several related search algorithms, which are analyzed in an experimental study. Further, we show how several previous approaches for using general knowledge in CBR can be mapped to our new view.
KeywordsHorn Clause Domain Theory Beam Search Transformational Adaptation Deductive Closure
Unable to display preview. Download preview PDF.
- 1.Aamodt, A.: A Knowledge-Intensive, Integrated Approach to Problem Solving and Sustained Learning. Ph.D thesis, University of Trondheim (1991)Google Scholar
- 3.Bergmann, R., Schaaf, M.: Structural Case-Based Reasoning and Ontology-based Knowledge Managemenet: A Perfect Match? Journal of Universal Computer Science 9(7) (2003)Google Scholar
- 5.Bergmann, R., Wilke, W.: Towards a new formal model of transformational adaptation in case-based reasoning. In: European Conference on Artificial Intelligence (ECAI 1998) (1998)Google Scholar
- 6.Bergmann, R., Wilke, W., Vollrath, I., Wess, S.: Integrating general knowledge with object-oriented case representation and reasoning. In: Burkhard, H.D., Lenz, M. (eds.) 4th German Workshop on CBR, pp. 120–127. Humboldt University, Berlin (1996)Google Scholar
- 9.Lenz, M., Burkhard, H.D.: Case Retrieval Nets: Foundations, properties, implementation, and results. Technical report, Humboldt University, Berlin (1996)Google Scholar
- 10.Michalski, R.: Inferential theory of learning. In: Michalski, R., Tecuci, G. (eds.) Machine Learning – A Multistrategy Approach. Morgan Kaufmann, San Francisco (1994)Google Scholar
- 14.Richter, M.M.: Logic and approximation in knowledge based systems. In: Lenski, W. (ed.) Logic vs. Approximation – Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday, pp. 184–203. Springer, Heidelberg (2004)Google Scholar
- 15.Richter, M.M.: Fallbasiertes Schliessen. Informatik Spektrum 3(26), 180–190 (2003)Google Scholar
- 16.Smyth, B., Keane, M.: Retrieving adaptable cases. In: Wess, S., Richter, M., Althoff, K.-D. (eds.) EWCBR 1993. LNCS (LNAI), vol. 837, pp. 209–220. Springer, Heidelberg (1994)Google Scholar