[pt] A teoria da verdade de Tarski, também conhecida como teoria clássica da verdade, forneceu uma definição para o conceito de verdade que pode ser considerada adequada do ponto de vista material, no sentido de implicar logicamente todas as definições parciais de verdade para sentenças isoladas, do tipo ´s é verdadeira se e somente se p`, sendo p uma sentença qualquer de uma das linguagens às quais a definição tarskiana de verdade se aplica, e sendo s um nome para tal sentença. Essa definição de verdade é consistente - até onde se sabe - mas para garantir a consistência da mesma Tarski precisou restringir seu campo de aplicação ao conjunto das linguagens que não podem ser utilizadas para tratar de sua própria semântica, às quais chamamos linguagens semanticamente abertas. Uma outra teoria da verdade, devida a J. Barwise e J. Etchemendy, foi desenvolvida com vistas a poder ser aplicada de modo consistente às linguagens semanticamente fechadas. Entretanto, para garantir a consistência de sua teoria, Barwise e Etchemendy acabaram por formulá-la de um modo em que a mesma não pudesse ser considerada materialmente adequada, no sentido especificado acima. Isso poderia causar a impressão de que a consistência de uma definição de verdade exigisse que se abrisse mão da adequação material da mesma, tal como fazem Barwise e Etchemendy, ou então que se restringisse seu campo de aplicação às linguagens semanticamente abertas, tal como faz Tarski. Construindo uma definição de verdade materialmente adequada no sentido em questão, e ao mesmo tempo aplicável a linguagens semanticamente fechadas, contudo, S. Kripke mostrou que isso não é o caso. Após uma análise comparativa dessas três teorias da verdade, encontramos razões para formular uma outra definição de verdade, baseada nas intuições russellianas acerca dessa noção, e capaz de ser aplicada consistentemente às linguagens semanticamente fechadas, mantendo a adequação material no sentido acima descrito. No presente trabalho, podem ser encontradas essa análise comparativa das teorias da verdade de Tarski, Barwise-Etchemendy e Kripke, bem como a definição de verdade que formulamos de modo a satisfazer as condições que mencionamos acima. / [en] The tarskian theory of truth, that is also known as the classical theory of truth, has provided a truth definition that may be considered adequate from a material standpoint. By a materially adequate truth definition we understand a truth definition that logically entails every partial truth definition for a specific sentence, of the kind ´s is true if and only if p`, where p is any sentence from some language that is object of the tarskian truth definition, and where s is a name for such sentence. This truth definition is consistent - so far as we know - but in order to guarantee its consistency Tarski had to restrict its field to the set of the languages which cannot be used to speak about their own semantics. These languages are called semantically open languages. Another truth definition, due to J. Barwise and J. Etchemendy, was developed in order to be consistently applied to semantically closed languages. However, in order to assure the consistency of their theory, Barwise and Etchemendy developed it in such a way that it cannot be considered as a materially adequate theory in the sense that has been specified above. We may conclude from this that in order to guarantee the consistency of a truth definition we have either to abandon its material adequacy or to restrict its field to the set of semantically open languages. Kripke showed that this is not the case through developing a truth definition that is both materially adequate and applicable to semantically closed languages. After doing a comparison between these three truth theories, we have found some reasons to formulate another truth definition, which is based on russellian intuitions concerning the notion of truth, and which is able to be consistently applied to semantically closed languages and is also materially adequate in the sense specified above. In this dissertation one can find the comparison between the truth theories of Tarski, Barwise and Etchemendy, and Kripke, which we just mentioned, and also the truth definition that we formulated in order to satisfy the conditions which we described above.

