Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-21T10:49:28Z (GMT). No. of bitstreams: 0 / As empresas tem procurado aperfeiçoar o processo de fabricação de seus produtos, através de um rigoroso controle de qualidade. No caso do setor metal-mecânico, equipamentos vendidos com defeito podem destruir a reputação do fabricante, além de aumentar o custo causado pela troca dos produtos. Nesse sentido é necessário que haja um sistema capaz de detectar defeitos nos equipamentos que saem da linha de produção em tempo real. Um sistema com tal característica deve também ser capaz de encontrar qual é o defeito do equipamento de forma não invasiva. Esta busca pode ser realizada através da análise espectral do ruído emitido pelo equipamento analisado. Nesse sentido, este trabalho propõe desenvolver um modelo sistêmico baseado na tecnologia de agentes para diagnóstico de equipamentos em tempo real através de processamento digital de sinais e raciocínio baseado em casos com métrica Bayesiana. Para isso, será necessário realizar a integração entre o modelo Bayesiano, Raciocínio Baseado em Casos e Processamento Digital de Sinais. Será necessário também adequar o modelo proposto à tecnologia de agentes e testar a sua validade através de um protótipo que será construído usando programação orientada a objetos. Este trabalho também propõe a construção de uma base de casos especializada na manutenção de compressores herméticos, para testar o modelo.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-20T14:01:27Z (GMT). No. of bitstreams: 1 193852.pdf: 2312973 bytes, checksum: dca4abbcf0d79a1000e03e9eafcef809 (MD5) / A avaliação de cenários realizada por especialistas humanos envolve critérios cujos valores são vagos e definidos de forma imprecisa. Para exemplificar, dentro de um cenário de política de contratação de funcionários, um critério para a análise sobre a capacidade de liderança dos candidatos certamente aplicaria valores lingüísticos vagos como Grande ou Pouca para representar, de forma natural, o desempenho de cada concorrente. O especialista humano pondera e agrega os diversos critérios subjetivos de análise para chegar a uma conclusão consistente. Este trabalho propõe uma abordagem de apoio ao processo de análise de políticas através da reunião de três metodologias básicas. O objetivo principal é estabelecer um método de auxílio diferenciado que permita a direta representação e avaliação dos critérios vagos de um problema. A arquitetura híbrida Difusa - Multicritério - Raciocínio Baseado em Casos sugere uma forma integrada de tratamento do conhecimento: Conjuntos Difusos - para a representação e manipulação do conhecimento vago; Multicritério - para a agregação do conhecimento vago e avaliação do cenário e RBC - para a recuperação deste conhecimento e aperfeiçoamento do aparato de apoio. A proposta de auxílio não se limita apenas à indicação de um melhor caminho dentre as opções disponíveis, mas sim abrange mecanismos para a simulação e exploração do cenário apresentado. Um sistema protótipo mostra, através de alguns casos implementados, que a metodologia de auxílio pode ser útil como uma das ferramentas de análise de políticas. Além disto, a cooperação entre as metodologias Difusa - Multicritério - RBC expõe uma forma distinta e promissora de lidar com o conhecimento através da máquina que merece um aprofundamento posterior por intermédio de novas pesquisas.

