Orientador: Washington Luiz Pacheco de Carvalho / Banca: Antonio Fernando Gouveia da Silva / Banca: Luciana Maria Lunardi Campos / Banca: Ana Maria Bellini / Banca: Ana Mariade Andrade Caldeira / Resumo: O objetivo desta pesquisa foi o de verificar em que extensão Licenciados em Ciências Biológicas eram capazes de criar argumentos para defender suas posições em relação as pesquisas com células-tronco humanas e também investiguei suas concepções a respeito do início da vida humana, digna de proteção e respeito. Para isso utilizei o grupo focal como estratégia para constituição dos dados que foram analisados tendo como referência o layout argumentativo de Toulmin. Como resultado verifique que, de maneira geral os estudantes são capazes de construir argumentos, entendidos como uma alegação e sua justificativa e que a vida do embrião congelado é diferente da vida do embrião implantado no útero: o primeiro, por ainda não ter sistema nervoso, pode ser usado como matéria-prima para pesquisa, enquanto o segundo é digno de respeito desde a concepção. Portanto, a vida se inicia quando o embrião alcança o útero. Sob o referencial da teoria da Atividade e da Aprendizagem Situada, constatei que a atividade coletiva foi um fator determinante para o desenvolvimento da argumentação. Concluo argumentando que a Aprendizagem Situada pode ser um importante referencial para a formação de professores de ciências e de sua identidade / Abstract: In this research intended to understand the ways preservice science teacher conceptulize the begining of human life, in the sense that it is worthy of respect and protection, and if they are able to develop arguments to support their claims. To reach this aim i used group as a method of data collection. The data was analyzed from a framework adapted from Toulmin's argumentation layout. As a result I found that the preservice teachers are able to develop arguments to support their conclusions and that they differentiate the life of the frozen embryo in a test tube from the life of the embryo in a womb. The former is merely a raw material for biomedical research while the later is a ife worthy of respect from conception. So the life begins when the embryo reaches the womb. Under the framework of Activity Theory and Situated Learning. I noticed that the interaction in a collective activity was decisive one to promote the argumentation. I conclude arguing that Situated Learning can be a significant framework for teacher education and construction of identity / Doutor

Dissertação (mestrado) - 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-22T13:18:47Z (GMT). No. of bitstreams: 0 / Esta dissertação apresenta um modelo de auxílio de decisão na identificação de trabalho escravo ou degradante utilizando lógica fuzzy. O mesmo aumenta a transparência nas identificações das condições de trabalho escravo ou degradante, capacitando os agentes do Ministério do Trabalho e Emprego e os profissionais que atuam na área para uma melhor compreensão e decisão acerca da sua formação. O modelo desenvolvido mostra como as variáveis difusas influenciam a formação do trabalho escravo ou degradante. Os critérios de referências são os indicadores desconformidade legal trabalhista; desconformidade legal de segurança e saúde do trabalho; desconformidade legal penal e desconformidade social, agrupados e combinados em operações lógicas de sistemas difusos (fuzzy sets). O modelo proposto ordena e combina estes indicadores que são agregados em blocos de regras de um dendrograma tipo Top Down Induction of Decision Trees, com operações básicas da lógica difusa. O modelo foi validado em uma fiscalização do MTE, onde se verificou sua sensibilidade e robustez. Este modelo utiliza como suporte operacional um programa computacional que tem como base matemática a lógica difusa e é desenvolvido com o auxílio do programa computacional fuzzyTECH® e da planilha eletrônica EXCEL®. . This dissertation presents a model of aid of decision in the identification of slave work or degrading using logic fuzzy. The model increases the transparency in the identifications of the conditions of slave work or degrading, qualifying the agents of department of Labor and Employment and the professionals that act in the area for a better understanding and decision concerning its formation. The developed model shows as the diffuse variables influence the formation of the slave work or degrading. The criteria of references are the indicators labor legal disconformity; legal disconformity of safety and health of the work; penal legal disconformity and social disconformity, contained and combined in logical operations of diffuse systems (fuzzy sets). The proposed model orders and it combines these indicators that they are joined in blocks of rules of a dendrograma type Top Down Induction of Decision Trees, with basic operations of the diffuse logic. The model was validated in a fiscalization of MTE, where it was verified its sensibility and robustness. This model uses with operational support a program computacional that has as mathematical base the diffuse logic and it is developed with the aid of the program computacional fuzzyTECH® and of the electronic spreadsheet EXCEL®. .

