Orientador: Luiz Gonzaga de Mello Belluzo / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Economia / Made available in DSpace on 2018-07-18T22:27:14Z (GMT). No. of bitstreams: 1 Schwartz_Gilson_D.pdf: 8907869 bytes, checksum: b226aaf78742aeac36754172d52e7d39 (MD5) Previous issue date: 1993 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Economia

Orientador: Jose Alexandre D. Guerzoni / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-19T17:18:10Z (GMT). No. of bitstreams: 1 Medeiros_MariadaPazNunesde_M.pdf: 11561835 bytes, checksum: 796aa2239da6be1c2ac924de8e4f3502 (MD5) Previous issue date: 1994 / Resumo: Em 1931. GOdel apresentou dois Teoremas de Incompletude que. indiscutivelmente. foram os resultados mais importantes da Lógica no início deste século. Pretende-se. neste trabalho. apresentar uma demonstração detalhada do primeiro teorema, na qual. Essa todas as fórmulas envol vidas sejam explicitadas. demonstração baseia-se na idéi a de auto-referência. Considera-se simultaneamente uma teoria (Teoria formal C Ar i tméti ca de Peano) e uma Intuitiva dos Números) para mostrar, via godelização. que as propriedades e operações de cunho sintático-morfol6gico da teoria formal são representáveis nela própria. Garantida essa representação através de um Teor ema de Completude Parcial. demonstra-se o primeiro teorema a partir do Lema da Diagonal, para em seguida apresentar a demonstração usual do segundo. que pressupõe a formalização de certas condições de derivabilidade / Abstract: Not informed. / Mestrado / Mestre em Filosofia

A queda do interesse por parte de novos universitários, para cursos de ciência da computação em várias universidades do mundo [55, 68], é um sinal para começarmos a pensar se um dos motivos dessa queda tem relação com a forma pela qual o ensino de computação está sendo conduzido. Nessa linha, perguntamos se existem maneiras de tornar o ensino de computação mais interativo e motivante para os alunos da nova geração, os quais cresceram no meio de uma das categorias mais complexas de software existentes hoje: os jogos de computador [10]. Esses softwares ficam cada vez mais interativos, complexos e ricos em detalhe com o passar do tempo. Conforme será exposto, por meio do estudo de algumas iniciativas de pesquisadores nesse sentido, o ensino de ciência da computação pode se tornar mais interessante e rico com a utilização de jogos de computador como recurso didático, para capturar a atenção dessa nova geração de estudantes. Com base nesse resultado, vamos focar nossa contribuição no ensino de lógica em cadeiras de Inteligência Artificial (IA), uma área de concentração da Ciência da Computação. Apresentamos uma ferramenta que chamamos de Odin, para construir e visualizar especificações executáveis de IA, por meio da linguagem PROLOG, em ambientes tridimensionais de jogos de computador. Entendemos que essa ferramenta pode ser utilizada como um recurso didático em cursos de lógica para alunos em nível de graduação. Como principal benefício, o aluno tem a possibilidade de explorar, observar e interagir com os resultados de seu trabalho. Essa possibilidade de visualização é o que parece reter a atenção do aluno, de acordo com pesquisadores na área. Disponibilizamos dois cenários de uso: O labirinto e o Mundo de Wumpus, dois cenários que juntos podem ser utilizados para cobrir uma boa parte da carga didática de um curso de lógica para graduação. Outros cenários podem ser desenvolvidos posteriormente por meio de extensão do framework composto por classes C++. A ferramenta foi utilizada em duas cadeiras de inteligência artificial no Instituto de Matemática e Estatística, da Universidade de são Paulo. Consideramos que a recepção da ferramenta por parte dos alunos foi positiva. / The interest in Computer Science related courses is dropping considerably as reported by various universities around the world. Among the factors that are causing this scenario to take place, one could certainly be the way Computer Science courses are being taught. With that in mind, we have asked if there are ways to teach Computer Science in a more engaging and interactive manner, so as to appeal to the new generation of students that grew in constant touch with one of the most complex and sophisticated categories of existing software, the interactive 3D computer games. This category of software is growing more intricate, complex and rich in detail day by day. And students seem to love it. The literature review presented in the course of this work will show that the use of computer games in teaching, especially in computer science courses, can be an effective way of providing an engaging, interactive and visually rich learning environment for students of the new generation. With this basis, our key contributions focus on the teaching of logic in Artificial Intelligence(AI) related courses, an important area within the Computer Science Curriculum. We propose a tool called Odin, for building executable specifications of AI, using the PROLOG language, in the form of interactive 3D computer games. We understand that this tool can be used as a didactic resource for undergraduate logic courses. The main benefit is that it enables the student to explore, observe and interact with the result of his own designs, which is what seems to capture the students attention, according to researchers in the field. We provide two scenarios: the labyrinth problem and the Wumpus World problem. Scenarios that combined can cover a large part of an undergraduate logic course Syllabus. The tool is extensible so that more scenarios can be added, by extending the framework composed of C++ classes. The tool was used in two graduate AI courses, in the Statistic and Mathematics Institute of the University of S~ao Paulo. We consider that the reception of the tool by the students was positive.

