Made available in DSpace on 2014-06-12T15:56:37Z (GMT). No. of bitstreams: 2 arquivo2957_1.pdf: 1211049 bytes, checksum: 7271cbf6edc1ea612933219d2dca57b6 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Devido às limitações da Web Atua iniciou-se o desenvolvimento de uma evolução da Web, denominada Web Semântica. Nesta nova Web, o conteúdo e a apresentação das informações devem estar separados e representados em uma notação adequada as novas necessidades da comunidade digital. Devido a isso, várias áreas de pesquisa, como por exemplo, a representação do conhecimento e o raciocínio automático, estão trabalhando com o intuito de tornar a Web Semântica uma realidade. Normalmente, o conhecimento é formado por várias partes e nem sempre é possível representá-lo, apropriadamente, utilizando um único formalismo de representação. Devido a isso, sistemas que lidam com representações diferentes podem ser de grande ajuda. O objetivo deste trabalho é estudar formalismos de representação de conhecimento e métodos de raciocínio automático, para propor um motor de inferência híbrido, chamado MONK, que possa ser utilizado na Web Semântica. Para a criação do MONK foi utilizado como base o projeto do sistema MANTRA. Foram mantidos os algoritmos de unificação (Martelli e Montanari) e inferência (t-entailment), pois são algoritmos decidíveis e eficientes, mas a arquitetura foi modificada para facilitar a inclusão futura de novos formalismos, como Frames, Redes Semânticas e Lógica de Descrições (usada na OWL, que é a linguagem padronizada para a Web Semântica). O MONK dá ênfase a Lógica de Primeira Ordem (baseada em uma Lógica de Quatro Valores), tornando-a seu formalismo padrão. Com isso, desde que algum formalismo possua um mapeamento para a Lógica de Primeira Ordem, ele poderá ser suportado pelo MONK sem que seja necessário implementar novos algoritmos de raciocínio