FROTA, Débora Farias. Uma Lógica de Descrição Default. 2011. 79 f. : Dissertação (mestrado) - Universidade Federal do Ceará. Centro de Ciências, Coordenação do Programa de Pós-Graduação em Computação, Fortaleza-CE, 2011. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-20T19:27:19Z No. of bitstreams: 1 2011_dis_dffrota.pdf: 945021 bytes, checksum: 9adb958d87b14104dcd8db9fc4c4bd6f (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-20T19:28:34Z (GMT) No. of bitstreams: 1 2011_dis_dffrota.pdf: 945021 bytes, checksum: 9adb958d87b14104dcd8db9fc4c4bd6f (MD5) / Made available in DSpace on 2016-06-20T19:28:34Z (GMT). No. of bitstreams: 1 2011_dis_dffrota.pdf: 945021 bytes, checksum: 9adb958d87b14104dcd8db9fc4c4bd6f (MD5) Previous issue date: 2011 / Knowledge formalization and reasoning automatization are central within Arti cial Intelligence. First Order Logic has been traditionally used for such purposes. However, it is better suited to deal with complete knowledge in ideal circumstances. In real situations, in which the knowledge is partial, First Order Logic is not su cient. Nonmonotonic logics have been proposed to better cope with practical reasoning. A successful formalization of nonmonotonic reasoning is the Reiter's default logic which extends classical logic with default rules. Unfortunately, default logic is undecidable. In this work, we propose a description default logic expressible enough to formalize practical reasoning in knowledge bases. It has as its monotonic basis the ALC Description Logic. We add some restrictions to the application of defaults in order to obtain nice properties such as coherence and the elimination of anomalous extensions. We present the main algorithms used to build an extension with a step by step complexity analysis. / A formalização do conhecimento e a automatização do raciocínio são assuntos centrais de pesquisa da Inteligência Arti cial. A Lógica de Primeira Ordem tem sido tradicionalmente utilizada para tais propósitos. No entanto, ela é mais adequada para lidar com conhecimento completo em circunstâncias ideais. Em situações reais, nas quais o conhecimento é parcial, a Lógica de Primeira Ordem não é su ciente. Lógicas não-monotônicas têm sido propostas para melhor lidar com o raciocínio prático. Uma formalização do raciocínio não-monotônico bem-sucedida é a Lógica Default de Reiter que estende a Lógica de Primeira Ordem com regras default. Infelizmente, a Lógica Default é indecidível. Nesta dissertação, propomos uma Lógica de Descrição Default expressiva o su ciente para formalizar o raciocínio prático sobre bases de conhecimento. Ela tem como base monotônica a Lógica de Descrição ALC. Adicionamos algumas restrições à aplicação dos defaults a m de obter propriedades interessantes, tais como a coerência e a eliminação de extensões anômalas. Apresentamos os principais algoritmos usados para construir uma extensão com um passo-a-passo e suas análise de complexidade.

Submitted by Estagiário SPT BMHS (spt@fgv.br) on 2012-03-15T13:44:26Z No. of bitstreams: 1 000062682.pdf: 11086122 bytes, checksum: 7b44ad497e391454408126ea4984d73b (MD5) / Made available in DSpace on 2012-03-15T13:45:23Z (GMT). No. of bitstreams: 1 000062682.pdf: 11086122 bytes, checksum: 7b44ad497e391454408126ea4984d73b (MD5) Previous issue date: 1994 / Notre intérêt pour la Théorie de l'Argumentation de Chaim Perelman est liée à la proposition d'un modèle juridique préconisé par lui pour les sciences humaines dont le statut épistémologique est encore mis en question dans nos jours. Les sciences humaines camouflent cette difficulte en recherchant, d'une façon inacceptable, le modèle appliqué aux sciences mathématiques. A notre avis, la Nouvelle Rhétorique élaboré par Perelman est la réponse au concept restreint de raison, développé par la logique formelle et imposé aux domaines qui rendent compte de nos préférences et nos décisions. / Nosso interesse pela Teoria da Argumentação de Chaim Perelman se relaciona à proposta de um modelo jurídico preconizado por ele para as ciências humanas, que têm ainda seu estatuto epistemológico questionado, disfarçando esta dificuldade na procura inaceitável do modelo aplicado nas ciências matemáticas. A Nova Retórica elaborada por Perelman é, a nosso ver, a resposta ao conceito restrito de razão desenvolvido pela lógica formal e imposto aos domínios que expressam nossas preferências e embasam nossas decisões.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2004 / Inclui bibliografia / Dentro de uma negociação, cada indivíduo responsável pela compra ou venda de bens ou serviços possui conhecimentos que dizem respeito aos possíveis valores, dos critérios utilizados para representar um determinado serviço ou produto, que podem ser ofertad

O presente trabalho tem por objetivo apresentar a prova de um teorema de James Ax e Simon B. Kochen relacionada com uma conjectura de Artin. A demonstração apresentada usa essencialmente Teoria de Modelos e Teoria de Valorizações. O teorema nos diz que para cada grau dεn* existe uma cota nd tal que, para todo primo p>=nd, cada polinômio homogêneo sobre Qp de grau d em mais de d² variáveis possui uma raiz não trivial no corpo de números p-ádicos Qp. A solução encontrada por Ax e Kochen para a conjectura de Artin é um dos mais importantes exemplos de aplicação de Teoria de Modelos - um ramo da Lógica Matemática - à Álgebra, neste caso, à Teoria de Números. / The present work has objective to present a proof of a theorem due to James Ax and Simon B. Kochen related to an Artin's conjecture. The demonstration shown uses essencially Model Theory and Valuation Theory. The theorem tell us that for each degree dεn* exists a bound nd such that, for all prime p>=nd, each homogeneous polynomial over Qp of degree d in more than d² variables has a non-trivial root in the field of p-adic numbers Qp. The solution found by Ax and Kochen for the Artin's conjecture is one of the most important examples of application of Model Theory - a branche of Mathematical Logic - to Algebra, in this case, to Number Theory.

Resumo não disponível

RIBEIRO, E. A. Uma contribuição ao desenvolvimento e avaliação da qualidade de sistemas de supervisão industrial à luz das normas ISO/IEC 9126 e 14598. 2013. 163 f. Dissertação (Mestrado em Engenharia de Teleinformática) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2013. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2014-01-03T14:06:35Z No. of bitstreams: 1 2013_dis_earibeiro.pdf: 5035454 bytes, checksum: aac83c43e46b18d50eefb0e4d1ee1eac (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2014-01-09T16:55:46Z (GMT) No. of bitstreams: 1 2013_dis_earibeiro.pdf: 5035454 bytes, checksum: aac83c43e46b18d50eefb0e4d1ee1eac (MD5) / Made available in DSpace on 2014-01-09T16:55:46Z (GMT). No. of bitstreams: 1 2013_dis_earibeiro.pdf: 5035454 bytes, checksum: aac83c43e46b18d50eefb0e4d1ee1eac (MD5) Previous issue date: 2013 / The supervisory systems are increasingly present in everyday industry, because the guarantee of having information about production processes in diverse locations simultaneously is essential to good monitoring and control. However, developers these tools do not utilize development models, nor methods for assessing software quality, making projects more expensive, due to rework, and causing client dissatisfaction for not meeting fundamental requirements. Therefore, there is a need to organize the process of development and evaluation for supervision softwares. ISO / IEC 9126 and 14598 are used in methodology, as they provide good support to identify essential characteristics of supervisory software, to create quality standard and to development of evaluation methodology. This research proposes model for development of supervisory software, accompanied by method of quality assessment based on fuzzy logic to analyze subjective opinions of specialists about supervisory requirements. The efficiency to use model was verified in educational field through a project realized by students. The assessment revealed quality of each requirement and showed that the complete software attended 69% of the standard of quality. The attributes that were with or without failures were identified, and the evaluation shows errors that need to be solved for software can be delivered for client. / Os sistemas supervisórios estão cada vez mais presentes no cotidiano da indústria, pois a garantia de se ter informação sobre os processos de produção em diversos locais simultaneamente é essencial para um bom monitoramento e controle. Contudo, a maioria dos desenvolvedores destas ferramentas não utilizam modelos de desenvolvimento, tampouco métodos de avaliação da qualidade de softwares, tornando os projetos mais dispendiosos, devido ao retrabalho, e causando insatisfação aos clientes devido ao não cumprimento aos requisitos fundamentais. Portanto, existe uma necessidade de organização do processo de desenvolvimento e avaliação de supervisórios. As normas ISO/IEC 9126 e 14598 são utilizadas na metodologia proposta, pois fornecem um bom suporte para a identificação das características essenciais de um supervisório, para a criação de um padrão de qualidade e para o desenvolvimento de uma metodologia de avaliação. Este trabalho apresenta uma proposta de modelo para o desenvolvimento de softwares supervisórios, acompanhado por um método de avaliação da qualidade baseado em lógica fuzzy para analisar as opiniões subjetivas de especialistas da área a respeito de requisitos de supervisórios. A eficiência do uso do modelo foi verificada em âmbito educacional através de um projeto realizado por estudantes. A avaliação revelou a qualidade de cada requisito e mostrou que o software completo atendeu a 69% do padrão de qualidade. Os atributos que estavam com ou sem falhas foram identificados e a avaliação mostra quais erros precisam ser sanados para que o software seja entregue ao cliente.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015. / Made available in DSpace on 2015-04-29T21:10:19Z (GMT). No. of bitstreams: 1 333056.pdf: 1646409 bytes, checksum: e628ceff8b30da1b5de3b154bd377f8a (MD5) Previous issue date: 2015 / Este trabalho tem como objetivo apresentar um novo sistema de inferência neuro-fuzzy, chamado RBFuzzy, capaz de extrair conhecimento a partir de dados e gerar regras fuzzy do tipo Mamdani com alta interpretabilidade. A RBFuzzy é um sistema de inferência neuro-fuzzy que aproveita o comportamento funcional de neurônios ativados por Funções de Base Radial (RBF) e sua relação com sistemas de inferência fuzzy. A arquitetura da rede RBFuzzy permite extrair um conjunto de regras linguísticas a partir da estrutura conexionista e dos pesos ajustados de uma rede neural. Uma extensão do algoritmo da otimização da colônia de formigas (ACO, do inglês ant colony optimization algorithm) é utilizada para ajustar os pesos de cada regra para gerar um conjunto de regras fuzzy acurado e interpretável. Tendo um conjunto de regras fuzzy um especialista pode adicionar regras novas para incorporar conhecimento novo ao modelo de previsão gerado e também corrigir regras que foram geradas por dados imprecisos.<br> / Abstract : This work presents a novel neuro-fuzzy inference system, called RBFuzzy, capable of knowledge extraction and generation of highly interpretable Mamdani-type fuzzy rules. RBFuzzy is a four layer neuro-fuzzy inference system that takes advantage of the functional behavior of Radial Basis Function (RBF) neurons and their relationship with fuzzy inference systems. Inputs are combined in the RBF neurons to compound the antecedents of fuzzy rules. The fuzzy rules consequents are determined by the third layer neurons where each neuron represents a Mamdani-type fuzzy output variable in the form of a linguistic term. The last layer weights each fuzzy rule and generates the crisp output. An extension of the ant-colony optimization (ACO) algorithm is used to adjust the weights of each rule in order to generate an accurate and interpretable fuzzy rule set. For benchmarking purposes some experiments with classic datasets were carried out to compare our proposal with the EFuNN neuro-fuzzy model. The RBFuzzy was also applied in a real world oil well-log database to model and forecast the Rate of Penetration (ROP) of a drill bit for a given oshore well drilling section. The obtained results show that our model can reach the same level of accuracy with fewer rules when compared to the EFuNN, which facilitates understandingthe operation of the system by a human expert.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015. / Made available in DSpace on 2015-05-12T04:08:08Z (GMT). No. of bitstreams: 1 333183.pdf: 2374355 bytes, checksum: 5f9767cf299ef07fe986ed50487dfcd7 (MD5) Previous issue date: 2015 / A sumarização automática de texto procura condensar o conteúdo do documento, extraindo as informações mais relevantes. Esse processo normalmente é executado através de métodos computacionais que incorporam o método estatístico e o linguístico. O rápido desenvolvimento das tecnologias emergentes e a crescente quantidade de informação disponível inserem novos desafios para esta área de pesquisa. Um desses desafios está na identificação das sentenças mais informativas no momento da geração do sumário. Como a tarefa de sumarizar informações de texto traz consigo a incerteza inerente à linguagem natural, a lógica fuzzy pode ser aplicada nessa tarefa para contribuir nos resultados gerados. Portanto, esta dissertação propõe um método de sumarização automática de texto utilizando a lógica fuzzy para a classificação das sentenças. O método foi desenvolvido por meio da técnica de sumarização extrativa ao qual se associam tarefas de Recuperação de Informação (RI) e de Processamento de Linguagem Natural (PLN). Para a avaliação deste método, considerou-se um corpus de textos em língua portuguesa e uma ferramenta que automatiza o processo. A ferramenta de avaliação analisa a sobreposição das unidades textuais entre os sumários automáticos e o modelo humano, dadas pelas medidas de precisão, cobertura e medida-f. Foram realizados experimentos que demonstram a efetividade do método na classificação da informatividade das sentenças.<br> / Abstract : Automatic text summarization attempts to condense the document content, extracting the most relevant information. This process is usually performed by computational methods such as statistical and linguistic. The rapid development of emerging technologies and the increasing amount of information available insert new research challenges. One of these challenges is to identify the most informative sentences at the time of the summary generation. The textual information summarization task brings with it the uncertainty inherent in natural language where fuzzy logic can be applied and contribute to the results. Therefore, this dissertation proposes a method of automatic text summarization using fuzzy logic to the classification of sentences. The method was developed by extractive summarization techniques which are associated with information retrieval tasks (IR) and natural language processing (NLP). The evaluation method considers a corpus of Brazilian Portuguese news texts and a tool for evaluation of summaries. The assessment tool analyzes the text units overlaps between automatic summaries and human model producing measures (precision, recall, F-measure) that express the informativeness of the summaries. We also present experiments showing the effectiveness of our method in the informativeness sentences classification.