Orientador: Hércules de Araújo Feitosa / Co-orientador: Marcelo Reicher Soares / Resumo: Esta pesquisa está inserida no contexto filosófico da Lógica, com ênfase nos aspectos dos quantificadores e nos seus modelos ou interpretações. O objetivo deste trabalho é um aprofundamento das noções de quantificação dentro do aspecto das lógicas moduladas. Para tanto, aborda-se a lógica modulada do plausível, que procura formalizar o quantificador da ubiquidade. O texto apresenta uma proposta, introduzida por Paul Halmos, de interpretação da lógica quantificacional clássica em modelos algébricos e, como contribuição original, estende este modelo para um modelo algébrico para a lógica do plausível. / Abstract: This research is inserted in the context of Philosophy of Logic, with emphasis on aspects of quantifiers and their models or interpretations. The aim of this paper is a deepening on notions of quantification in the environment of modulate logics. For that, this Dissertation approaches the modulate logic of plausible, which seeks to formalize the quantifier of ubiquity. The text presents a proposal, of Paul Halmos, to interpret the classical logic quantification into algebraic models. As an original contribution, it is extended this model to an algebraic model for the logic of plausible. / Mestre

Este trabalho apresenta o desenvolvimento de um sistema inteligente para análise da técnica de pedalada aplicada por ciclistas. Para isso, desenvolveu-se um par de pedais de encaixe instrumentados, a partir dos quais é possível medir a componente de força normal aplicada nas partes frontal e posterior dos pedais. O modelo virtual da célula de carga experimental foi desenvolvido através da digitalização dos pedais de encaixe comerciais, utilizando-se um sistema comercial de escaneamento 3D com precisão declarada de 0,1mm. Cada pedal foi instrumentado com oito extensômetros de resistência elétrica (HBM 1-LY-13-1.5/350). Posteriormente os carregamentos máximos em cada eixo de medida de força foram estabelecidos utilizando-se uma plataforma de aquisição comercial específica para medida de deformação mecânica. Considerando-se os valores determinados, desenvolveu-se o circuito de condicionamento e realizaram-se os ensaios de deformação estática, obtendo-se as funções de transferência de saída de tensão elétrica em função do carregamento mecânico. O erro de linearidade máximo, considerando todos os canais, ficou abaixo de 0,75% e a máxima incerteza expandida (k=2) por canal, obtida através da aplicação do método clássico, foi de 1,55%. Em sequência, integrouse o sistema de pedais desenvolvido a dois outros sistemas, são eles: um par pedivelas experimentais instrumentados, capazes de medir as três componentes da força aplicada aos pedais e transmitidas aos pedivelas com um erro de linearidade abaixo de 0,6% e uma incerteza combinada inferior a 3,22%, e um sistema de cinemetria comercial, cuja precisão declarada pelo fabricante é de 1mm. Para possibilitar uma comparação quantitativa entre treinos ou ciclistas, implementou-se um sistema inteligente, baseado em redes Neuro-Fuzzy (ANFIS). A partir dos valores da potência média, do desvio padrão da potência e da assimetria bilateral média, obtidos ao longo de ensaios realizados sob protocolo desenvolvido especificamente para este trabalho, um score que representa o nível da técnica de pedalada apresentado pelo ciclista é determinado. Com intuito de testar o sistema, desenvolveu-se um projeto de experimentos com 2 fatores controláveis (sujeito e nível de frenagem de um rolo de treinamento), e realizou-se ensaios com oito ciclistas de características fisiológicas e níveis de preparos distintos. Através da análise estatística, constatou-se que das 23 variáveis de resposta consideradas ao longo do experimento, 23 são influenciadas significativamente pelo fator controlado sujeito e oito são influenciadas significativamente pelo fator controlado nível de frenagem magnética. / This report describes the development of an intelligent pedaling technique analysis system. To accomplish that, a pair of road bicycle pedals (SHIMANO R540) were instrumented to measure the forces that are applied to the front and back regions of the pedals. The virtual models of the pedals were developed based on a 3D scanned mesh developed with aid of a commercial 3D scanning system with a precision of 0.1mm. Each pedal was instrumented with eight electrical resistance strain-gages (HBM 1-LY-13-1.5/350). After that, the range of the mechanical deformation of each measurement channel was determined with aid of an industrial deformation acquisition system. The conditioning circuit was developed based on the mechanical deformation ranges previously determined and the static calibration experiment was performed to determine the voltage output transfer functions. The maximum linearity error determined per channel was 0,75% and the maximum expanded uncertainty (k=2), determined applying the classical methodology, was 1,55%. After that, the instrumented pedals developed were integrated with two complementary systems, which are: a pair of instrumented crank arm load cells which measure the components of the force applied to the bicycle pedal with a linearity error under 0.6% and an uncertainty of 3,22% and an Optitrack motion track system with a declared accuracy of 1mm. An intelligent pedaling technique analysis system was implemented through an Adaptive Neuro Fuzzy Inference System (ANFIS) to determine the cyclist pedaling technique score based on three inputs: the average power applied to bicycle pedal, the average power standard deviation and the bilateral asymmetry index, all of them collected under an experimental protocol specifically designed for this application. To evaluate the behavior of the system developed a randomized block experiment design with two controlled factors was performed indoor with aid of an ergometer roll; 160 sprints were conducted with eight subjects of different training levels. From the data collected an ANOVA test was performed, which confirmed that all the 23 response variables vary significantly in function of the subject’s controlled factor and eight of them vary significantly in function of the magnetic braking level.

