Publication details

Saarland University Computer Science

Nichtmonotone Aspekte des fallbasierten Schliessens und deren Fundierung in Default-Logik mit Prioritäten

Michael Mehl

Technical Report, Universität Kaiserslautern, Fachbereich Informatik, Postfach 3049, D-67653 Kaiserslautern, Diploma Thesis, Universität Kaiserslautern, Fachbereich Informatik, 1991. In German. Short Version \em Retrieval in Case-Based Reasoning using preferred subtheories appeared in G. Brewka, K. P. Jantke, December 1991

The goal of this work is to develop a formal logical foundation of the representation and the retrieval of cases in CBR. An adequate basis therefor provides the default logic with priorities. We present transformations which construct defaults from the memory of cases such that the retrieval of knowledge in CBR corresponds roughly to the preferred subtheory obtained by the defaults. Die vorliegende Arbeit stellt einen Ansatz zur logischen Fundierung des fallbasierten Schliessens vor. Aufbauend auf einer formalen Definition des Fallspeichers, wird eine Default-Theorie entwickelt, die prinzipiell die gleichen Informationen enthält, wie der Fallspeicher. Die Default-Theorie basiert auf der Default-Logik mit Prioritäten nach Reiter mit der Erweiterung auf priorisierte Defaults nach Brewka. Diploma Thesis, Universität Kaiserslautern, Fachbereich Informatik, 1991 (in German). Published as SEKI Report SWP-91-04 (SFB), Dec 1991. Short Version ``Retrieval in Case-Based Reasoning using preferred subtheories'' appeared in G. Brewka, K. P. Jantke and P. H. Schmitt, eds., 2nd International Workshop on Nonmonotonic and Inductive Logic, Reinhardsbrunn Castle, Germany, Dec 2-6 1991, pages 284-297, Lecture Notes in Artificial Intelligence, vol. 659.

Download PDF        Show BibTeX               


Login to edit


Webmaster, Wed Sep 16 10:47:00 2009