Resumo: 0 método das conexões de Bibel é uma alternativa ao método de resolução e vem sendo aplicado a vários sistemas lógicos, incluindo fragmentos da lógica linear, lógica intuicionista e várias lógicas modais. Em um trabalho anterior, o método das conexões de Bibel foi estendido para um tipo de lógica paraconsistente, chamada de lógica anotada. Neste trabalho o método do trabalho anterior é estendido tornando as definições mais adequadas à implementação. Um procedimento que melhora a eficiência do método das conexões de Bibel é apresentado e uma implementação do método é desenvolvida na linguagem SML. Os agentes inteligentes e sistemas especialistas podem utilizar métodos de prova em seus módulos raciocinadores para derivar conclusões de uma base de conhecimentos. A lógica anotada trata uma base de conhecimentos inconsistente de modo adequado. Um exemplo ilustrativo de uso de uma base de conhecimentos inconsistente em um sistema médico é automatizado através da implementação. Por fim, uma comparação de eficiência é apresentada.

No description available.

No description available.

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

Made available in DSpace on 2014-06-11T19:27:10Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-12-16Bitstream added on 2014-06-13T20:08:10Z : No. of bitstreams: 1 000734174.pdf: 1301603 bytes, checksum: c022c2b4e049a701b1abb5a9e04fe8e9 (MD5) / Neste traboalho são apresentados alguns conceitos básicos da Teoria de Conjuntos Fuzzy como: operações comu conjunto fuzzy, Princípio de Extensão de Zadeh, números fuzzy e noçoes de lógica fuzzy. As relações são apresentadas com o objetivo de tratarmos de sistemas baseados em regras fuzzy e algumas aplicações / In this paper are presented some basic concepts of Fuzzy Sets Theory: operation with fuzzy sets, Zadeh extension principle, fuzzy numbers and fuzzy logic. The fuzzy relations are presented for the purpose of treating systems based on fuzzy rules and some application

Made available in DSpace on 2014-06-11T19:31:43Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-04-24Bitstream added on 2014-06-13T21:03:14Z : No. of bitstreams: 1 bianchi_c_dr_rcla.pdf: 3784213 bytes, checksum: 74a2fc2a0783a2ad9b404b340de5e04e (MD5) / Este trabalho mostra um caminho para a mudança, na prática pedagógica, pela inserção da Lógica no currículo, como tema transdisciplinar, articulador do raciocínio e construtor da argumentação. A proposta é inverter o papel do modo de pensar: de coadjuvante para protagonista. Quando as idéias forem veículos para os alunos compreenderem que podem pensar bem e reinventar idéias, os conteúdos serão menos esquecidos. Ensinando modos de pensar, otimizamos a capacidade de análise de quaisquer textos, tenham informações matemáticas ou não. Pela linguagem, construímos consensos que nos possibilitam viver em sociedade: quanto mais construímos sentidos para nossa vida, mais nos tornamos sujeitos históricos partícipes da realidade, assumindo posição na reconstrução dos discursos, passando da simples repetição das falas dos outros à nossa condição de autores, críticos e criativos. Que esta proposta possa ser um embrião para a Lógica passar a ser meio e método de transformação do conhecimento real pela análise crítica, contribuindo para um futuro melhor, ajudando os educadores a desenvolver em seus alunos as capacidades discursiva e argumentativa, o raciocínio e o senso crítico. / This work shows a way to improve teachers posture by inserting Logic as a subject at regular schools programs. We understand 'Logic as a thought articulator e and argumentation builder. The idea is to create a main role for the ways of how to think. When the ideas are tools for the students to understand they can think about and re-invent ideas, the contents taught will not be so quite forgotten. By teaching how to think, we optimize the analysis capacity of any texts, whether they involve mathematical issues or not. We build consenses that will make our life in society possible: the more we build sense to our life, the more aware we become of our role of citizens who should take part in the society's decisions, not by repeating other people's speeches, but creating our own, becoming authors, critics and creative. May this project be a seed so Logic can become a tool to change real knowledge by critical analysis, contributing to a better future, helping teachers to develop the speech and argumentation capacity of the students, improving their critical sense.

Made available in DSpace on 2015-04-09T12:28:26Z (GMT). No. of bitstreams: 0 Previous issue date: 2014Bitstream added on 2015-04-09T12:47:34Z : No. of bitstreams: 1 000812869.pdf: 497174 bytes, checksum: 343554bf58707181ca0cee752bb1c78b (MD5) / Esta pesquisa está inserida no contexto filosófico da Lógica, com ênfase nos aspectos dos quantificadores e nos seus modelos ou interpretações. O objetivo deste trabalho é um aprofundamento das noções de quantificação dentro do aspecto das lógicas moduladas. Para tanto, aborda-se a lógica modulada do plausível, que procura formalizar o quantificador da ubiquidade. O texto apresenta uma proposta, introduzida por Paul Halmos, de interpretação da lógica quantificacional clássica em modelos algébricos e, como contribuição original, estende este modelo para um modelo algébrico para a lógica do plausível. / This research is inserted in the context of Philosophy of Logic, with emphasis on aspects of quantifiers and their models or interpretations. The aim of this paper is a deepening on notions of quantification in the environment of modulate logics. For that, this Dissertation approaches the modulate logic of plausible, which seeks to formalize the quantifier of ubiquity. The text presents a proposal, of Paul Halmos, to interpret the classical logic quantification into algebraic models. As an original contribution, it is extended this model to an algebraic model for the logic of plausible.