Orientador: Marcia Regina Ferreira de Brito / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-05T04:06:21Z (GMT). No. of bitstreams: 1 Viana_OdaleaAparecida_D.pdf: 13457630 bytes, checksum: cf0ae91ebe117f9120972fbd9fc97dc2 (MD5) Previous issue date: 2005 / Resumo: Considerando a influência de fatores cognitivos e afetivos no desempenho escolar em geometria, este trabalho teve como objetivos analisar o componente espacial da habilidade matemática e verificar a existência de relações entre este componente, o raciocínio espacial, as atitudes em relação à matemática e à geometria e o desempenho escolar. Foram sujeitos 177 alunos de ensino médio de uma escola particular, tendo sido aplicadas duas provas tipo lápis e papel, um teste psicológico de raciocínio espacial e duas escalas de atitudes em relação à matemática e geometria. A análise fatorial das operações do componente espacial da habilidade matemática (contagem de cubos, formação e identificação de polígonos no espaço, secção, planificação, projeção e revolução) indicou a existência de um único fator, o que comprova que a prova avaliou a habilidade geral dos sujeitos em lidar com conceitos geométricos espaciais trabalhados no ensino médio, com base nas tarefas propostas. As atitudes em relação à matemática estavam relacionadas com as atitudes em relação à geometria. O desempenho em geometria estava relacionado com o raciocínio espacial, com o componente espacial da habilidade matemática e com as atitudes em relação à geometria. O trabalho faz referência aos processos de formação, inspeção e transformação de imagens mentais evidenciados nas fases de obtenção e de processamento da informação geométrica de problemas. As representações pictóricas externas demonstradas na solução de problemas geométricos com estrutura espacial foram classificadas de acordo com a funcionalidade, coerência e detalhamento, sendo que os dados mostraram que sujeitos mais habilidosos elaboram representações parciais e coerentes e não as utilizavam com a função de assistência perceptual.Psicologia da educação matemática; ensino de geometria; habilidade matemática; raciocínio espacial; habilidade visual / Abstract: In considering the influence of cognitive and affective factors in academic achievement of geometry, the objectives of this work were to analyze the spatial component of mathematical ability and to verify the existence of relations among this component, the spatial sense, the attitudes toward Mathematics and Geometry and the academic performance. The subjects of this research were 177 students, from three grades of a particular school from Mogi das Cruzes ¿ SP. Two questionnaires with pencil and paper, one spatial sense test and two attitudes scales toward mathematics and geometry were applied. The factorial analysis of spatial component operations of mathematics ability (counting of cubes, formation and identification of polygon in space, section, planning, projection and rotation) indicated the existence of one factor. It proved that the test evaluated the general ability to deal with geometric concepts that are taught in the secondary school, taking into account the proposed tasks. The attitudes toward Mathematics were related to the attitudes toward geometry. The geometry performance was related to the spatial sense, to the spatial component of mathematical ability and to the attitudes toward mathematics and geometry. This work made reference to the formation, inspection and transformation of visual mental images, whose processes were evidenced in the phases of acquisition and processing of problems geometrical information. The external graphical representations that were evidenced in the solution of geometry problems with the spatial structure were classified according to the function, coherence and detailing, and the dates indicated that the most talented students made partial and coherent representations and did not utilize them as perceptual assistance.Psychology of Mathematics Education; geometry teaching; mathematical abilities; spatial sense / Doutorado / Educação Matematica / Doutor em Educação

[pt] Produzir tecnologia tem se mostrado uma habilidade cada vez mais indispensável na sociedade moderna. Os usuários estão deixando de ser simples consumidores e passando a ser produtores, usando a tecnologia para expressarem suas ideias. Nesse contexto, o aprendizado do chamado raciocínio computacional deve ser tão importante quanto o de disciplinas básicas, como a leitura, a escrita e a aritmética. Ao desenvolver tal habilidade o aluno vai conseguir se expressar através do software. Diversos projetos ao redor do mundo têm suas tecnologias e didáticas próprias a fim de auxiliar o aluno a desenvolver tal capacidade. Porém, sabemos que em um contexto que está em constante evolução como é o caso da informática, não podemos deixar que o aluno fique preso a uma única ferramenta ou meio de se expressar. Ferramentas podem ficar obsoletas e ele perderia seu poder de produtor de tecnologia. Pensando nisso, foi elaborado um modelo de transferência do aprendizado do raciocínio computacional a ser incorporado a sistemas de documentação ativa que apoiam o ensino-aprendizado desta habilidade. O modelo auxiliará o designer na criação de um artefato tecnológico que seja capaz de ajudar alunos e professores a aprenderem uma nova linguagem de programação. O modelo, que é baseado na Engenharia Semiótica, é a principal contribuição científica dessa dissertação de mestrado. / [en] Producing technology has been an increasingly essential ability in modern society. The users are no longer simple consumers but actually, also, technology producers, using technology to express their ideas. In this context, the learning of the so-called computational thinking should be as important as learning basic disciplines such as reading, writing and arithmetic. As long as the student can develop this ability, he will be able to express himself or herself through the software. Many projects around the world have their own technologies and pedagogy to help the student develop such capacity. However, we know that in a context that is constantly evolving as is the case of informatics, we cannot allow the student to be attached to a single tool or means. Tools may become obsolete and students would lose their technology producer status. With this in mind, we designed a learning transfer model of computational thinking, which will assist the designer in the creation of a technological artifact to help students and teachers learn a new programming language. The model, which is based on the Semiotic Engineering, is the main scientific contribution of this master s dissertation.

