http://www.recercat.cat:80/handle/2072/13154 dcc.uab.es/ Sat, 25 May 2013 14:59:00 GMT 2013-05-25T14:59:00Z http://www.recercat.cat:80/bitstream/id/34062/ http://www.recercat.cat:80/handle/2072/13154 http://www.recercat.cat:80/handle/2072/199910 Formalising deductive coherence: an application to norm evaluation Joseph, Sindhu Tue, 01 Jan 2008 00:00:00 GMT http://www.recercat.cat:80/handle/2072/199910 2008-01-01T00:00:00Z http://www.recercat.cat:80/handle/2072/13262 Reactive and proactive approaches for introspective CBR Mülâyim, Mehmet Oguz This work investigates applying introspective reasoning to improve the performance of Case-Based Reasoning (CBR) systems, in both reactive and proactive fashion, by guiding learning to improve how a CBR system applies its cases and by identifying possible future system deficiencies. First we present our reactive approach, a new introspective reasoning model which enables CBR systems to autonomously learn to improve multiple facets of their reasoning processes in response to poor quality solutions. We illustrate our model’s benefits with experimental results from tests in an industrial design application. Then as for our proactive approach, we introduce a novel method for identifying regions in a case-base where the system gives low confidence solutions to possible future problems. Experimentation is provided for Zoology and Robo-Soccer domains and we argue how encountered regions of dubiosity help us to analyze the case-bases of a given CBR system. Tue, 01 Jan 2008 00:00:00 GMT http://www.recercat.cat:80/handle/2072/13262 2008-01-01T00:00:00Z