8 papers · 1 filter
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…
Multibody minimum-energy trajectory with applications to protein folding
Carlos Leandro, Jorge Ambrósio
This work addresses the optimal control of multibody systems being actuated with control forces in order to find a dynamically feasible minimum-energy trajectory of the system. The…
Symbolic Knowledge Extraction using Łukasiewicz Logics
Carlos Leandro
This work describes a methodology that combines logic-based systems and connectionist systems. Our approach uses finite truth-valued Łukasiewicz logic, wherein every connective can…
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…
Categorical semiotics
Carlos Leandro
The integration of knowledge extracted from different models described by domain experts or from models generated by machine learning algorithms is strongly conditioned by the lack…
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…
Knowledge Extraction and Knowledge Integration governed by Łukasiewicz Logics
Carlos Leandro
The development of machine learning in particular and artificial intelligent in general has been strongly conditioned by the lack of an appropriate interface layer between deductio…
Reverse Engineering and Symbolic Knowledge Extraction on Łukasiewicz Fuzzy Logics using Linear Neural Networks
Carlos Leandro
This work describes a methodology to combine logic-based systems and connectionist systems. Our approach uses finite truth valued Łukasiewicz logic, where we take advantage of fact…