[pt] A parametrização de superfícies triangularizadas, orientadas e sem bordo não se realiza em um único domínio planar e, por vezes, são sensíveis às descontinuidades ora introduzidas entre os múltiplos domínios planares solicitados. Para tanto, um domínio base não planar é exigido com uma estrutura diferenciável, bem como, a parametrização da superfície por este domínio. A principal abordagem desta tese utiliza uma estrutura de multi-triangulação que direciona a simplificação da superfície inicial numa superfície base e propõem uma projeção hierárquica dos vértices iniciais sobre este domínio. A projeção hierárquica é combinada com um sistema de parametrização da superfície base em domínios locais que são relacionados por funções de transição suaves. Como aplicação, o remalhamento semirregular de superfícies triangularizadas converte a superfície inicial, possivelmente irregular, em outra superfície com triangulação semirregular. A qualidade da triangulação e a preservação da forma original são aspectos importantes para o remalhamento e são resultantes da combinação de componentes envolvidas durante a sua construção, como a superfície base que aproxima a superfície inicial sem bordo, o particionamento semirregular desta superfície base e o reposicionamento de sua geometria. Um desafio significativo está no reposicionamento da geometria dos vértices que decorre da parametrização da superfície inicial. A otimização hierárquica realizada nestes domínios locais buscando reduzir as energias de distorção introduzidas pela parametrização, tal como, os atributos da superfície base são fundamentais para a qualidade deste remalhamento. A estrutura hierárquica permite flexibilidade durante a otimização e influencia no tempo de convergência. / [en] The parameterization of triangulated, oriented and free boundary surfaces does not take place in a single planar domain, and sometimes are sensitive to discontinuities introduced between the various planars domains requested. Therefore, a non-planar base domain is required with a differentiable structure, as well as a parameterization of the surface by this domain. The main approach of this thesis uses a multi-triangulation structure that directs the simplification of the initial surface to base surface and proposes a hierarchical projection of the initial vertices on the domain. A hierarchical projection is combined with a parameterization system of the initial surface composed of local domains related by smooth transition maps. As an application, the semi-regular remeshing of triangulated surfaces converts an input surface, possibly irregular, to another surface with semi-regular triangulation. The quality of the triangulation and the shape preserving are important aspects for the remeshing and are resulting from the components merge used during its building, such as the base surface that approximate the initial free boundary surface, refinement of the semi-regular surface and geometric fitting. An important challenge is the geometric fitting that results from the parameterization of the initial surface. The hierarchical optimization carried out in these local domains that minimizes the distortion energies produced by the parameterizations, such as the base surface attributes are fundamental to the quality of this remeshing. The hierarchical structure allows flexibility during optimization and influences the convergence time.

[pt] Métodos ensemble como random forest, boosting e bagging foram extensivamente estudados e provaram ter uma acurácia melhor do que usar apenas um preditor. Entretanto, a desvantagem é que os modelos obtidos utilizando esses métodos podem ser muito mais difíceis de serem interpretados do que por exemplo, uma árvore de decisão. Neste trabalho, nós abordamos o problema de construir uma árvore de decisão que aproximadamente reproduza um conjunto de árvores, explorando o tradeoff entre acurácia e interpretabilidade, que pode ser alcançado quando a reprodução exata do conjunto de árvores é relaxada. Primeiramente, nós formalizamos o problem de obter uma árvore de decisão de uma determinada profundidade que seja a mais aderente ao conjunto de árvores e propomos um algoritmo de programação dinâmica para resolver esse problema. Nós também provamos que a árvore de decisão obtida por esse procedimento satisfaz garantias de generalização relacionadas a generalização do modelo original de conjuntos de árvores, um elemento crucial para a efetividade dessa árvore de decisão em prática. Visto que a complexidade computacional do algoritmo de programação dinâmica é exponencial no número de features, nós propomos duas heurísticas para gerar árvores de uma determinada profundidade com boa aderência em relação ao conjunto de árvores. Por fim, nós conduzimos experimentos computacionais para avaliar os algoritmos propostos. Quando utilizados classificadores mais interpretáveis, os resultados indicam que em diversas situações a perda em acurácia é pequena ou inexistente: restrigindo a árvores de decisão de profundidade 6, nossos algoritmos produzem árvores que em média possuem acurácias que estão a 1 por cento (considerando o algoritmo de programção dinâmica) ou 2 por cento (considerando os algoritmos heurísticos) do conjunto original de árvores. / [en] Ensemble methods in machine learning such as random forest, boosting, and bagging have been thoroughly studied and proven to have better accuracy than using a single predictor. However, their drawback is that they give models that can be much harder to interpret than those given by, for example, decision trees. In this work, we approach in a principled way the problem of constructing a decision tree that approximately reproduces a tree ensemble, exploring the tradeoff between accuracy and interpretability that can be obtained once exact reproduction is relaxed. First, we formally define the problem of obtaining the decision tree of a given depth that is most adherent to a tree ensemble and give a Dynamic Programming algorithm for solving this problem. We also prove that the decision trees obtained by this procedure satisfy generalization guarantees related to the generalization of the original tree ensembles, a crucial element for their effectiveness in practice. Since the computational complexity of the Dynamic Programming algorithm is exponential in the number of features, we also design heuristics to compute trees of a given depth with good adherence to a tree ensemble. Finally, we conduct a comprehensive computational evaluation of the algorithms proposed. The results indicate that in many situations, there is little or no loss in accuracy in working more interpretable classifiers: even restricting to only depth-6 decision trees, our algorithms produce trees with average accuracies that are within 1 percent (for the Dynamic Programming algorithm) or 2 percent (heuristics) of the original random forest.