[pt] Garantir que uma base de conhecimento com atos da administração pública contenha apenas fatos em conformidade com sua legislação torna-se um desafio para qualquer gestor público. Para isso, dado o grande volume de dados gerados por empresas públicas, faz-se necessário o emprego de recursos tecnológicos que auxiliem o processo de análise de conformidade destes atos. Este trabalho apresenta uma arquitetura computacional capaz de extrair informações publicados dos diários oficiais e então serializá-los em duas bases de conhecimento: triplas RDF/XML de fatos e triplas de RDF/XML de regras formalizadas em lógica iALC, uma lógica de descrição intuicionista. Para garantir a consistência desta base de conhecimento, foi desenvolvido um SAT Solver para iALC em forma de tableau semântico intuicionista. Uma extensão do tableau intuicionista de primeira ordem apresentado por Fitting (1969). Este SAT Solver faz parte de um módulo que além de gerar modelos e contra-exemplos para as regras formalizadas em iALC, também gera um código preliminar de consultas em SPARQL. Esta abordagem permite inferir e certificar a qualidade dos dados disponíveis na base de conhecimento RDF/XML de fatos. Para garantir a qualidade do nosso SAT Solver, fizemos a prova de soundness das suas regras. Para garantir a qualidade da nossa abordagem lógica, construímos um conjunto de 21 Questões de Competência e aplicamos à nossa ferramenta. Os resultados deste estudo de caso mostraram a eficácia e eficiência da nossa abordagem. / [en] Ensuring that a knowledge base with public administration acts contains only facts in accordance with its legislation becomes a challenge for any public manager. To achieve this, given the large volume of data generated by public companies, it is necessary to apply technological resources that assist in the process of analyzing the compliance of these acts. This work presents a computational architecture capable of extracting information published in official gazettes and then serializing it into two knowledge bases, RDF/XML triples of facts and RDF/XML triples of rules formalized in iALC logic, an intuitionistic description logic. To ensure the consistency of this knowledge base, a SAT Solver for iALC was developed in the form of an intuitionistic semantic tableau. An extension of the first-order intuitionist tableau presented by Fitting (1960). This SAT Solver is part of a module that generates models and counter-examples for rules formalized in iALC and generates a preliminary query code in SPARQL. This approach allows infer and certify the quality of the data available in the RDF/XML knowledge base of facts. To guarantee the quality of our SAT Solver, we carry out the soundness proof of its rules. To ensure the quality of our logical approach, we built a set of 21 Competency Questions and applied our tool. The results of this case study showed our approach s effectiveness and efficiency.