Made available in DSpace on 2016-04-29T14:23:55Z (GMT). No. of bitstreams: 1 Cristiano Natal Toneis.pdf: 14474137 bytes, checksum: 81bf760195af01ca56123ea3b53bf71f (MD5) Previous issue date: 2010-05-10 / Secretaria da Educação do Estado de São Paulo / The present study into the perspective of development the reasoning logicalmathematical by means of the ontological structures in the digital games happens on a specific modality of digital games that present many structures narratives, and its structural development in the form of logical puzzles, practical, related with the idea Greek of mathéma. The methodology has used combines the conceptual efforts in philosophy of the logical positivism, hermeneutic phenomenology, the pragmatic logic, the genetic epistemology, Ethnomathematics and games practical theory, showing that puzzles in the digital games constitute in cognitives structures of high value for the promotion and production of the knowledge, practical and scientifical, as well as achievement and promotion of its structures narratives that they culminate in uncurling of an interactive history. The research takes as example shape the game Myst, establishing it as descriptionconceptual reference that allows the integration of new forms to stimulate and to support the apprehension of logical-mathematicians knowledge, being assumed and demonstrating that to the reasoning logical-mathematician, organized in the form of puzzles, structured in a way thought oncologic. Thus, it shows the organization of new and versatile forms for the modeling, symbolization, analysis, exploration, conjecture and demonstration of the knowledge mathematician, in the playful-cognitive form of puzzles into the immersive digital universes, more recently assigned as metaverses. From then on, the research demonstrates the theoretician-pragmatic value of creation and organization of digital games that can serve to advancement human culture, in reference the promotion of the human subjectivity in the culture, as well as in the structuralization and equilibration of structures logical-cognitives in immersive experience through the adventure games and by means its puzzles. Thus, we indicate the value of use of the digital games (metaverses) as complementary structure for the development of critical abilities in the citizen in a process of continuous education, as well as in its aspects of widening of the mathematical understanding as logical as cultural, where from universalisation and generalization the experience into the puzzles in metaverses. We show the results of an experience with children in school age, which the use of the game model promoted an increment in his general cognitives abilities and change the form they see the world and solving problems that demand an attitude logical-mathematics. Students not only must use multimedia to learn, but they can also use it to communicate their understanding of the subject to those around them. Virtual reality has the potential to move education from its reliance on books to experiential learning in naturalistic settings. The research culminates with the proposal of a heuristic for the resolution of problems, which as children as adult chance over a new species of epistemologists that, from the experience in the digital games, argue in to think the forms of thinking , or rethink, look at problems in many different ways mathéma by the resolution of puzzles / A presente dissertação na perspectiva do desenvolvim V dentro das estruturas ontológicas presentes nos jogos digitais incide sobre uma modalidade específica de jogos digitais nos quais se fazem presentes, tanto estruturas narrativas, bem como o seu desenvolvimento estrutural na forma de puzzles lógicos, práticos e, relacionados com a idéia grega de mathéma. A metodologia utilizada combina os esforços conceituais presentes na filosofia do positivismo lógico, da fenomenologia hermenêutica, da lógica pragmática, da epistemologia genética, da etnomatemática e da teoria e prática dos jogos, mostrando que os puzzles presentes nos jogos digitais se constituem em estruturas cognitivas de alto valor para a promoção e produção do estruturas narrativas que culminam no desenrolar de uma história interativa. A pesquisa toma como exemplo modelar o game Myst, estabelecendo-o como referência histórico-conceitual que permite a integração de novas formas para incentivar e apoiar a apreensão de conhecimentos lógico-matemáticos, assumindo e demonstrando que o raciocínio lógico-matemático, organizado na forma de puzzles, se estrutura em um modo de ser ontológico do pensamento. Neste sentido mostra a organização de novas e versáteis formas para a modelagem, simbolização, análise, exploração, conjectura e demonstração do conhecimento, inclusive matemático, na forma lúdico-cognitiva dos puzzles no interior de universos digitais imersivos, mais recentemente designados como metaversos. A partir daí, a pesquisa demonstra o valor teórico-pragmático da criação e organização de jogos digitais que podem servir como promotores da cultur promoção da subjetividade humana na cultura, bem como na estruturação e equilibração das estruturas lógico-cognitivas dos sujeitos imersivos que realizam a aventura dos games por meio de seus puzzles. Com isso indicamos o valor da utilização dos jogos digitais (metaversos) como estrutura complementar para o desenvolvimento de habilidades críticas no sujeito humano em um processo de educação contínua, tanto em seus aspectos de alargamento da compreensão matemática como lógica e também cultural, a partir do pressuposto da universalização e generalização da experiência dos puzzles no interior dos metaversos. Neste sentido mostramos os resultados de uma experiência de campo com crianças em idade escolar na qual a utilização do jogo modelo promoveu um incremento em suas habilidades gerais cognitivas e uma mudança na forma de ver o mundo e colocar problemas que demandam uma atitude lógico-matemática. A pesquisa culmina com a proposta de uma heurística para a resolução de problemas, na qual tanto crianças como adultos se convertem em uma nova espécie de epistemólogos que, a partir da experiência nos jogos digitais, se defrontam com a tarefa continuada e falibilista de pensar as formas do pensar mathéma por meio da resolução dos puzzles

