Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2006 / Inclui bibliografia / Muitos métodos em mineração distribuída têm sido desenvolvidos com o objetivo de viabilizar a aplicação de técnicas de mineração em grandes volumes de dados. As pesquisas em mineração distribuída têm como interesse principal a otimização de algoritmos e t / Many methods in distributed data mining have been developed with the objective to make possible the application of approaches in very large databases. The researches in distributed data mining have as main interest in the optimize algorithms and approache

FROTA, Débora Farias. Uma lógica de descrição Default. 2011. 79 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2011. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T13:21:13Z No. of bitstreams: 1 2011_dis_dffrota.pdf: 945021 bytes, checksum: 9adb958d87b14104dcd8db9fc4c4bd6f (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-15T13:25:42Z (GMT) No. of bitstreams: 1 2011_dis_dffrota.pdf: 945021 bytes, checksum: 9adb958d87b14104dcd8db9fc4c4bd6f (MD5) / Made available in DSpace on 2016-07-15T13:25:42Z (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 Artificial. 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 é suficiente. 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 suficiente 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 fim 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.

Esta dissertação tem como objetivo compreender como a distinção entre conceito e objeto opera no sistema fregeano de modo a autorizar ou não alguma concepção de inexpressabilidade como característica fundamental da lógica. O problema de fundo é determinar em que sentido distinções entre categorias lógicas, especificamente a distinção entre conceito e objeto, envolvem algum tipo de inexpressabilidade. A questão é abordada com foco no problema do estatuto da proposição “O conceito cavalo não é um conceito”. Tratamos do problema através da apresentação de duas alternativas que envolvem um esforço de formalização da proposição. A primeira alternativa insere-se numa tradição de comentários que aproxima as considerações de Frege sobre essa proposição a certas ideias do Tractatus de Wittgenstein, atribuindo à proposição o estatuto de contrassenso. A segunda alternativa problematiza, pelo menos em parte, a primeira, ao trazer razões para a consideração da afirmação como uma proposição com sentido. Refletindo sobre as duas alternativas, consideramos que há mais de uma maneira de conceber a ideia de inexpressabilidade da lógica presente nas obras de Frege. / This work aims to understand how the distinction between concept and object works in the fregean system in such a way as to authorize some conception of inexpressibility as a fundamental feature of logic. The background problem is to ascertain how distinctions between logical categories, specifically the distinction between concept and object, involve some kind of inexpressibility. Our approach to the question focuses on the problem of the status of the proposition ‘The concept horse is not a concept’. Two alternatives are shown here that involve an effort of formalization of this proposition. The first alternative is part of a tradition of Frege’s exegesis that approximates Frege’s considerations about this proposition to certain ideas of Wittgenstein's Tractatus, assigning to the proposition the status of nonsense. The second alternative probematizes the first one at least in part by bringing reasons to considerate the statement as a proposition with sense. Reflecting on the two alternatives, we believe that there is more than one way of conceiving the idea of inexpressibility of logic in the works of Frege.

Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-07-14Bitstream added on 2014-06-13T18:53:32Z : No. of bitstreams: 1 matulovic_m_me_mar.pdf: 351553 bytes, checksum: ce05b2472eda1483cbde0d4d3caf708d (MD5) / Dentre as diversas lógicas não-clássicas, que complementam o cálculo de predicados de primeira ordem, destacamos as lógicas moduladas. As lógicas moduladas são caracterizadas pela inclusão de um novo quantificador, chamado modulado, que tem a incumbência de interpretar aspectos indutivos de quantificadores das linguagens naturais. Como um caso particular de lógica modulada, a lógica do muito formaliza a noção intuitiva de “muitos”. O quantificador do muito é representado por G. Assim, uma sentença do tipo Gxα(x) deve ser entendida como “muitos indivíduos satisfazem a propriedade α”. Semanticamente, a noção de muitos está associada a uma estrutura matemática denominada família fechada superiormente e própria. Seja E um conjunto não vazio. Uma família própria fechada superiormente F em E é tal que: (i) F ⊆ P(E); (ii) E ∈ F; (iii) ∅ ∉ F; (iv) A ∈ F e A ⊆ B ⇒ B ∈ F. Intuitivamente, F caracteriza os conjuntos que possuem ‘muitos’ elementos. E, assim, o universo E possui muitos elementos; o ∅ não possui muitos elementos; e se A possui muitos elementos, então todo conjunto que contém A também possui muitos elementos. Com elementos sintáticos que caracterizam linguisticamente estas propriedades de F, pode-se verificar que a lógica do muito é correta e completa para uma estrutura de primeira ordem estendida por uma família própria fechada superiormente. A lógica do muito foi originalmente introduzida em um sistema dedutivo hilbertiano, baseado apenas em axiomas e regras de dedução. Neste trabalho, desenvolvemos um outro sistema dedutivo para a lógica do muito, porém num sistema de tablôs. Demonstramos, naturalmente, que esse novo sistema é equivalente ao sistema axiomático original. / Among the several non classical logics that complement the classical first-order logic, we detach the Modulated Logics. This class of logics is characterized by extending the classical logic by the introduction of a new generalized quantifier, called modulated quantifier, that has the attribution of interpreting some inductive aspects of quantifiers in any natural language. As a particular case of Modulated Logic, the Logic of Many formalize the intuitive notion of “many”. The quantifier of many is represented by G. Thus, a sentence of the type Gxα(x) must be understood like “many individuals satisfy the property α”. Semantically, the notion of many is associated with a mathematical structure named proper superiorly closed family. Let E be a non empty set. A proper superiorly closed family F in E is such that: (i) F ⊆ P(E); (ii) E ∈ F; (iii) ∅ ∉ F; (iv) A ∈ F e A ⊆ B ⇒ B ∈ F. Intuitively, F characterizes the sets which have “many” elements. The empty set ∅ does not have many elements. And if A has many elements, then any set which contains A, also has many elements. The logic of many has syntactical elements that caracterize linguisticaly these properties of F. We can verify that the Logic of Many is correct and complete for a first order structure extended by a proper superiorly closed family. The Logic of Many was originally introduced in a Hilbertian deductive system, based only on axioms and rules. In this work, we developed another deductive system for the Logic of Many, but in a tableaux system. We proof that this new system is equivalent to the original one.

Submitted by Valquíria Barbieri (kikibarbi@hotmail.com) on 2017-10-31T18:13:35Z No. of bitstreams: 1 DISS_2011_Edy Klévia Fraga de Souza.pdf: 1179398 bytes, checksum: 8b4fb46a2d84b3745adce4d5b44ab1b4 (MD5) / Approved for entry into archive by Jordan (jordanbiblio@gmail.com) on 2017-11-09T14:58:18Z (GMT) No. of bitstreams: 1 DISS_2011_Edy Klévia Fraga de Souza.pdf: 1179398 bytes, checksum: 8b4fb46a2d84b3745adce4d5b44ab1b4 (MD5) / Made available in DSpace on 2017-11-09T14:58:18Z (GMT). No. of bitstreams: 1 DISS_2011_Edy Klévia Fraga de Souza.pdf: 1179398 bytes, checksum: 8b4fb46a2d84b3745adce4d5b44ab1b4 (MD5) Previous issue date: 2011-03-14 / CAPES / As reflexões desse trabalho, de modo geral, abrangem três períodos da história da Filosofia — antiga, medieval e contemporânea — abordando as questões da linguagem enquanto teoria dos sinais. De modo estrito, a intenção é expor a influência da filosofia da linguagem clássica e medieval, sobre a semiótica contemporânea. Para esse fim, temos como principais referências, as obras Crátilo de Platão, Da Interpretação de Aristóteles, alguns aspectos sobre o lékta do estoicismo antigo e De Magistro de Santo Agostinho. Já no período medieval, faz-se necessário investigar a Lógica dos Termos de Guilherme de Ockhann, bem como a teoria dos sinais no Curso Filosófico-Tomístico de João de São Tomás. Como representante da Semiótica contemporânea, é importante compreender a semiótica de Charles S. Peirce como base para a semiótica de Charles Morris em seu Fundamento da Teoria dos Sinais. A presente dissertação buscou investigar em cada um desses autores, seus princípios teóricos acerca dos os níveis relacionais responsável pela semiose — signo, objeto e interpretante — bem como a contribuição de cada um deles para a composição do que hoje se conhece por Semiótico. / Las reflexiones de este trabajo, por lo general se refieren a tres períodos de la historia de la filosofía - la antigua, medieval y moderna - frente a los problemas del lenguaje como una teoría de los signos. En sentido estricto, la intención es exponer a la influencia de la filosofía clásica y el lenguaje medieval en la semiótica contemporánea. Con este fin, tenemos referencias como principales, las obras de Platón Crátilo, la interpretación de Aristóteles, de algunos aspectos de la lékta edad de estoicismo y magistrados de San Agustín. En el período medieval, es necesario investigar la lógica de Guillermo de Términos Ockhann así como la teoría de los signos en la Filosofía del curso-tomista de Juan de Santo Tomás. Como representante de la semiótica contemporánea, es importante entender la semiótica de Charles S. Como base para la semiótica de Peirce, Charles Morris en su bases de la teoría de los signos. Esta tesis doctoral investiga cada uno de estos autores, sus principios teóricos sobre los niveles responsables de la semiosis relacional - signo, objeto y el interpretante -, así como la contribución de cada uno para la composición de lo que hoy es conocida como semiótica.

Made available in DSpace on 2015-05-14T12:11:45Z (GMT). No. of bitstreams: 1 Arquivototal.pdf: 533308 bytes, checksum: a99c51f4120b595bd31262696be2a428 (MD5) Previous issue date: 2012-05-31 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This dissertation examines two of the results of da Costa in order to show its usefulness to the philosophy and to point out possible philosophical developments. At first, It examines the paraconsistent logic, both from the historical and technical point of view as well as some of its developments. Next, it examines the theory of quasi-truth. Finally, it is proposed uses of these developments in philosophy, trying to show tricks in the philosophy of science and metaphysics. / O presente trabalho examina dois dos resultados de da Costa a fim de mostrar sua utilidade para a filosofia e apontar possíveis desenvolvimentos filosóficos. Examina-se, em primeiro lugar, a lógica paraconsistente, tanto do ponto de vista histórico e técnico, quanto alguns de seus desenvolvimentos; depois examina-se a teoria da quase-verdade. Por fim, propõe-se usos desses desenvolvimentos na filosofia, buscando mostrar caminhos em filosofia da ciência e metafísica.

Made available in DSpace on 2015-07-21T02:04:09Z (GMT). No. of bitstreams: 1 000472408-Texto+Completo-0.pdf: 512200 bytes, checksum: 5f63e80e4169224eed290a1843d451b0 (MD5) Previous issue date: 2015 / This is a qualitative research, a study case. As a question of research it poses the following problem: How are the different conceptions of logic inserted in the teaching practice of a mathematics teachers’ group in High School? Its main objective is to understand the insertion of the different logic conceptions in the teaching practice of a group of mathematics teachers in High School. In order to achieve this goal, the following specific objectives are considered: (1) Identify the different logic conceptions of a group of mathematics teachers in High School; (2) Understand how these teachers realize the presence of logic in their pedagogical practice; and (3) Identify the different logic conceptions present in pedagogical support materials used by these teachers. In the theoretical background the following themes are approached: Philosophy and Logic; The several conceptions of logic (Aristotle, Russell, Bacon, Decarte); The teaching and learning of logic. Six teachers who hold a degree in mathematics, teachers in the three grades of High School and the analysis of pedagogical support materials was made by the teachers. The data were submitted to the Discursive Textual Analysis. From the analysis the following categories emerged: Conceptions of the teachers about logic, The presence of the Logic in the teaching practice and The several conceptions of logic and the teaching material. In the first category showed that this group of teachers there is certain difficulty of defining what logic is. The group presented three definitions of logic which are: (1) all and any way of thinking; (2) all that can be explained through reason; and (3) sets of arguments that we use to validate or invalidate knowledge. Therefore, to the teachers, logic is the built of a solid argumentation, with coherent thinking, well structured, in order to be able to infer on premises, concepts, problem-situations and the reality, being able to modify them in a conscious way, based on reason, determining its validity and its falsity. In the second category, it became evident that all the teachers, somehow, approach logic in their teaching practices. They affirm that there is little time to teach logic as a topic or content of the subject. What refers to the approach of logic in its pedagogical practices, I evinced that this teachers’ group use logic in their classes when they work with demonstrations, either in Mathematics or Physics subjects, when they work the connectives, with combinatorial and probability analysis, in problem solving, set theory, validation of arguments, true and false, and in all and any situation in which the teachers and students need to argument, solve a problem solving situation and interfere in the world and its reality. And in the third category, we evince that the logical conceptions that appear are the Cartesian ones, being this the most present, the conception of Wittgenstein, the Aristotelian conception and the Russell conception. Although these logical conceptions are present in their materials, none of the teachers identified them in an explicit way. This is, they affirm the presence of logic in their materials, but they do not identify which of the conceptions is present in their books, notebooks or booklets. / A pesquisa é de natureza qualitativa, do tipo estudo de caso. Tem como questão de pesquisa o seguinte problema: De que modo as diferentes concepções de Lógica estão inseridas na prática docente de um grupo de professores de Matemática de Ensino Médio? Tem por objeto geral compreender a inserção das diferentes concepções de Lógica na prática docente de um grupo de professores de Matemática de Ensino Médio. Para atingir esse objetivo, são considerados os seguintes objetivos específicos: (1) identificar as diferentes concepções de lógica de um grupo de professores de matemática do Ensino Médio; (2) compreender como esses professores percebem a presença da Lógica na sua prática pedagógica; e (3) Identificar as diferentes concepções de Lógica presentes em materiais de apoio pedagógico utilizado por esses professores. Na fundamentação teórica são abordados os seguintes temas: Filosofia e Lógica; As diversas concepções de Lógica (Aristóteles Russell, Bacon, Descartes e Wittgenstein); A importância da Lógica nos processos de ensino e de aprendizagem de Matemática. Foram entrevistados seis professores licenciados em Matemática, docentes nas três séries do Ensino Médio e realizada a análise de materiais de apoio pedagógico utilizados pelos professores. Os dados foram submetidos à Análise Textual Discursiva. Da análise emergiram as seguintes categorias: Concepções dos professores sobre Lógica, A presença da Lógica na prática docente e As diversas concepções de Lógica presentes no material didático. Na primeira categoria evidenciou-se que neste grupo de professores há uma certa dificuldade em definir o que é lógica. O grupo apresentou três definições de lógica que são: (1) toda e qualquer forma de pensar; (2) tudo que pode ser explicado por meio da razão; e (3) conjuntos de argumentos que utilizamos para validar ou invalidar um conhecimento. Portanto, para os professores, Lógica é a construção de uma argumentação sólida, com pensamentos coerentes, bem estruturados, de modo que possamos inferir sobre premissas, conceitos, situações-problema e a realidade, podendo modificá-las de modo consciente, baseado na razão, determinando a sua validade e falsidade. Na segunda categoria, evidenciou-se que todos os professores, de alguma forma, abordam a Lógica em suas práticas docentes. Afirmam que há pouco tempo para se ensinar a Lógica como um tópico ou conteúdo da matéria. No que se refere à abordagem da Lógica em suas práticas pedagógicas evidenciou-se que este grupo de professores utiliza a Lógica em suas aulas ao trabalhar com demonstrações, seja nas disciplinas de Matemática ou Física, ao trabalhar com conectivos, com Análise Combinatória e Probabilidade, na resolução de problemas, na teoria de conjuntos, na validação de argumentos, e em toda e qualquer situação em que professores e alunos necessitem argumentar, resolver uma situação-problema e interferir no mundo e em sua realidade. E na terceira categoria evidenciou-se que as concepções de Lógica presentes no material didático são as concepções Cartesiana, sendo esta a mais presente, a concepção de Wittgenstein, a concepção Aristotélica e a concepção de Russell. Embora essas concepções lógicas estejam presentes em seus materiais, nenhum dos professores as identificou de forma explícita. Isto é, afirmam a presença da lógica em seus materiais, mas não identificam qual das concepções está presente em seus livros, cadernos ou apostilas.

Esta dissertação tem como objetivo compreender como a distinção entre conceito e objeto opera no sistema fregeano de modo a autorizar ou não alguma concepção de inexpressabilidade como característica fundamental da lógica. O problema de fundo é determinar em que sentido distinções entre categorias lógicas, especificamente a distinção entre conceito e objeto, envolvem algum tipo de inexpressabilidade. A questão é abordada com foco no problema do estatuto da proposição “O conceito cavalo não é um conceito”. Tratamos do problema através da apresentação de duas alternativas que envolvem um esforço de formalização da proposição. A primeira alternativa insere-se numa tradição de comentários que aproxima as considerações de Frege sobre essa proposição a certas ideias do Tractatus de Wittgenstein, atribuindo à proposição o estatuto de contrassenso. A segunda alternativa problematiza, pelo menos em parte, a primeira, ao trazer razões para a consideração da afirmação como uma proposição com sentido. Refletindo sobre as duas alternativas, consideramos que há mais de uma maneira de conceber a ideia de inexpressabilidade da lógica presente nas obras de Frege. / This work aims to understand how the distinction between concept and object works in the fregean system in such a way as to authorize some conception of inexpressibility as a fundamental feature of logic. The background problem is to ascertain how distinctions between logical categories, specifically the distinction between concept and object, involve some kind of inexpressibility. Our approach to the question focuses on the problem of the status of the proposition ‘The concept horse is not a concept’. Two alternatives are shown here that involve an effort of formalization of this proposition. The first alternative is part of a tradition of Frege’s exegesis that approximates Frege’s considerations about this proposition to certain ideas of Wittgenstein's Tractatus, assigning to the proposition the status of nonsense. The second alternative probematizes the first one at least in part by bringing reasons to considerate the statement as a proposition with sense. Reflecting on the two alternatives, we believe that there is more than one way of conceiving the idea of inexpressibility of logic in the works of Frege.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, Mestrado em Informática, 2015. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2015-03-31T15:40:32Z No. of bitstreams: 1 2015_ThiagoCoelhoVieira.pdf: 662085 bytes, checksum: 8fae3df1c74c85937e5cd8c48823b60b (MD5) / Approved for entry into archive by Ruthléa Nascimento(ruthleanascimento@bce.unb.br) on 2015-04-20T19:01:54Z (GMT) No. of bitstreams: 1 2015_ThiagoCoelhoVieira.pdf: 662085 bytes, checksum: 8fae3df1c74c85937e5cd8c48823b60b (MD5) / Made available in DSpace on 2015-04-20T19:01:54Z (GMT). No. of bitstreams: 1 2015_ThiagoCoelhoVieira.pdf: 662085 bytes, checksum: 8fae3df1c74c85937e5cd8c48823b60b (MD5) / Diversos tipos de lógicas são usadas como linguagens para descrever sistemas complexos e suas propriedades com a finalidade de serem verificadas formalmente. Provadores de teoremas baseados em tableaux são ferramentas computacionais capazes de realizar esta tarefa de verificação. Em (WDF98) é proposto um método de prova baseado em tableaux para duas lógicas epistêmico-temporais, KL(n) e BL(n). Neste trabalho implementamos o método de prova baseado em tableaux descrito em (WDF98) e apresentamos um algoritmo para verificação de propriedades epistêmicas e temporais sobre a estrutura do tableau construída por este método. / Logics are used as languages to describe complex systems and their properties in order to be formally verified. Tableaux-based theorem-provers are computational tools which can be used to perform this verification task. (WDF98) propose a proof method based on tableaux for both the epistemic-temporal logics KL(n) and BL(n) . In this work we implement the tableaux-based proof method described in (WDF98) and present an algorithm for verification of epistemic-temporal properties over the structure of the tableau built by this method.

Made available in DSpace on 2014-06-12T15:58:45Z (GMT). No. of bitstreams: 2 arquivo4690_1.pdf: 1106541 bytes, checksum: e0ee713e84c20db1b16b0bd3c706218a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / Em muitas de suas aplicações práticas tais como Processamento de Linguagem Natural(PLN), CASE, sistemas especialistas em domínios complexos, ontologias de Web semântica e Descoberta de conhecimento em banco de dados(KDD) - Programação em Lógica Indutiva(PLI) não é usada para substituir, mas para complementar aquisição de conhecimento manual. Usar uma linguagem de representação de conhecimento comum para ambos, conhecimento manualmente codificado e conhecimento induzido por PLI, é a idéia chave da sua integração simples. Como a aquisição de conhecimento manual está crescentemente sendo feita utilizando linguagens híbridas que integram objetos com regras ou relações, surgem as questões da viabilidade e praticidade de usar tais linguagens para indução. Nesta dissertação é apresentado Cigolf, um sistema de PLI que usa a linguagem lógica orientada a objeto Flora para representação de conhecimento. Cigolf recebe como entrada uma base de conhecimento prévio, um conjunto de exemplos, e uma especificação de viés de aprendizagem, tudo representado em Flora. Ele traduz esta entrada numa especificação de entrada para um sistema de PLI chamado Aleph. Ele então utiliza uma versão de Aleph para Prolog tabelado na indução de novo conhecimento e traduz este conhecimento aprendido para Flora. São descritas as questões surgidas por este processo de tradução bidirecional e a solução que foi adotada. É mostrada também a comparação de desempenho de Cigolf e Aleph em alguns problemas benchmarks de PLI para avaliar o overhead associado com o uso de uma linguagem de representação lógica orientada a objeto para tarefas de aprendizagem em vez de uma linguagem puramente lógica