[pt] Durante as etapas iniciais de design, o designer forma um entendimento inicial sobre o problema que ele deve resolver e desenvolve suas primeiras ideias, geralmente influenciadas por conhecimentos de design passados. Com o objetivo de auxiliar o design de IHC (interação humano-computador) neste contexto, nós investigamos como podemos usar o raciocínio baseado em casos (CBR) para ajudar designers a acessar e reutilizar conhecimentos de design para resolver novos problemas de IHC. Nós conduzimos entrevistas com designers de IHC profissionais para coletar dados sobre como eles lidam com problemas de design e suas motivações e expectativas sobre o uso de conhecimentos de design auxiliado por uma ferramenta de CBR. Usando estes dados, construímos uma ferramenta, chamada CHIDeK, que contém uma biblioteca contendo casos de design de IHC e fornece acesso aos casos através de navegação facetada, links diretos entre casos e busca. Para investigar como o CHIDeK influencia a atividade de design, conduzimos um estudo que simulava a etapa inicial de design de IHC de um sistema online de reserva de bicicletas. Alguns participantes podiam resolver o problema enquanto tinham acesso ao CHIDeK e outros deviam resolver sem o CHIDeK. Descobrimos que os casos no CHIDeK ajudaram o design motivando o processo de reflexão dos designers, ativando memórias de experiências com sistemas similares aos descritos nos casos e ajudando a gerar novas ideias. Também identificamos algumas limitações na representação dos casos, o que oferece oportunidade para novas pesquisas. Comparando ambos os tipos de atividade de design, percebemos que os designers sem a biblioteca de casos usaram a mesma solução para um dos itens descrito no cenário do estudo, enquanto os designers com os casos variaram entre duas soluções. Concluímos dizendo que uma ferramenta de CBR tem muito potencial para ajudar na atividade de design, porém existem problemas que devem ser endereçados por pesquisas futuras. / [en] During the early stages of design, the designer forms an initial understanding about the problem and some ideas on how to solve it, often influenced by previous design knowledge. In order to support HCI design in this context, we investigated ways to use case-based reasoning (CBR) to help designers access and reuse design knowledge to solve new HCI design problems. We conducted interviews with professional HCI designers to collect data about how they deal with design problems, and their motivations and expectations regarding the use of design knowledge aided by a CBR tool. Using this data, we designed and developed a tool called CHIDeK, which has a library containing HCI design cases and provides access to them through faceted navigation, direct links between cases, and search. To investigate the way CHIDeK influences the design activity, we conducted a study that simulated the early stage of HCI design of an online bike reservation system. Some participants could solve the problem while having access to CHIDeK and others had to solve it without CHIDeK. We discovered that the cases from CHIDeK supported the design by motivating the designers reflective process, triggering their memories of experiences with systems similar to the ones in cases, and helping generate new ideas. We also identified some limitations in the case representation, which offers an opportunity for further research. When comparing both kinds of design activities, we noticed that designers without the case library used the same solution for one of the issues described in the study scenario, while the designers with the cases varied between two solutions. We concluded that a CBR tool has much potential to aid the design activity, but there are still issues that need to be addressed by further research.