Made available in DSpace on 2016-04-26T18:18:32Z (GMT). No. of bitstreams: 1 MARIA DE LOURDES BACHA.pdf: 3487465 bytes, checksum: 82b4a08bc24e694d1c96622e8b238070 (MD5) Previous issue date: 1999-03-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Esta tese tem como objetivo analisar o diálogo de Peirce com Mil com respeito ao fundamento e à validade da indução. Inicialmente apresentamos um resumo do percurso histórico sobre o conceito da indução, passando por algumas idéias de Aristóteles (que desenvolveu a doutrina dos silogismos e também criou o termo apagoge, cuja tradução latina é indução e para quem a indução diz respeito a todos aqueles casos de argumentos não demonstrativos nos quais a verdade das premissas não requer a verdade da conclusão), por Bacon (que foi o primeiro filósofo a formular uma teoria da indução apropriada para ser usadas nas ciências naturais), por Hume (que formula a grade questão da indução, isto é, como se justificam as inferências indutivas? Qual o fundamento de nossas conclusões a partir da experiência?) e por Mill, que é o grande interlocutor de Peirce na questão da indução e cuja teoria da indução tem fundamento no principio da uniformidade da natureza. A seguir trazemos o percurso evolucionário das ideais peircianas sobre indução como correlatas do realismo, para finalmente, discutirmos críticas e argumentos que Peirce dirige a Mill, cuja ênfase está na questão na uniformidade da natureza e na lei da causalidade

