An evolutionary algorithm for abductive reasoning
Lotfi Romdhane, B. Ayeb · Journal of Experimental & Theoretical Artificial Intelligence · 2011
Abductive reasoning (or abduction) is the process of inferring hypotheses from observed data using a certain ‘knowledge’ encoded in the form of inference rules (or causal relations). Many important kinds of intellectual tasks, including medical diagnosis, fault diagnosis, scientific discovery, legal reasoning, and natural language understanding have been characterised as abduction. Unfortunately, abduction is 𝒩𝒫-hard. Genetic algorithms and biologically motivated computational paradigms inspired by the natural evolution turned out to be efficient in solving many hard problems while other existing approaches failed to solve in general. In this article, we present a genetic algorithm called HAKIM, for solving abduction problems. We encode an explanation in a chromosome-like structure, where every gene models a possible single hypothesis. Thereafter, we develop a fitness function that characterises the overall ‘quality’ of a chromosome representing an explanation; and then use standard genetic operators to compute a set of hypotheses that best explains the observed data. Simulation results on large-scale medical problems reveal the good performance of our model HAKIM.