The Actias system: supervised multi-strategy learning paradigm using categorical logic

Carlos Leandro, Helder Pita, Luís Monteiro

One of the most difficult problems in the development of intelligent systems is the construction of the underlying knowledge base. As a consequence, the rate of progress in the dev…