Resumo: Esta dissertação investiga os processos de inferência - dedução, indução e abdução - nos seres humanos, e os compara com as contribuições tradicionais dos procedimentos de inferência aplicados nas ciências cognitivas, até resultados originados recentemente. Para essa investigação, apresentam-se primeiro os processos de inferência; mostram-se, então, relatos de Varela sobre o percurso seguido por alguns estudiosos que pretenderam definir a noção de cognição; e destacam-se estudos sobre os sistemas dinâmicos realizados por alguns autores como Bertalanffy, Kelso, Prigogine e outros. Pode-se caracterizar a abdução como surpresa, a possibilidade ainda indefinida; mas para chegarse a explicações do fato surpreendente usam-se processos dedutivos para confrontação com o que já é conhecido e processos indutivos com os quais generaliza-se o fato. Existe um terceiro elemento que liga idéias possíveis a idéias factuais existentes e, então, interpreta-se essa nova idéia, ou como pertencente a alguma lei já conhecida, ou como alguma lei ou hábito novo. A ciência cognitiva clássica estuda a cognição conforme o cognitivismo, isto é, a partir de símbolos e regras pré-definidas. Os sistemas que seguem os modelos da ciência cognitiva clássica não fazem observações empíricas sobre o mundo em que estão inseridos. A abordagem teórica que estuda a cognição ou o comportamento inteligente como resultado da interação direta do indivíduo com o ambiente é a ciência cognitiva dinâmica ou cognição situada e incorporada. Segundo estudiosos dessa abordagem, o sistema cérebro-corpo-ambiente é que deve ser observado para o entendimento da cognição. Nessa abordagem, tenta-se explicar os comportamentos do senso comum, ou as reações que envolvem interação com o ambiente como, por exemplo, ir até uma livraria comprar um livro... (Resumo completo, clicar acesso eletrônico abaixo). / Abstract: This work investigates the processes of inference - deduction, induction and abduction - in human beings and it compares them with traditional contributions of the applied pro-cedures of inference in cognitives sciences, until the recently produced results. In order to achieve this inquiry, the inference processes are first presented; then, Varela's ac-counts on trajectory followed by some researchers whose purposes were to define cognition notion are presented; and studies on dynamical systems carried out by some authors like Bertalanffy, Kelso, Prigogine and others are pointed out. Abduction can be characterized as surprise, possibility that is still indefinite; but to reach the explanations of the surprising fact, deductive processes should be confronted with what is already known, in addition to inductive processes with which the fact is generalized. There is one third element that connects possible ideas to existing factual ideas and, then, this new idea is interpreted, either as pertaining to some already known law, or as new law or habit. Classical cognitive science considers cognition according to cognitivism, that is, from symbols and predefined rules. The systems that follow the classical cognitive science models do not make empirical comments about the world where they are in-serted. The theoretical approach that studies cognition or intelligent behavior as a re-sulted of the direct interaction of the individual with the environment is the dynamical cognitive science or embodied and embedded cognition. According to researchers on this approach, the brain-body-environment system is the one that must be observed to understand cognition. In this approach, it is tried to explain common sense behaviors, or reactions that involve interaction with the environment, for instance, going to a book-store to buy a book... (Complete abstract, click electronic address below). / Orientador: Hércules de Araújo Feitosa / Coorientador: Maria Claudia Cabrini Grácio / Banca: Lauro Frederico Barbosa da Silveira / Banca: Fátima de Lourdes dos S. Nunes Marques / Mestre

Inaug.-Diss.--Kiel. / Lebenslauf.

Inaug.-Diss.--Kiel. / Lebenslauf.

C. Steyer's Inaug.-Diss.--Leipzig. / Syriac text with commentary in German. Syriac title at head of t.p. Lebenslauf. Includes bibliographical references (p. [vii]).

Inaug.-Diss.--Halle-Wittenberg. / Vita. "Literaturangabe": p. [92]-94.

Resumo: Este estudo apresenta a criação de uma plataforma para o desenvolvimento e a avaliação de algoritmos que visam resolver o problema de definir a satisfatibilidade de uma fórmula em lógica proposicional. Muitos estudos já foram realizados sobre o problema da satisfatibilidade, principalmente sobre fórmulas na Forma Normal Conjuntiva. Com isso, muitas técnicas foram desenvolvidas baseadas nas características exclusivas desse formato. O algoritmo conhecido como DPLL é utilizado como base técnica para os principais resolvedores atuais. Heurísticas de aprendizado sobre erros e melhores estruturas de representação são os pontos fortes dos algoritmos mais modernos. Porém, a utilização de um formato de representação menos restritivo, não clausal, permite aos resolvedores atuarem sobre um número maior de domínios. Testes automatizados de circuitos são um bom exemplo de aplicação para um resolvedor não clausal. Dada a diversidade de aplicações, o processo de desenvolvimento de tais algoritmos exige a decisão de qual conjunto de técnicas e heurísticas deve ser utilizado para um melhor desempenho. Nesse cenário, uma plataforma de desenvolvimento robusta, que permita a implementação de estruturas e heurísticas específicas, facilita esse processo de decisão, possibilitando, assim, análises comparativas mais precisas entre diversas soluções.

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.