Spelling suggestions: "subject:"raciocínio"" "subject:"raciocínios""
61 |
Modelo sistêmico baseado na tecnologia de agentes para diagnóstico de equipamentos através de processamento digital de sinaisSilva, Antônio Carlos Tamanini da January 2004 (has links)
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.
|
62 |
Plataforma híbrida Fuzzy-Multicritério-RBC para o apoio à análise de políticasRoyes, Gleiber Fernandes January 2003 (has links)
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.
|
63 |
O componente espacial da habilidade matematica de alunos do ensino medio e as relações com o desempenho escolar e as atitudes em relação a matematica e a geometriaViana, Odalea Aparecida 08 August 2005 (has links)
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
|
64 |
[pt] APOIO À TRANSFERÊNCIA DE CONHECIMENTO DE RACIOCÍNIO COMPUTACIONAL DE LINGUAGENS DE PROGRAMAÇÃO VISUAIS PARA LINGUAGENS DE PROGRAMAÇÃO TEXTUAIS / [en] SUPPORT FOR COMPUTATIONAL THINKING KNOWLEDGE TRANSFER FROM VISUAL PROGRAMMING LANGUAGES TO TEXTUAL PROGRAMMING LANGUAGESJOAO ANTONIO DUTRA MARCONDES BASTOS 28 January 2016 (has links)
[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.
|
65 |
[en] COMPLIANCE REASONING ON LEGAL NORMS: A LOGIC-BASED APPROACH / [pt] RACIOCÍNIO DE COMPLIANCE SOBRE NORMAS LEGAIS: UMA ABORDAGEM BASEADA EM LÓGICAFERNANDO ANTONIO DANTAS GOMES PINTO 02 July 2024 (has links)
[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.
|
66 |
[en] INVESTIGATING THE CASE-BASED REASONING PROCESS DURING EARLY HCI DESIGN / [pt] INVESTIGANDO O PROCESSO DE RACIOCÍNIO BASEADO EM CASOS DURANTE O INÍCIO DO DESIGN DE IHCJOSE ANTONIO GONCALVES MOTTA 05 November 2014 (has links)
[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.
|
67 |
As concepções dos professores de Matemática sobre o uso da modelagem no desenvolvimento do raciocínio combinatório no Ensino FundamentalCosta, Claudinei Aparecido da 13 October 2003 (has links)
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
|
68 |
[en] CAUSAL REASONING AND INDUCTION IN DAVID HUME / [pt] RACIOCÍNIO CAUSAL E INFERÊNCIA INDUTIVA NO PENSAMENTO DE DAVID HUMECARLOS JACINTO NASCIMENTO MOTTA 25 November 2005 (has links)
[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.
|
69 |
[pt] RUÍDO TOTAL: ANALOGIA E INTERPRETAÇÃO EXTENSIVA / [en] TOTAL NOISE: ANALOGY AND EXTENSIVA INTERPRETATIONGUILHERME MADEIRA MARTINS 15 September 2021 (has links)
[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.
|
70 |
[pt] A LÓGICA SOBRE LEIS IALC: IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA / [en] THE LOGIC ON LAWS IALC: IMPLEMENTATION OF SOUNDNESS AND COMPLETENESS PROOFS AND A PROPOSAL FOR FORM- ALIZATION OF BRAZILIAN LAWBERNARDO PINTO DE ALKMIM 19 March 2020 (has links)
[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.
|
Page generated in 0.0335 seconds