A reutilização de conhecimento é uma tarefa chave para qualquer sistema computacional. Entretanto, o reúso indiscriminado desse conhecimento pode gerar resultados conflitantes com o objetivo de uso do conhecimento, levando sistemas a se comportarem de maneira imprevisível. Neste trabalho estudamos as consequências do reúso de conhecimento em ontologias baseadas em lógicas de descrição. Focamos principalmente nos problemas que podem ser causados pela fusão de ontologias. Investigamos e comparamos a capacidade das ferramentas de desenvolvimento de ontologias atuais de lidarem com esses problemas e como a teoria se desenvolveu para resolver os mesmos problemas. Realizamos a construção de um arcabouço lógico e de software, organizado na forma de um processo, que tem como objetivo auxiliar o projetista de ontologias a resolver conflitos advindos da fusão. O processo agrupa tarefas descritas normalmente na literatura em separado. Acreditamos que a união dessas abordagens leva a uma melhor solução de conflitos. Durante o desenvolvimento deste trabalho, concentramos nossos esforços principalmente no desenvolvimento de algoritmos para a construção de sub-ontologias maximais, onde os conflitos não ocorram, bem como a ordenação desses conjuntos segundo critérios comuns discutidos na literatura. Tais estratégias foram implementadas em software e testadas utilizando dados gerados automaticamente e dados reais. / Knowledge reuse is a key task during any system development. Nevertheless, careless knowledge reuse may generate conflicting outcomes regarding the system goal, leading such systems to unpredictable behaviour. With that in mind, during this research we studied the consequences of knowledge reuse in ontologies based on description logics. We focused mainly on conflicts arising from ontology merging. We investigated and compared the features developed for this purpose on ontology development tools and how the theory field proposed to deal with the same issues. We developed both a logical and a software framework grouped into a process that aims to help the ontology designer solve conflicts arising from ontology merging. The process groups common tasks that are normally described separately. We believe that the unification of these approaches should result in a better solution for the merging conflicts. We concentrated our efforts during this work on building algorithms for building maximal sub-ontologies where such conflicts are non-existent as well as means for ordering such sets according to a few relevance criteria commonly described at the literature. Such algorithms were implemented and tested against automatically generated and real data.