Made available in DSpace on 2016-04-29T14:32:25Z (GMT). No. of bitstreams: 1 dissertacao_claudinei_aparecido_costa.pdf: 1031829 bytes, checksum: 6adce8373f4beaac22f6dc6200758706 (MD5) Previous issue date: 2003-10-13 / In the development of this researth we tried to study and analyze the available instruments for the Mathematics professor to teach Combinatory in the Fundamental Education for process of Modeling, as well as their knowledge on the mathematical object in game. The researth was developed close to teachers of Fundamental and Secundary Education of the public school, participants of the project of continuous formation in the course of year 2002 for the agreement PUC-SP/SEE. In this direction, we analyzed the Mathematics Parameters National Curriculum (PCN-EF) of Fundamental Education, the Curriculum for Matematics Teathing of São Paulo 1th level, and two collections of didactic books adopted now by teachers of the public school. To follow in the analysis of the questionnaires, above all in questionnaire 2, it grew in a qualitative perspective. For that, it was used five questions, of the whith three of them were applied in the research accomplished by ESTEVES (2001) and their results validated by us. With the obtained data we could verify difficulties of establishing a systematic procedure, to formation of the groupings if the order is relevant or not. Concluiding, some considerations were made here about the research developed and given suggestions for future researches / No desenvolvimento desta pesquisa procuramos estudar e analisar os instrumentos disponíveis para o professor de Matemática ensinar Combinatória no Ensino Fundamental por processo de Modelagem, bem como seus conhecimentos sobre o objeto matemático em jogo. A pesquisa foi desenvolvida junto à professores da Ensino fundamental e Médio da rede pública de ensino, participantes do projeto de formação continuada no correr do ano de 2002 pelo convênio PUC-SP/SEE. Neste sentido, analisamos os Parâmetros Curriculares Nacionais de Matemática do Ensino Fundamental, a Proposta Curricular para o Ensino da Matemática do Estado de São Paulo 1º grau, e duas coleções de livros didáticos adotados atualmente por professores da rede pública. A seguir na análise dos questionários, sobretudo no questionário 2 se desenvolveu numa perspectiva qualitativa. Para tanto, utilizou-se de cinco questões, das quais três delas foram aplicadas na pesquisa realizada por ESTEVES (2001) e seus resultados validados por nós. Com os dados obtidos pudemos constatar dificuldades de ; estabelecer um procedimento sistemático, justificar as respostas, não uso ou pouco uso de representações e dificuldades para reconhecer na formação dos agrupamentos se a ordem é relevante ou não. Finalizando, foram feitas algumas considerações sobre a pesquisa aqui desenvolvida e sugestões para pesquisas futuras

[pt] Esta dissertação tem por objetivo apresentar os resultados da pesquisa de mestrado em que se procurou evidenciar algumas características da relação de David Hume com a indução. Segundo a interpretação corrente, Hume é o responsável por mostrar que nossa razão não é capaz de justificar qualquer um de nossos raciocínios indutivos. O problema de Hume também se caracteriza por ser um problema acerca da racionalidade da ciência, pois se seu método principal, a indução, não pode receber suporte racional, parece lícito afirmar que o resultado de uma inferência indutiva é irracional. A fim de delinear o campo exato em que se insere a crítica humeana, este texto irá mostrar como Hume apresenta suas teorias acerca do raciocínio causal em seu Tratado da natureza humana, traçar as características exatas do raciocínio causal de Hume e confrontá-las com as formas de interpretação presentes em alguns de seus principais comentadores. Procuramos tornar claras as falhas apresentadas nestas interpretações. Em seguida trataremos de discutir algumas das mais celebradas interpretações da filosofia de Hume, centrando nossa análise nos textos de Mackie, Beauchamp e Mappes. O capítulo final tem por objetivo mostrar as características racionais que podem ser atribuídas aos raciocínios causais humeanos, salientando o caráter particular de suas inferências. Finalizando, mostraremos como a origem do princípio da cópia pode ser um exemplo do uso de inferências indutivas por parte de Hume, o que nos leva a considerações heterodoxas a respeito de sua visão a respeito da racionalidade. / [en] The aim of this work is to present the results of my master´s degree research, which tried to show some of the characteristics of David Hume´s approach to induction. According to the standard interpretation, Hume is responsible for showing that our reason is not able to justify any of our inductive reasonings. Hume´s problem also characterizes itself by being a problem about the rationality of science, for, since his main method, induction, cannot receive a rational foundation, it seems licit to assert that the result of any inductive inference is irrational. In order to precisely describe the Humean criticism I am going to show how Hume presents his theories concerning causal reasoning in this A Treatise of Human Nature, define the exact characteristics of causal reasoning according to him, and compare this analysis to those by some of his main critics. We shall try to bring to light the proposed inadequacy of the latter. Next we will discuss some of the most celebrated interpretations of Hume´s philosophy, specially those by of Mackie, Beauchamp and Mappes. The final chapter aims at showing the rational characteristics that can be assigned to Humean causal reasoning emphasizing the particular character of his inferences. Finally, we show how the origin of the copy principle can be an instance of the use of inductive inferences by Hume, which allows us to risk some heterodox hypotheses concerning his view of rationality.