[pt] A abstração matemática de um processo físico é essencial em problemas de engenharia, pois muitas vezes pode ser impraticável ou impossível realizar experimentos no sistema real. Além disso, modelos matemáticos são mais flexíveis que protótipos físicos, permitindo um rápido refinamento dos projetos do sistema para otimizar várias medidas de desempenho. As aplicações dos modelos podem ser divididas em quatro partes, a saber: projeto, estimativa, controle e monitoramento. Algumas aplicações específicas são i) simulações, ii) soft sensors, iii) avaliação de desempenho, iv) controle estatístico de qualidade e v) detecção e diagnóstico de falhas. Este trabalho visa então: i) desenvolver diferentes classes de modelos capazes de simular com precisão a variável de saída de um sistema, ii) avaliar a eficiência dos algoritmos de otimização utilizados na tarefa de estimação de parâmetros, iii) avaliar qual modelo de atrito é o mais adequado para descrever esse fenômeno em um sistema de posicionamento. Os resultados mostraram que o atrito no sistema de posicionamento apresenta comportamento não linear e assimétrico, já que alguns termos dos modelos de atrito relacionados às velocidades positiva e negativa são significativamente diferentes um do outro. O resultado final do processo de otimização que usou um algoritmo de busca local foi altamente dependente das condições iniciais e do número de parâmetros estimados, o que elevou o erro de simulação. Entretanto, melhores estimativas da variável de saída foram alcançadas quando essa abordagem foi combinada com outros modelos de diferentes classes. Através dessa última abordagem o erro relativo foi reduzido em mais de 20 porcento. As simulações realizadas com os parâmetros estimados pelos algoritmos evolucionários foram mais acuradas, eles foram capazes de reduzir o erro relativo em quase 30 porcento quando comparados com o algoritmo de busca local. Considerando o segundo estudo de caso, o otimizador baseado em árvores de decisão se mostrou igualmente eficaz se comparado aos algoritmos evolucionários. O erro relativo das simulações usando os parâmetros estimados por esses algoritmos foi inferior a 8 porcento. Além disso, a forma do atrito reconstruído na segunda junta do manipulador robótico através dos parâmetros estimados pelos algoritmos está de acordo com o esperado. / [en] The mathematical abstraction of a physical process is essential in engineering problems, as it can often be impractical or impossible to perform experiments on the real system. Besides, mathematical models are more flexible than physical prototypes, allowing for quick refinement of system designs to optimize various performance measures. The applications of the models can be divided into four parts, namely: design, estimation, control and monitoring. Some specific applications are i) simulations, ii) soft sensors, iii) performance evaluation, iv) statistical quality control and, v) fault detection and diagnosis. This work aims to: i) develop different classes of models capable of accurately simulating the output variable of a system, ii) evaluate the efficiency of optimization algorithms used in the parameter estimation task, iii) assess which friction model is the most appropriate to describe this phenomenon in a positioning system. The results showed that the friction in the positioning system presents a nonlinear and asymmetric behavior since some terms of the friction models related to the positive and negative velocities are significantly different from each other. The final result of the optimization process that used a local search algorithm was highly dependent on the initial conditions and the number of estimated parameters, which increased the simulation error. However, better estimates of the output variable were achieved when this approach was combined with other models of different classes. Through this last approach, the relative error was reduced by more than 20 percent. The simulations performed with the parameters estimated by the evolutionary algorithms were more accurate, they were able to reduce the relative error by almost 30 percent when compared with the local search algorithm. Considering the second case study, the decision tree-based optimizer proved to be equally effective compared to evolutionary algorithms. The relative error of the simulations using the parameters estimated by these algorithms was less than 8 percent. Besides, the shape of the friction reconstructed in the second joint of the robotic manipulator through the parameters estimated by the algorithms is in accordance with the expected.