Made available in DSpace on 2014-06-11T19:24:54Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-08-12Bitstream added on 2014-06-13T20:52:49Z : No. of bitstreams: 1 gomes_rr_me_rcla.pdf: 970847 bytes, checksum: f1f63ef47745a8d3404205c27335f1b1 (MD5) / Neste trabalho apresentamos e analisamos o conceito fregiano de função, presente nos três livros de Frege: Begriffsschrift, Os Fundamentos da Aritmética e Leis Fundamentais da Aritmética. Discutimos ao longo dele o que Frege entendia por função e argumento, as modificações conceituais que tais noções sofreram no período de publicação de seus livros e a importância dessas noções para a sua filosofia. Para tanto, analisamos a linguagem artificial do primeiro livro, a definição de número do segundo, e os casos particulares de funções que são definidos no terceiro, bem como as considerações contidas em outros escritos do filósofo alemão. Verificamos uma caracterização puramente sintática de função em Begriffsschrift, uma distinção entre o sinal de uma função e aquilo que ele denota em Os Fundamentos da Aritmética, e a associação de dois elementos distintos a uma expressão funcional em Leis Fundamentais da Aritmética: o seu sentido e a sua referência. Finalmente, constatamos que a originalidade do sistema fregiano reside na possibilidade de considerar esse ou aquele termo de uma proposição como o argumento (ou os argumentos) de uma função. / In this work we present and analyze the fregean concept of function, present in the three books by Frege: Begriffsschrift, The Foundations of the Arithmetic and Fundamental Laws of the Arithmetic. We discuss what Frege understood by function and argument, the conceptual modifications that such notions suffered in the period of publication of those books and the importance of these notions for his philosophy. For so much, we analyze the artificial language of the first book, the definition of number in the second, and the particular cases of functions that are defined in the third, as well as the considerations contained in other works by the philosopher. We verify a purely syntactic characterization of function in Begriffsschrift, a distinction between the sign of a function and what it denotes in The Foundations of the Arithmetic, and the association of two different elements to a functional expression in Fundamental Laws of the Arithmetic: its sense and its reference. Finally, we verify that the originality of the Frege´s system is based on the possibility of considering one or other term of a proposition as the argument (or the arguments) of a function.

Made available in DSpace on 2014-06-11T19:24:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-10-14Bitstream added on 2014-06-13T18:52:59Z : No. of bitstreams: 1 dias_chbb_me_rcla.pdf: 692647 bytes, checksum: 869fdb9734d900054c9edcfce9ca37cc (MD5) / Universidade Estadual Paulista (UNESP) / Desde cedo entramos em contato com as implicações lógicas. O binômio verdadeiro-falso está sempre presente em nossas vidas e nós nos acostumamos a aceitar que as coisas ou são verdadeiras ou são falsas. Divertimo-nos quando alguém nos conta histórias interessantes envolvendo lógica e que terminam em contradições, tais como, por exemplo, a do barbeiro que pode e não pode barbear a si mesmo, ou como a do advogado que consegue ganhar ou perder a mesma causa. Apreciamos mais paradoxos sem nos apercebermos que por trás deles existe toda uma teoria matemática, a chamada lógica fuzzy. Essa dissertação tem por objetivo apresentar um resumo deste teoria, mostrando como ela trata a existência de tais paradoxos e dar detalhes sobre uma visão compacta dos conjuntos fuzzy, a saber, utilizando uma representação geométrica. A análise de alguns resultados sobre tais conjuntos usando esta representação leva a uma justificativa para o estudo da lógica fuzzy, a saber, a diferença entre fuzziness e probabilidade, incluindo uma demonstração de que fuzziness, de fato, existe / Early on we got in touch with the logical implications. The binomial true-false is always present in our lives and we have come to accept that things are either true or false. Have fun when somebody tells interesting stories involving logic and ending with contradictions, such as, for example, the barber who can and can not shave himself, or as the lawyer who can win or lose the same cause. Appreciate more paradoxes without realizing that behind them there is a whole mathematical theory, called fuzzy logic. This thesis aims to present a summary of this theory, showing how it treats the existence of such paradoxes and give details about a compact view of fuzzy sets, namely, using a geometrical representation. The analysis of some results on such sets using this representation leads to a justification for the study of fuzzy logic, namely the difference between fuzziness and probability, including a demonstration that fuzziness in fact, exists