Atlantis Press Paper Details: Completing rule bases in symbolic domains by analogy making

The paper considers the problem of completing a set of parallel if-then rules that provides a partial description of how a conclusion variable depends on the values of condition variables, where each variable takes its value among a finite ordered set of labels. The proposed approach does not require the use of fuzzy sets for the interpretation of these labels or for defining similarity measures, but rather relies on the extrapolation of missing rules on the basis of analogical proportions that hold for each variable between the labels of several parallel rules. The analogical proportions are evaluated for binary and multiple-valued variables on the basis of a logical expression involving Lukasiewicz implication. The underlying assumption is that the mapping partially specified by the given rules is as regular as suggested by these rules. A comparative discussion with other approaches is presented.

		back to table of contents

title:		Completing rule bases in symbolic domains by analogy making
publication:		EUSFLAT
part of series:		Advances in Intelligent Systems Research
pages:		928 - 934
DOI:		To be assigned soon (how to use a DOI)
author(s):		Henri Prade, Steven Schockaert
publication date:		July 2011
keywords:		Commonsense reasoning; analogical proportions; incomplete information; if-then rules
abstract:		The paper considers the problem of completing a set of parallel if-then rules that provides a partial description of how a conclusion variable depends on the values of condition variables, where each variable takes its value among a finite ordered set of labels. The proposed approach does not require the use of fuzzy sets for the interpretation of these labels or for defining similarity measures, but rather relies on the extrapolation of missing rules on the basis of analogical proportions that hold for each variable between the labels of several parallel rules. The analogical proportions are evaluated for binary and multiple-valued variables on the basis of a logical expression involving Lukasiewicz implication. The underlying assumption is that the mapping partially specified by the given rules is as regular as suggested by these rules. A comparative discussion with other approaches is presented.
copyright:		© Atlantis Press. This article is distributed under the terms of the Creative Commons Attribution License, which permits non-commercial use, distribution and reproduction in any medium, provided the original work is properly cited.
full text:		eusflatlfa2011_RS_16.pdf (1257 K)