Abstract
Inductive inference techniques that allow symbolic representation of the acquired knowledge facilitate knowledge validation, revision and understanding by human experts. EVOPROL v 1.1 (Evolutionary Propositional Logic) is an inductive, efficient, versatile system for supervised learning of logic rules using a genetic algorithm. EVOPROL contributes to computer assisted knowledge acquisition because it allows discovery of flexible and/or alternative rules from examples. The approach presented in the paper integrates sources of knowledge and establishes collaboration between the genetic searcher and the human expert.