Orientador: Marcelo Carvalho Minhoto Teixeira / Banca: Evaldo Assunção / Banca: Rodrigo Cardim / Banca: Cristiano Quevedo Andrea / Banca: Ruy de Oliveira / Resumo: O presente trabalho propõe duas novas metodologias de desenvolvimento: uma na área de medicina, no diagnóstico de hérnia inguinal utilizando a lógica fuzzy e outra, na área da agronomia, para estimação da produção de trigo utilizando o modelo de inferência adaptativo neuro fuzzy. Na primeira foi desenvolvido um aplicativo para dispositivos móveis, smartphones e tablets, auxiliando a tomada de decisão no diagnóstico de pacientes com suspeita de hérnia na região inguinal. Para isso, utilizou-se a linguagem JAVA juntamente com a biblioteca lógica fuzzy, denominada jfuzzylogic, e o sistema operacional Android para o desenvolvimento da aplicação. Para validar o aplicativo, utilizou-se a coleta de dados, via questionário, envolvendo 30 pacientes entrevistados em consulta médica. Como resultado, observou-se que o diagnóstico realizado pela equipe médica e o diagnóstico com o auxílio do aplicativo móvel, mostraram-se equivalentes nos casos dos pacientes acometidos com hérnia da região inguinal. Este software será disponibilizado gratuitamente, via web, para os profissionais da área da saúde. Já na segunda, investigou-se a habilidade de se desenvolver um modelo de inferência adaptativo neuro fuzzy para estimação da produtividade de trigo (Triticum aestivum) em função da adubação nitrogenada, com base em dados experimentais de cultivares de trigo, avaliada durante dois anos, em Selvíria-MS. Através dos dados de entrada e saída, o sistema de inferência neuro fuzzy adaptativo apreende e posteriormente pode estimar um novo valor de produção de trigo baseada em doses diferenciadas de nitrogênio. Os resultados mostraram que o sistema neuro fuzzy é viável para desenvolver um modelo de predição para estimar a produtividade de trigo em função da dose de nitrogênio. A produção estimada através do sitema neuro fuzzy proporcionou um erro RMSE (Raiz Quadrada do Erro Médio ... / Abstract: This work proposes two new application methods: one in the area of biomedical engineering in the diagnosis of inguinal hernias using fuzzy logic and another in the area of agriculture to estimate the wheat productivity using an adaptive neuro fuzzy inference system. The first was an application developed for mobile devices, smartphones and tablets, to assist decision making in the diagnosis of patients with suspected inguinal hernia. It was used the Java language together with the fuzzy logic library, denominated jfuzzylogic and the Android operating system for the application development. To validate the application it was used data obtained via questionnaire, involving 30 patients interviewed in medical consultation. As a result, it was observed that the diagnosis made by the medical team and diagnosis with the aid of the mobile application, were equivalent in cases of affected patients with hernia in the inguinal region. This software is available free of charge via the web, for professionals in the health field. In the second application method, it was investigated the ability to develop an adaptive neuro fuzzy inference system for estimating the productivity of wheat (Triticum aestivum) in relation to the nitrogen fertilization, based on experimental data of wheat cultivars during two years, in Selvíria-MS. Through the data input and output, the system of adaptive neuro fuzzy inference learns and subsequently can estimate a new value of wheat production based on different doses of nitrogen. The results showed that the neuro fuzzy system is feasible to develop a prediction model to estimate the productivity of wheat in relation to nitrogen rates. The RMSE (Root Mean Square Error) error of the estimated wheat productivity using the neuro fuzzy system was smaller than that obtained with the quadratic regression method, that is usually used in this kind of estimated, and also the relation between ... / Doutor

Orientador: Hércules de Araújo Feitosa / Banca: Marcelo Reicher Soares / Banca: Ana Cláudia de Jesus Golzio / Resumo: O professor Newton C. A. da Costa, notável lógico brasileiro, e colaboradores introduziram a noção de quase-verdade no contexto das ciências empíricas, onde há incompletude do conhecimento. Tal abordagem é considerada uma generalização para contextos parciais da proposta de formalização da verdade introduzida por Alfred Tarski. Inspirado nessa noção de quase-verdade, Silvestrini (2011) introduziu uma de nição de quase-verdade através da satisfação pragmática e, no mesmo trabalho apresentou, num sistema axiomático, uma lógica paraconsistente e trivalente, subjacente a essa noção, a qual denominou por Lógica da Verdade Pragmática (LPT- Logic of Pragmatic Truth ). Posteriormente, Feitosa e Silvestrini (2016) apresentaram algumas alterações no conjunto de axiomas de LPT e deram uma demonstração de adequação segundo a semântica matricial da lógica da verdade pragmática. Hoje, sistemas dedutivos alternativos ao axiomático têm sido de grande interesse para a área da teoria da prova e computabilidade, pois esses, em sua maioria, são métodos mais intuitivos. Alguns são caracterizados como algorítmicos, o que possibilita uma fácil implementação do método em computadores. Dentre esses sistemas de provas, destacamos o método dedutivo dos tableaux analíticos, que foi introduzido de uma forma bastante elegante por Smullyan (1968). Neste trabalho, introduzimos um sistema de tableaux analíticos para a Lógica da Verdade Pragmática e veri camos que todos os resultados dedutivos do sistema axio... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Professor Newton C. A. da Costa, notable Brazilian logician, and collaborators introduced the notion of quasi-truth in the context of the empirical sciences, where there is incompleteness of knowledge. Such an approach is considered a generalization of Tarski's proposal for partial contexts. Inspired by this notion of quasi-truth, Silvestrini (2011) introduced a de nition of quasi-truth through pragmatic satisfaction and, in the same work, presented, in an axiomatic system, a paraconsistent and trivalent logic, underlying this notion, which he called 'Logic of Pragmatic Truth (LPT)'. Later, Feitosa and Silvestrini (2016) presented some changes in the set of axioms of LPT and gave a proof of adequacy according to the trivalent matrix semantics of LPT. Nowadays, alternative axiomatic deductive systems have been of great interest to proof theory and computability, because these are in general intuitive methods. Some of them are characterized as algorithmic, which allows an easy implementation in computers. Among these systems of proof, we highlight the deductive method of analytic tableaux, which was introduced in an elegant way by Smullyan (1968). In this work, we introduce an analytic tableau system for the Logic of Pragmatic Truth and we verify that the results we can develop in the axiomatic system of the LPT coincide with the deductions in this analytic system of tableaux. / Mestre

La presente investigación busca proveer nuevos elementos de análisis para discutir la idoneidad del constructo de representatividad como variable explicativa de la falacia de la conjunción. Sendos estudios se llevaron a cabo en dos grupos de 33 y 92 estudiantes preuniversitarios de entre 16 y 21 años. El primer estudio, de carácter exploratorio y cualitativo, analiza las respuestas a una variante de la tarea original utilizada por Kahneman y Tversky (1983). Los objetivos de este estudio eran determinar la tasa de falacias en una población local e identificar patrones de razonamiento en las respuestas de los participantes frente a una tarea similar a la propuesta por Kahneman y Tversky. El segundo estudio, de naturaleza más cuantitativa, buscaba determinar el efecto sobre la tasa de falacias de las variables “contexto” y “formato”. La primera está relacionada con la presencia o no de un enunciado previo al cuestionario; la segunda, corresponde al número de preguntas que se presentaba a continuación de cada situación. Los resultados indican que aun cuando la tasa de falacias en la muestra es similar a la hallada por Kahneman y Tversky, ninguno de los participantes hizo uso de un razonamiento formal identificándose seis patrones de razonamiento no excluyentes entre sí. Asimismo, ni la ausencia de enunciado ni el aumento en el número de preguntas provocó una disminución significativa de la tasa de falacias. Los resultados dan cuenta de la importancia de emplear un enfoque cualitativo en el estudio de este tema y de la existencia de otros factores que explican la falacia de la conjunción tales como la dificultad de la activación de esquemas extensionales o las concepciones erróneas sobre el tratamiento de las probabilidades. / This research aims to provide new elements of analysis to discuss the suitability of the construct of representativeness as an explanatory variable of the conjunction fallacy. Two separate studies were conducted in two groups of 33 and 92 pre-college students aged 16 to 21 years. The first study, exploratory and qualitative, analyzes responses to a variant of the original task used by Kahneman and Tversky (1983). The objectives of this study were to determine the rate of fallacies in a local population and identify patterns of reasoning in the answers of the participants facing a task similar to that proposed by Kahneman and Tversky. The second study, more quantitative nature, sought to determine the effect on the rate of fallacies of variables "context" and "format". The first is related to the presence or absence of a statement prior to the questionnaire; the second is the number of questions that are presented below for each situation. The results indicate that although the rate of fallacies in the sample is similar to that found by Kahneman and Tversky, none of the participants made use of formal reasoning and identified six patterns of reasoning are not mutually exclusive. Likewise, neither stated nor the absence of the increase in the number of questions caused a significant decrease in the rate distortion. The results show the importance of using a qualitative approach in the study of this topic and the existence of other factors that explain the fallacy of conjunction such as the difficulty of extensional schema activation or misconceptions about the treatment of probabilities.

En el estudio de las álgebras relacionadas a las lógicas no-clásicas, los semirretículos (distributivos) están siempre presentes. Por ejemplo, la semántica algebraica del fragmento{ --;^; T} de la lógica intuicionista modal es la variedad de los semirretículos implicativos, que son una clase especial de semirretículos distributivos. En esta tesis, introducimos y estudiamos la clase de semirretículos distributivos acotados dotados de operadores modales que cumplen con la condición de monotonía. Estudiamos una teoría de representación para estas álgebras usando las extensiones canónicas y desarrollamos una dualidad completa a través de espacios sober. Dichos resultados son aplicables, bajo modificaciones menores, al estudio de los retículos distributivos acotados, los semirretículos implicativos, las álgebras de Heyting y a las álgebras de Boole con operadores monótonos. Mostraremos cómo nuestra dualidad se extiende a algunos casos particulares. En el caso de las álgebras de Boole, nuestra dualidad incluye, como casos particulares, las dadas en [12] y [31]. Las lógicas modales monótonas han surgido en distintas áreas de aplicación, como por ejemplo, asociadas a ciertas sem anticas utilizadas en computación teórica e inteligencia artificial. Usando la dualidad desarrollada, estudiaremos algunas extensiones obtenidas a partir de un sistema deductivo basado en semirretículos con operadores modales monótonos. A estos sistemas deductivos los dotaremos de una semántica de entornos, y nuestro objetivo principal es probar la completitud de estas extensiones con respecto a una clase característica de marcos monótonos. La variedad de las álgebras de Boole con operadores modales monótonos es dualmente equivalente a dos clases de marcos monótonos generales descriptivos. Clarificaremos este fenómeno mostrando que existe una correspondencia biyectiva entre estas dos clases. Hablaremos sobre algunas clases de marcos de entornos monótonos generales, tales como las clases de punto compacto, imagen compacto y marcos monótonos generales repletos, y estudiaremos las relaciones entre ellos. También probaremos que las nociones de marco monótono punto compacto, e imagen compacto se preservan bajo morfismos acotados fuertes. / In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the { --;^; T}fragment of intuitionistic logic is the variety of implicative meetsemilattices, which are distributive semilattices. In this thesis we introduce and study the class of distributive meet-semilattices endowed with monotonic modal operators. We study the representation theory of these algebras using the theory of canonical extensions and we give a topological duality (Stone style) for them. Also, we show how our new duality extends to some particular subclasses. So, most of the results given in this paper are applicable, with minor modi cations, to the study of bounded distributive lattices, implicative semilattices, Heyting algebras, and Boolean algebras with monotonic operators. We note that in the particular case of Boolean algebras our duality yields the duality given in [12] and [31]. Monotone modal logics have emerged in several application areas such as computer science and social choice theory. Using the developed duality, we study some extensions obtained from a semilattice based deductive system with monotonic modal operators. We give neighborhood semantics, and our main objective is to prove completeness with respect to a characteristic classes of monotonic frames. The variety of Boolean algebras with monotonic modal operators is dually equivalent to two classes of descriptive general monotonic frames. We shall clarify this phenomenon showing that there exists a bijective correspondence between these two classes. We shall discuss some classes of general monotonic neighborhood frames, such as the classes of point-compact, image compact and replete general m-frames, and we shall study the relationships between them. We shall also prove that the notions of point-compact, and image-compact monotonic frames are preserved by strong bounded morphisms.

Orientador: Irineu Bicudo / Banca: Antônio Marmo de Oliveira / Banca: Idania Blanca Peña Grass / Banca: Antonio Vicente Marafioti Garnica / Banca: Renata Cristina Geromel Meneghetti / Resumo: 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. / Abstract: 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. / Doutor

O presente trabalho tem duplo objetivo, prático e teórico. Em termos práticos, busca sistematizar as discussões sobre a responsabilização dos militares e do Estado por acontecimentos do regime militar, bem como sobre a busca da verdade e a preservação da memória. Destacam-se nas discussões os acontecimentos da Guerrilha do Araguaia. Em termos teóricos, tem a intenção de apresentar uma exposição compreensiva da Teoria da Argumentação, tentando adaptá-la, na medida do possível, às necessidades da Argumentação Jurídica. Para cumprir esse duplo objetivo, o trabalho aplica a Teoria da Argumentação às discussões sobre o regime militar almejando benefícios para a teoria e para a prática. Desse modo, o trabalho inicia apresentando os principais conceitos e ferramentas da Teoria da Argumentação. Em seguida, realiza algumas adaptações das ferramentas para que sejam utilizadas na argumentação jurídica. Por fim, utilizando os conceitos e ferramentas expostos e adaptados, apresenta o Mapa Argumentativo dos debates sobre o regime militar, com destaque para as discussões sobre a possibilidade de responsabilizar criminalmente os militares por torturas, execuções e desaparecimentos forçados. São levados em consideração especialmente os aspectos fáticos do caso da Guerrilha do Araguaia e argumentos levantados pelo STF no julgamento da ADPF 153 e pela Corte Interamericana de Direitos Humanos no Caso Gomes Lund (Guerrilha do Araguaia) v. Brasil. A dissertação conclui que os militares não foram beneficiados pela Lei de Anistia e aponta para a continuidade dos debates tanto sobre o aspecto criminal quanto outros problemas identificados no Mapa. Na parte teórica, chama-se atenção para a necessidade de continuar o estudo da Teoria da Argumentação e de adaptá-la às necessidades da Argumentação Jurídica. / This dissertation has two objectives: a practical and a theoretical one. The practical objective is to organize discussions concerning the responsibility of the State and the Military due to events occurred in the Brazilian Military Government, as well as discussions about the search for the historical truth and preservation of its memory. Special attention is draw upon the Araguaias Guerilla. Theoretically, the work intends to present the main aspects of Argumentation Theory trying to adapt it - as long as possible - to be used in Legal Argumentation. To fulfill this double objective, one applies Argumentation Theory to the Military Government events discussions aiming for benefits both for theory and practice. Hence, it begins presenting the essential concepts and tools of Argumentation Theory. It follows with the tools adaptations to Legal Argumentation. Finally, the Argumentation Map of the discussions is presented. The problem whether the most severe crimes of the military personnel (tortures and executions for instance) were amnestied is dealt with in greater detail. The events of Araguaias Guerrilla, the arguments of Brazilian Supreme Court in ADPF 153 and the arguments of the Inter-American Court of Human Rights in Gomes Lund v Brazil Case are all given special attention. The dissertation concludes that the military (States agents) were not amnestied. It also points out the next steps in the discussions. As for the theoretical concerns, the conclusion draws attention to the importance of studying and developing Argumentation Theory in connection with Legal Argumentation.