[pt] A presente tese é primordialmente um trabalho de teoria do direito cujo objeto de pesquisa é a relação entre duas estratégias que o jurista pode utilizar para solucionar problemas de ausência e/ou insuficiência normativa: a analogia e a interpretação extensiva. A doutrina brasileira é unânime ao compreender que, apesar da proximidade, a analogia e a interpretação extensiva são estratégias distintas. O objetivo da presente tese é questionar essa unanimidade; para tanto, busca aprofundar o estudo dessas estratégias e investigar a relação existente entre elas. Apesar da diferença conceitual existente e da distinção presente no âmbito do direito penal – que admite a utilização da interpretação extensiva, mas não a analogia (exceto para benefício do réu) –, a linha limítrofe que demarca o âmbito de aplicação de ambas é fluída e de aplicação prática. Os estudos sobre essas estratégias acabam priorizando as diferenças, negligenciando a proximidade existente entre elas. A hipótese da tese: a chave para a compreensão da relação entre analogia e interpretação extensiva reside naquilo que elas têm em comum. Essa proximidade é evidenciada com o apoio das recentes descobertas no campo das ciências cognitivas, em especial nos estudos sobre o raciocínio analógico. / [en] The presente thesis is primarily a work of jurisprudence whose object of research is the relationship between two strategies that the lawyer can use to solve problem of regulatory absence and/or insufficiency: analogy and extensive interpretation. Brazilian doctrine is unanimous in understanding that, despite the proximity, analogy and extensive interpretation are distinct strategies. The purpose of this thesis is to question this unanimity; therefore, it seeks to deepen the study of these strategies and investigate the relationship between them. Despite the existing conceptual difference and the distinction presente in the scope of criminal law – which admits the use of extensive interpretation, but not the analogy (except fot the benefit of the defendant) –, the boundary line that marks the scope of both is fluid and whit difficult practical application. Studies on these strategies end up prioritizing differences, neglecting the existing proximity between them. The thesis hypothesis: the key to understanding the relationship betweem analogy and extensive interpretation lies in what they have in common. This proximity is evidenced with the support of recente discoveries in the field of cognitive sciences, especially in studies on analogical reasoning.

[pt] A lógica iALC é uma lógica de descrição de caráter intuicionista, criada para lidar com textos jurídicos como alternativa à mais comumente utilizada lógica deôntica, por conseguir contornar problemas que se encontra ao utilizar esta última. Nesta dissertação, introduzimos os principais conceitos que formam iALC, argumentamos sobre sua utilização em vez de demais lógicas para formalização de leis, implementamos suas provas de correção e completude no assistente de provas L(existe algum)(para cada)N, e apresentamos uma proposta de formalização de leis brasileiras em iALC. Além disso, mostramos um exemplo de aplicação desta formalização para resolução de questões de múltipla escolha da primeira fase do exame da OAB, que tem por objetivo avaliar a aptidão dos candidatos para a prática da advocacia no Brasil. São vistos três exemplos de questões, cujas características são discutidas e comparadas umas às outras. / [en] The logic iALC is a description logic with an intuitionistic aspect to it, created to deal with legal texts as an alternative to the more common deontic logic, by being able to avoid problems found when utilizing the latter. In this dissertation, we introduce the core concepts which form iALC, debate on its utilization instead of other logics for legal formalization, implement the soundness and completeness proofs for it in the proof assistant L(there is some)(for each)N, and present a proposal for formalization of Brazilian law in iALC. Furthermore, we show an example of application of this formalization in order to reason on multiple choice questions of the first part of the OAB Exam (the Brazilian national Bar exam), which aims to test candidates for their aptitude to practice the law in Brazil. We will show three examples, whose characteristics will be discussed and then compared to the others.