Made available in DSpace on 2014-06-12T17:17:04Z (GMT). No. of bitstreams: 2 arquivo51_1.pdf: 2901065 bytes, checksum: 9d1cfe1875ed5544d34691240b4dd66f (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste estudo analisamos a compreensão de alunos da Educação de Jovens e Adultos em processo de escolarização sobre problemas de estrutura multiplicativa, mais especificamente os que envolvem o raciocínio combinatório. Participaram da pesquisa 150 alunos de cinco instituições (uma municipal, duas estaduais, uma federal e uma mantida pelo Serviço Social do comércio (SESC). Os alunos resolveram dezesseis questões envolvendo problemas de estrutura multiplicativa, incluindo os de raciocínio combinatório de naturezas distintas (arranjo, combinação, permutação e produto cartesiano). Na análise dos resultados verificamos o desempenho em relação às variáveis série e tipo de problema (variáveis controladas) e da faixa etária, atividades profissionais e estratégias apresentadas pelos alunos (variáveis não controladas experimentalmente). Das variáveis trabalhadas, a única que não exerceu influência no desempenho dos educandos foi a faixa etária, sendo as demais fatores interferentes. Observamos também que alunos desta modalidade de ensino resistem a usar representações não-formais para a resolução dos problemas combinatórios e os que o fazem utilizam-se mais da listagem de possibilidades. Percebemos que o trabalho do educador no auxílio aos alunos no processo de construção desses conceitos é fundamental para o desenvolvimento dos conhecimentos de Combinatória, sendo essencial que o professor reconheça como válidos os conceitos já adquiridos pelos alunos, antes mesmo da formalização dos mesmos, para que assim se possa ampliar e aprofundar o raciocínio combinatório dos estudantes

Orientador: Jacques Wainer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-21T10:57:52Z (GMT). No. of bitstreams: 1 Monteiro_AnaMaria_M.pdf: 2474089 bytes, checksum: eb28e3b04a983ea35e09120139c1d298 (MD5) Previous issue date: 1996 / Resumo: O termo agente é usado com freqüência na área de representação de conhecimento e raciocínio. Diferentes sistemas foram propostos para modelar um agente raciocinando acerca de seu ambiente, um ambiente que, em muitas aplicações, pode incluir outros agentes. Assim, um agente, às' vezes, deve interagir com outros agentes para levar a cabo uma tarefa ou atingir um objetivo. Neste caso, pode ser importante para o agente representar o conhecimento dos outros agentes com os quais ele interage e pode necessitar raciocinar acerca do conhecimento desses agentes para comunicar-se com eles. Por outro lado, no contexto dos sistemas inteligentes, um agente pode necessitar realizar inferências na presença de informação incompleta ou obter conclusões em ausência de informação em contrário. Então o agente necessita dispor de mecanismos de raciocínio não-monotônicos. O trabalho apresentado aqui relaciona-se com as duas questões anteriores: a, proposta de lógicas não-monotônicas que não só modelam o agente raciocinando não-mono tonicamente a respeito do mundo, mas também a respeito do conhecimento de outros agentes. Este trabalho propõe a extensão de duas famílias de lógicas, para permitir o tratamento de fórmulas que contêm operadores de crenças. Mais especificamente: - desenvolvemos duas lógicas condicionais que permitem raciocinar acerca das crenças de um outro agente (o qual raciocina também na lógica condicional). Discutimos também as propriedades de tais lógicas. -propomos uma lógica preferencial multiagentes, baseada numa relação de preferência proposicional, de forma que tudo ,aquilo que é capturado por essa relação de preferência proposicional translada-se "corretamente" à lógica multiagentes. / Abstract: The term agent is frequently used in the area of knowledge representation and reasoning. Different systems have been proposed to model an agent reasoning about his environment, which in many applications includes other agents. Thus, an agent sometimes must interact with other agents to accomplish a task or a goal. If that is the case, it may be important for the agent to represent the knowledge of other agents with whom it interacts and may find it necessary to reason about their knowledge in order to communicate with them. On the other hand, in the framework of an intelligent system, an agent must make certàin inferences in the face of incomplete information or reach conclusions which rely, in part, on the "absence of evidence to the contrary". Then the agent need to be invested with non-monotonic reasoning mechanisms. The work presented here is concerned with the two issues above: the proposa:l of nonmonotonic logics that not only model the agent reasoning non-monotonically about the world, but also about the knowledge of other agents. This work proposes extensions of two families of logics in such a way that those extensions are able to deal with formulas that contain belief operators. More specifically: - we develop two conditionallogics that allow one to reason about the belief of another agent (which reasons in conditionallogic himself). We also discuss the properties of such logics. - we propose a multi-agent preferential logic, based on a propositional preference relation, in such a way that, whatever is captured by the propositional preference relation, it is carried over "correctly" to the multi-agent logic. / Mestrado / Mestre em Ciência da Computação

Made available in DSpace on 2014-06-12T22:56:57Z (GMT). No. of bitstreams: 2 arquivo2868_1.pdf: 1541738 bytes, checksum: f9a7ec2b25cbec34839c1553797a8393 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O presente estudo surge a partir do apoio a pesquisas que trabalham para favorecer a inclusão de alunos com necessidades especiais no sistema de ensino regular. Ciente de que um dos maiores ganhos que esses alunos têm ao estudarem junto com alunos ditos normais está na chance de serem tratados como iguais em direitos e deveres sociais, o objetivo desse estudo foi observar se freqüentar as salas de aulas regulares traz diferenças para o desenvolvimento moral. O trabalho aqui apresentado conta com uma triangulação entre as análises quantitativa e qualitativa dos resultados obtidos na comparação do raciocínio moral de seis alunos com deficiência mental matriculados em sala regular e seis alunos com deficiência mental matriculados em salas especiais. A observação do raciocínio moral desses alunos foi realizada através da apresentação de três dilemas de cunho moral abordando diferentes situações onde o aluno deveria escolher entre manter uma promessa realizada ou dizer a verdade e em seguida justificar sua escolha. A diferença no raciocínio moral foi confirmada, os alunos das salas das salas de aula regular têm maior capacidade de elaborar justificativas para suas escolhas morais. No entanto os resultados trouxeram duas outras questões com relação ao sistema de ensino paralelo (regular/especial): (1) esse sistema de ensino está relacionado com diferenças no desenvolvimento metacognitivo? (2) a segregação em turmas especiais é potencializadora de uma escala de valores morais diferenciada?

Orientador: Afira Vianna Ripper / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-07-24T02:02:26Z (GMT). No. of bitstreams: 1 Luders_Valeria_M.pdf: 7530671 bytes, checksum: a38a18461a6b8cf6b19c08c746907b2e (MD5) Previous issue date: 1998 / Mestrado

Made available in DSpace on 2014-06-12T23:01:45Z (GMT). No. of bitstreams: 2 arquivo880_1.pdf: 1365410 bytes, checksum: 451795639ae8269da3a6f014cbe2fb14 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Estudos mostram que problemas de produto cartesiano são mais difíceis de serem resolvidos por crianças de 8-9 anos do que outros problemas multiplicativos, como os de isomorfismo de medidas. A dificuldade atribuída a esses problemas pode ser justificada pelo fato da correspondência um-para-muitos estar implícita, enquanto que em problemas de isomorfismo esta correspondência é mais evidente. Considerando a carência de estudos que examinem as relações que marcam a natureza dos problemas de produto cartesiano, a presente investigação examinou a possibilidade de que a explicitação da correspondência um-para-muitos pudesse auxiliar as crianças na resolução de problemas de raciocínio combinatório do tipo produto cartesiano. Para testar essa possibilidade, problemas deste tipo foram apresentados em situações que a correspondência um-para-muitos estava implícita ou explícita. Será que a explicitação da correspondência um-para-muitos teria algum efeito sobre o desempenho e as estratégias de resolução adotadas pelas crianças? Para responder tal questão, foram entrevistadas 40 crianças com média de idade de 8 anos e 2 meses, alunas do 3º ano do ensino fundamental de uma escola particular da cidade do Recife. As crianças foram solicitadas a resolver 12 problemas de produto cartesiano divididos em três situações: Situação 1, problemas em que a correspondência um-para-muitos estava implícita; Situação 2, problemas que explicitavam a correspondência acompanhados de representação gráfica; e Situação 3, problemas que explicitavam a correspondência acompanhados dos princípios invariantes do raciocínio combinatório. Em cada situação, dois tipos de problemas foram apresentados: problemas de trajes (combinar peças de vestuário) e problemas de percurso (combinar entradas e saídas). Os resultados mostraram que as crianças tiveram um desempenho significativamente melhor nos problemas em que as relações um-para-muitos estavam explícitas (Situação 2 e 3) do que quando implícitas (Situação 1), adotando inclusive estratégias mais elaboradas de resolução. Em vista deste resultado, foi realizado um segundo estudo em que as crianças resolviam primeiro os problemas nas situações explícitas (Situação 2 e 3) e depois na situação implícita (Situação 1). Os dados mostraram que a sequência explícito-implícito favoreceu consideravelmente o desempenho nos problemas da Situação 1, considerados difíceis no primeiro estudo. Conclui-se que a explicitação da correspondência um-para-muitos tem efeito na resolução de problemas de produto cartesiano, efeito este que se traduz tanto em um melhor desempenho como no uso de estratégias de resolução mais sofisticadas. O fato do presente estudo apontar que crianças pequenas podem mostrar o início do raciocínio combinatório faz com que se pense na possibilidade de ensinar esses problemas desde cedo nas escolas

Made available in DSpace on 2014-06-12T23:03:16Z (GMT). No. of bitstreams: 2 arquivo8935_1.pdf: 695417 bytes, checksum: a74bf403582a6629d9bb68da0668124a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Neste estudo pretendeu-se verificar o raciocínio moral implicado no julgamento de lances futebolísticos, na perspectiva do árbitro de futebol de campo. Para compreender e buscar explicações sobre ato de julgar tomou-se como referencial o construto teórico de Jean Piaget, referente ao juízo moral, incluindo o conceito de justiça que tem início com a noção de justiça imanente, evoluindo para a justiça retributiva e, finalmente, conquistando seu estágio mais refinado, a justiça distributiva, cujo estabelecimento reflete a mudança de um tipo de moral heterônoma para uma autônoma. Por outro lado, levou-se também em consideração a teoria de Lawrence Kohlberg, que aprofundou os estudos de Piaget, preconizando a existência de três níveis no desenvolvimento moral (pré-convencional, convencional e pós-convencional), desdobrados em seis estágios, que ele considerou universais. A amostra foi composta por 91 respondentes do sexo masculino, com idade média de 34 anos, sendo 61 árbitros pertencentes a duas Federações de Futebol sediadas no Nordeste brasileiro, e 30 torcedores de clubes também nordestinos, com os quais o pensamento dos árbitros foi contrastado. Para dar acesso ao fenômeno pretendido, os participantes analisaram, julgaram e responderam por escrito a oito situações hipotéticas, sendo quatro dilemáticas e quatro não dilemáticas, ocorridas no ambiente do futebol e fora dele. Os resultados indicaram que árbitros e torcedores apresentavam mais semelhanças do que diferenças, quanto aos critérios utilizados no julgamento, à discordância sobre decisões que representavam injustiça e quanto à coerência entre o julgamento que faziam sobre as ações morais dos outros e as suas próprias. À luz dos estudos de Kohlberg, no julgamento de situações que denotavam lances futebolísticos, predominou o raciocínio moral convencional, com aplicação da justiça distributiva do estágio 4. Sob a ótica da teoria de Piaget, verificou-se que o raciocínio moral autônomo estava implicado no julgamento dos referidos lances, com predominância da justiça distributiva igualitária nas situações futebolísticas não dilemáticas e da justiça distributiva eqüitativa nas futebolísticas dilemáticas. A pesquisa colaborou para ampliação dos conhecimentos da Psicologia do Desenvolvimento Moral do adulto, objetivando instigar o debate teórico sobre o tema, na área da Psicologia Cognitiva e Psicologia do Esporte, esperando-se, por outro lado, que a difusão destes conhecimentos, na comunidade científica ou fora dela, possa ter reflexos na prática da arbitragem do futebol, tendo em vista uma maior conscientização dos simpatizantes e dos próprios árbitros, sobre a relevância de seu trabalho dentro de campo

Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-09-24T19:43:13Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Daniel Vitor Santos Julião.pdf: 3967042 bytes, checksum: c6616020aab1b2713e69ad7f868add6c (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-09-25T18:08:34Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Daniel Vitor Santos Julião.pdf: 3967042 bytes, checksum: c6616020aab1b2713e69ad7f868add6c (MD5) / Made available in DSpace on 2018-09-25T18:08:34Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Daniel Vitor Santos Julião.pdf: 3967042 bytes, checksum: c6616020aab1b2713e69ad7f868add6c (MD5) Previous issue date: 2016-09-05 / Todos os dias, os órgãos públicos precisam de contratos firmados com terceiros para a manutenção de suas operações, o fornecimento de seus serviços, ou o atendimento às suas demandas internas, como a execução de obras de engenharia, aquisição de equipamento e até mesmo a aquisição de sistemas de informação específicos. A licitação é o procedimento administrativo pelo qual a Administração Pública expõe suas necessidades e intenções, de modo a exprimir vontade de celebrar contrato administrativo, visando encontrar a proposta mais vantajosa, por meio da publicação de Termo de Referência ou Projeto Básico. Esse tipo de documento contém todas as definições necessárias e suficientes para os procedimentos administrativos. Na maioria dos casos, para cada uma das aquisições ou contratações diferentes, é necessário a confecção de um documento e seus artefatos constituintes, o que pode ser uma tarefa de alta complexidade, além de onerar o tempo dedicado às atividades de gestão propriamente dita, executadas diariamente pelos representantes dos órgãos públicos incumbidos de tais responsabilidades. Com a fundamentação teórica dos processos licitatórios de aquisições e contratações e a análise das técnicas do Raciocínio Baseado em Casos (RBC), mais fortemente do Raciocínio Baseado em Casos Textual (RBCT), foi possível o desenvolvimento de um protótipo de aplicação de RBC para a execução de quasi-experimento visando verificar, pela realização de teste de hipóteses, como a Tecnologia da Informação e Comunicação (TIC) torna mais ágeis as tarefas referentes ao domínio da confecção de Termos de Referência. Assim, a presente pesquisa visa apresentar o uso do Raciocínio Baseado em Casos, como forma de auxiliar os gestores públicos, agilizando suas exaustivas buscas por material que venha a ser útil, tornando seus processos e tarefas cada vez menos demorados. / Every day, government entities need contracts with third parties for the maintenance of its operations, the provision of their services, or meet their inner demands, such as the execution of engeneering works, aquisition of equipment and even to purchase specific information systems. Bidding is the administrative procedure by which the Public Administration exposes your needs and intentions, in order to express willingness to signing administrative contract, aiming to find the most advantageous tender, publishing Terms of Reference or Basic Project Project. This type of document contains all the necessary settings and sufficient for administrative procedures. In most cases, for each acquisition or different contracts, the production of a document and its constituent artifacts is necessary, which can be a highly complex task, and encumber the time devoted to actual management activities carried out daily by representatives of those government entities entrusted with such responsibilities. With the theoretical basis of the bidding processes and the analysis of techniques of Case Based Reasoning (CBR), more strongly the Textual Case Based Reasoning (TCBR), it was possible to develop a CBR prototype application to execute a quasi-experiment in order to verify, by performing hypothesis testing, how the Information and Communication Technology (ICT) become tasks of preparation of Terms of Reference more agile. Thus, this research presents the use of Case Based Reasoning, in order to assist public managers, streamlining their exhaustive search for material that will be useful, making its processes and tasks less and less time consuming.

Made available in DSpace on 2014-06-12T15:59:04Z (GMT). No. of bitstreams: 2 arquivo4827_1.pdf: 1875080 bytes, checksum: 09ee6a6168bda66551c83bd5e401ac9c (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / Apesar de seu potencial uso em programas de acompanhamento e composição musicais, a geração automática de ritmo não tem sido muito discutida na literatura de computação musical. Essa tarefa é bastante difícil de modelar devido ao pouco conhecimento formal sobre essa dimensão musical: os músicos explicam suas escolhas rítmicas em alto nível, a partir de critérios abstratos como swing, por exemplo, não sendo capazes de fornecer regras objetivas que elucidem suas decisões em granularidade de notas. Além disso, ao contrário de tarefas como a geração de harmonia, que são facilitadas pela disponibilidade de uma extensa bibliografia em teoria musical, pouco existe sobre ritmos como acompanhamento. De fato, a própria literatura disponível deixa a entender que essa dimensão musical é mais associada à subjetividade. Este trabalho apresenta um sistema que gera acompanhamento rítmico para violão automaticamente. Para minimizar os efeitos da dificuldade de formalização do conhecimento, o sistema faz uso de uma abordagem bastante natural em música, o reuso contextualizado de padrões rítmicos encontrados em performances de músicos de renome. Para isso, foram combinadas duas técnicas de inteligência artificial: raciocínio baseado em casos, para a modelagem da memória musical (associação de padrões rítmicos e o contexto onde devem ser usado) e raciocínio dedutivo baseado em regras, para associar intenções abstratas às características contextuais dos padrões. Como estudo de caso, foi desenvolvido o Cyber-João, um programa capaz de gerar acompanhamento rítmico para Bossa Nova encadeando e adaptando padrões rítmicos encontrados em gravações clássicas de João Gilberto. Por fim, o modelo do Cyber-João foi comparado empiricamente com algumas outras abordagens implementadas para a resolução do problema, demonstrando um desempenho bastante satisfatório

Neste trabalho, buscamos propor atividades e relacionar ações que o professor de Matemática pode adotar durante as aulas, com o objetivo de propiciar a melhora do nível de argumentação e prova de seus alunos da Educação Básica. Inicialmente, pesquisamos sobre as definições de prova sob a ótica do ensino de Matemática, em que concluímos que o desenvolvimento de argumentações e provas é fundamental para que os objetivos dos PCN sejam alcançados. Com análise das avaliações do PISA, notamos que, em geral, os estudantes brasileiros possuem baixo desempenho em relação as habilidades que envolvem generalizações e desenvolvimento de provas. Na tentativa de propor melhorias a esse cenário, acreditamos que o desenvolvimento de provas na Educação Básica não deve se restringir as demonstrações aceitas pela comunidade matemática. Para isso, o professor deve conhecer e aceitar os diversos tipos de provas apresentados por seus alunos. Nesse ponto, a formação do professor de Matemática é essencial. Por fim, desenvolvemos atividades e aplicamos em uma sala do 9º ano do Ensino Fundamental, o que possibilitou, após as análises, que realizássemos conclusões sobre as características das atividades que propiciam o desenvolvimento de provas e ações que possibilitam a melhora do nível de argumentação de nossos estudantes. / In this study e seek to propose activities and to relate actions that the Mathematics teacher can adopt during the classes, seeking to improve the level of argument and proof of his students of Middle and High School. Initially, we investigated the definitions of proof from the point of view of mathematics teaching, in which we concluded that the development of arguments and proofs is fundamental for the goals of PCN been achieved. With the analysis of the PISA assessments, we noticed that, in general, Brazilian students have poor performance in relation to the skills that involve generalizations and the development of proofs. In an attempt to propose improvements to this scenario, we believe that the development of proofs in Middle and High School should not be restricted to the demonstrations accepted by the mathematical community. About that, the teacher must know and accept the different types of proofs presented by his students. At this point, the courses to the Mathematics teachers, preservice and inservice, are essential. Finally, we developed activities and applied in a class of 9th grade students, which made it possible, after the analysis, to make conclusions about the characteristics of the activities that help to the development of proofs and actions that allow the improvement of argumentations level of our students