3 papers
cs.DB2016
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…
cs.LO2016
Patterns on data described by vague limits, vague colimits and vague commutativity
Carlos Leandro, Luís Monteiro
The development of machine learning in particular and artificial intelligent in general has been strongly conditioned by the lack of an appropriated framework to specify and integr…
cs.LO2016
Multi-diagrams of relations between fuzzy sets: weighted limits, colimits and commutativity
Carlos Leandro, Luís Monteiro
Limits and colimits of diagrams, defined by maps between sets, are universal constructions fundamental in different mathematical domains and key concepts in theoretical computer sc…