Submitted by Erika Demachki (erikademachki@gmail.com) on 2014-10-13T19:12:35Z No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2014-10-13T20:49:48Z (GMT) No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-10-13T20:49:48Z (GMT). No. of bitstreams: 2 Dissertação - Bruno Rigonato Mundim - 2013.pdf: 1303876 bytes, checksum: 4f1bada6e1186d920d0d0bfcd28d47f1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-09-02 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / By means of the Curry-Howard Correspondence Martin-Löf’s intuitionistic type theory claims that to define a proposition by laying down how its canonical proofs are formed is the same as to define a set by laying down how its canonical elements are formed; consequently a proposition can be seen as the set of its proofs. On the other hand, we find in this very same theory a distinction between the notions of set and of type, such that the difference of the latter in relation to the former consists in the fact that to form a type we do not need to present an exhaustive prescription for the formation of its objects; it is sufficient to just have a general notion of what would be an arbitrary object that inhabits such type. Thus we argue that we can extract two distinct notions of propositon from the intuitionistic type theory, one which treats propositions as types and another which treats propositions as sets. Such distinction will have some bearing on discussions concerning hypothetical demonstrations and conjecture’s formation. / A teoria intuicionista de tipos, de Martin-Löf, alega, à luz da correspondência Curry- Howard, que definir uma proposição por meio do estabelecimento de como as suas provas canônicas são formadas é o mesmo que definir um conjunto por meio do estabelecimento de como os seus elementos canônicos são formados, fazendo com que uma proposição possa ser vista como o conjunto de suas provas. Por outro lado, encontramos nessa mesma teoria uma distinção entre as noções de conjunto e tipo, sendo que a diferença deste em relação àquele consiste no fato de que para se formar um tipo não é preciso apresentar uma prescrição exaustiva da formação de seus objetos, basta se ter uma noção geral do que seria um objeto arbitrário que o habita. Tendo isso em conta, argumentamos que podemos extrair da teoria intuicionista de tipos duas concepções de proposição distintas, uma que considera proposições como tipos e outra que considera proposições como conjuntos. Tal distinção implicará em algumas considerações envolvendo questões sobre demonstrações hipotéticas e a formação de conjecturas.

[pt] A história recente da Lógica Matemática foi marcada por alguns conflitos entre diferentes correntes filosóficas, cada uma buscando contextualizar a atividade matemática a partir de seu próprio prisma analítico e, por meio disso, tentando conquistar para si mesma o pódio fundacional das Ciências Formais Tais discussões, perenes o bastante para ainda quedarem sem solução, foram fortemente impactadas pela apropriação semântica de alguns resultados técnicos obtidos no campo da teoria da prova, o que redefiniu a relação existente entre as abordagens clássica e intuicionista na matemática. Neste contexto, a presente dissertação tem por finalidade realizar uma descrição da emergente literatura de propostas integrativas entre diferentes sistemas lógicos e matemáticos (apelidadas por Dag Prawitz de ecumenismo lógico), além de investigar alguns impactos que mudanças formais poderiam ocasionar nas concepções filosóficas de algumas teorias matemáticas. No capítulo introdutório, traçamos um panorama geral desta nova proposta ecumênica e analisamos com mais atenção o conflito entre as lógicas Clássica, Intuicionista e Minimal, considerado por muitos como um dos mais influentes na literatura contemporânea. No segundo capítulo, este trabalho fornece uma contribuição original para a literatura ao criar uma nova abordagem ecumênica, além de provar algumas equivalências no interior do sistema Clássico-Intuicionista recentemente criado por Prawitz e compará-lo com uma lógica que criamos usando esta nova abordagem. No terceiro capítulo, contribuímos tanto com a abordagem tradicional quanto com nossa abordagem original ao criar e comparar dua lógicas ecumênicas Minimal-Intuicionistas. Por fim, realizamos uma breve revisão do tímido estado da arte no último capítulo, oferecendo um novo esquema conceitual de interpretação dos sistemas ecumênicos e comentando alguns aspectos promissores do campo, que poderão vir a ser melhor trabalhados no futuro. / [en] The recent history of Mathematical Logic was marked by some conficts between different philosophical positions, each trying to contextualize mathematical activity from its own analytical viewpoint and, with this, trying to conquer the foundational podium of the formal sciences for itself. Such discussions, lasting enough to remain without a solution, were strongly impacted by the semantical appropriation of some technical results obtained in the field of proof theory, which redefined the relation between the classical and intuitionistic approaches to mathematics. In this context, the present dissertation aims to describe the emergent literature about the integration of different logical and mathematical systems (nicknamed logical ecumenism by Dag Prawitz), in addition to investigating some impacts that those formal changes could have on the philosophical conceptions of some mathematical theories. In the introductory chapter, we have outlined a general overview of this new ecumenical proposal and analysed in greater depht the conflicts between Classical, Intuitionistic and Minimal logic, considered by many as one of the most influent on the contemporary literature. In the second chapter, this work provides an original contribution to the literature by creating a new ecumenical approach, in addition to proving some equivalencies within Prawitz s recently created Classical-Intuitionist system, and compares it with the logical system we have created using this new approach. In the third chapter, we contribute both to the traditional approach and our original approach by creating and comparing two Minimal-Intuitionist ecumenical logics. Finally, we briefly review the timid state of the art in the last chapter, offering a new conceptual framework for interpreting ecumenical systems, as well as commenting on some promising aspects of the field, which may be better analyzed in the future.

Vít Punčochář Dissertation: Hypothetical Judgements, Truth and Assertibility Abstract: The main topic of this thesis is the logic of indicative conditionals, i.e. sentences of the form If A then B. In classical logic, these sentences are analysed with the help of the so- called material implication. However, the analysis is problematic in many respects. Some chapters of the thesis are devoted to the explanation of the problems, which one necessarily faces when analysing conditionals with the apparatus of standard classical logic. The stress is laid upon the fact that here we are led to a paradoxical situation: some general principles of classical logic (e.g. the principle according to which one can infer If not-A then B from A or B) seem to be unquestionable, but they have very controversial consequences. In the thesis, attempts are presented to defend classical logic as well as to revise it. The approaches to the logical analysis of conditionals are classified into two basic kinds: the first one might be called ontic and the second one epistemic. The ontic approach defines all crucial semantic notions in terms of the concept of truth that is modelled in logic as a relation between sentences of a given language and states of affairs. In contrast, the epistemic approach is not based on the concept of truth...

Submitted by Aline Batista (alinehb.ufpel@gmail.com) on 2017-05-05T17:33:32Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Diferença Fuzzi intuicionista - robustez, dualidade e conjugação.pdf: 1119948 bytes, checksum: b732f8ac3cf0e1c348e50484c7cc1a05 (MD5) / Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2017-05-05T22:17:27Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Diferença Fuzzi intuicionista - robustez, dualidade e conjugação.pdf: 1119948 bytes, checksum: b732f8ac3cf0e1c348e50484c7cc1a05 (MD5) / Made available in DSpace on 2017-05-05T22:17:38Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Diferença Fuzzi intuicionista - robustez, dualidade e conjugação.pdf: 1119948 bytes, checksum: b732f8ac3cf0e1c348e50484c7cc1a05 (MD5) Previous issue date: 2016-08-22 / Sem bolsa / Esta dissertação foca, sobretudo, nos conceitos fundamentais relativos ao estudo da robustez, dualidade e conjugação na Lógica Fuzzy (FL) e sua extensão intuicionista proposta por Atanassov (A-IFL). A metodologia de avaliação da sensibilidade ponto-a-ponto é aplicada a conectivos fuzzy e conectivos fuzzy intuicionistas, considerando a ação de negações fortes e automorfismos. O objetivo principal neste trabalho consiste na avaliação da robustez de operadores de diferença, representáveis por composição de negações e agregações da LF e da A-IFL. O operador de diferença tem aplicação direta em conceitos da FL e da A-IFL, quando do uso de conceitos de distância, medidas de similaridade e entropia. O trabalho colabora com a investigação da robustez na construção dual da classe de operadores de diferença em LF e A-IFL, incluindo possíveis construções conjugadas obtidas por automorfismos representáveis. / This dissertation focuses mainly on fundamental concepts relating to the study of robustness, duality and in conjunction Fuzzy Logic (FL) and its intuitionistic extension proposed by Atanassov (A-IFL). The methodology for assessing the sensitivity point-to-point is applied to fuzzy connectives and fuzzy connective intuitionists considering the action of strong denials and automorphisms. The main objective of this study is to assess the robustness of di?erence operators, representable by composition of denials and aggregations of LF and A-IFL. The di?erence operator has direct application of the concepts and the FL-IFL, when using distance concepts of similarity and entropy measures. The research work cooperates with the robustness of the dual construction di?erence operator class LF and A-IFL, including possible constructions conjugate obtained by automorphisms representable.

A novel fuzzy system named as 2-way fuzzy system is developed by combining the intuitionistic fuzzy set theory with the fuzzy systems theory. The developed system is used in modelling and minimizing uncertainty and inconsistency. Uncertainty is the width of the interval introduced by the independent assignment of membership and nonmembership functions of the intuitionistic fuzzy sets / and inconsistency is the violation of the consistency inequality in this assignment. The uncertainty and inconsistency is reduced through a 2 phase training. An evaluation of the degree of reduction of inconsistency is carried out at the end of the rst phase of training by forming the shadowed set patterns of the membership and nonmembership functions. The system is further trained for a second phase in order to reduce uncertainty. There are three dierent methods developed for the stability analysis of fuzzy systems. The rst method is based on the approximating sequences technique, and the design turns into an optimal control problem. In the sec ond analysis, describing function of a 2-way fuzzy system is evaluated analytically, and a systematic design approach is developed using describing function technique. The last analysis technique employs the Lie algebra theory in the stability analysis of Takagi-Sugeno fuzzy systems. The theoretical results are simulated on an application system, which is a exible-joint robot arm system.

Le thème central de la présente thèse est le contenu sémantique des quantificateurs logiques. Dans leur forme la plus simple, les quantificateurs permettent d’établir l’existence, ou la non-existence, d’individus répondant à une propriété. En tant que tels, ils incarnent la richesse et la complexité de la logique du premier ordre, par delà la logique propositionnelle. Nous contribuons à l’analyse sémantique des quantificateurs, du point de vue de la théorie de la dualité, dans trois domaines différents des mathématiques et de l’informatique théorique. D’une part, dans la théorie des langages formels à travers la logique sur les mots. D’autre part, dans la logique intuitionniste propositionnelle et dans l’étude de l’interpolation uniforme. Enfin, dans la topologie catégorique et dans la sémantique catégorique de la logique du premier ordre. / The unifying theme of the thesis is the semantic meaning of logical quantifiers. In their basic form quantifiers allow to state theexistence, or non-existence, of individuals satisfying a property. As such, they encode the richness and the complexity of predicate logic, as opposed to propositional logic. We contribute to the semantic understanding of quantifiers, from the viewpoint of duality theory, in three different areas of mathematics and theoretical computer science. First, in formal language theory through the syntactic approach provided by logic on words. Second, in intuitionistic propositional logic and in the study of uniform interpolation. Third, in categorical topology and categorical semantics for predicate logic.

No description available.

[pt] A lógica descritiva intuicionista iALC foi criada para modelar e raciocinar sobre o domínio de Leis baseada na Jurisprudência Kelseniana [1]. No decorrer da década anterior, essa lógica foi usada de diversas maneiras para modelar normas ou formalizar raciocínio jurídico [2, 3, 4, 5, 6, 7, 8, 9, 10]. Neste trabalho pretendemos complementar trabalhos anteriores ralizados com essa lógica ao preencher algumas lacunas encontradas enquanto trabalhando com ela. A primeira lacuna ocorre por iALC não ter um modo intuitivo de explicar raciocínio nela realizado para pessoas fora do domínio da Lógica. Ela tem um Cálculo de Sequentes (CS) [6] correto e completo (com respeito a modelos conceituais intuitionistas [3]) que tem sido menos usado que o desejado, e isso se dá em grande parte devido à maneira pouco intuitiva com que CS representa provas. Apresentamos um sistema de Dedução Natural (DN) correto e completo e com (quasi-)normalização para compensar por essa dificuldade em explicar CS para não-lógicos, especialmente os do domínio legal, essenciais para nossa pesquisa. Normalização completa não é possível devido a um tipo de derivação - tirando essa exceção, o resto do sistema gera derivações uniformes. A segunda lacuna envolve não poder lidar com raciocínio não-monotônico (RNM). Em geral, utiliza-se raciocínio monotônico, no qual, se é possível concluir algo de um conjunto de premissas, não há como acrescentar outra premissa de modo a evitar a conclusão prévia. Isso não é o caso em um julgamento legal, por exemplo, no qual lados opostos buscam convencer um juiz ou júri de consequências opostas ao adicionar premissas diferentes ao caso em questão. Propomos uma investigação de caráter exploratório em busca de uma extensão de iALC para lidar com RNM a fim de representar raciocínio jurídico em outras facetas da Lei como o processo judicial, que é não-monotônico por natureza. Apresentamos propriedades desejadas e uma possível aplicação de um sistema assim via um estudo de caso. Detalhamos mais a motivação tanto para o sistema de DN quanto a extensão de RNM, assim como as decisões tomadas ao criar cada um. / [en] The intuitionistic description logic iALC was created to model and reason over the domain of Law based on Kelsenian Jurisprudence [1]. Over the past decade, this logic has been used in several ways to either model norms or formalise legal reasoning [2, 3, 4, 5, 6, 7, 8, 9, 10]. In this work we intend to complement previous research done with this logic by filling some gaps found while working with it. The first gap occurs in iALC needing an intuitive way to explain reasoning for non-logicians. It has a sound and complete (concerning intuitionistic conceptual models [3]) Sequent Calculus (SC) [6] that has seen less usage than expected due to its non-intuitive way of presenting a proof. We present a (quasi-)normalising, sound and complete (w.r.t. TBox validity for intuitionistic conceptual models) Natural Deduction (ND) System to cover this difficulty in explaining SC to non-logicians, especially those in the domain of Law, which are essential to us. We do not achieve full normalisation due to a kind of derivation which cannot be normalised - aside from this exception, the rest of the system can provide uniform derivations. The second gap is being unable to deal with non-monotonic reasoning (NMR). Usually, one considers monotonic reasoning, in which, if one can conclude something from a set of premises, there is no way to add another premise to avoid said conclusion. This is not the case in a court of law, for instance, in which different parties aim to convince a judge or jury of opposite consequences by adding different premises to the case itself. We provide an exploratory investigation of an extension of iALC to deal with NMR to represent legal reasoning in aspects of the Law, such as the judicial process, which is non-monotonic by nature. We present desirable properties and a possible application of such a system via a case study. We explain further the motivation for both the ND system and the NMR extension and the decisions taken for both.

[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.

Τα σύγχρονα πληροφοριακά συστήματα μάθησης τα οποία υποστηρίζουν εξ’ αποστάσεως εκπαίδευση, επιτρέπουν τη συστηματική διαχείριση του εκπαιδευτικού υλικού και υποστηρίζουν τις εκπαιδευτικές διαδικασίες των μαθημάτων. Τα συστήματα αυτά έχουν λειτουργικότητες όπως: η ανάρτηση ψηφιακού υλικού, η διεξαγωγή συζητήσεων, η ανάρτηση ασκήσεων-εργασιών, η πραγματοποίηση εξετάσεων και πολλές άλλες. Στόχος της συγκεκριμένης εργασίας είναι η διερεύνηση του χώρου των συστημάτων μάθησης τα οποία υποστηρίζουν εξ’ αποστάσεως εκπαίδευση καθώς επίσης και η παρουσίαση και η εφαρμογή μεθόδου αξιολόγησης τους, αξιολογώντας τα συστήματα σύμφωνα με μια λίστα λειτουργικών απαιτήσεων. Στο 1ο κεφάλαιο της διπλωματικής εργασίας γίνεται μια περιγραφή των βασικών εννοιών της εξ’αποστάσεως εκπαίδευσης καθώς επίσης και έννοιες που αφορούν τα συστήματα υποστήριξης μάθησης όπως:CBT, VLE, LMS, LCMS, CMS, Mobile Learning. Στο 2ο κεφάλαιο γίνεται μια επισκόπηση του χώρου των Συστημάτων Μάθησης Learning Course Management Systems (LCMS). Συγκεκριμένα γίνεται μία καταγραφή των χαρακτηριστικών των πιο δημοφιλών συστημάτων τόσο των εμπορικών όσο και των συστημάτων ανοικτού κώδικα με τη χρήση ενός κοινού template όπου καταγράφονται τα εξής στοιχεία: Κατασκευαστής, Σύντομη περιγραφή Λογισμικού, Πλεονεκτήματα (Δυνατά Σημεία ), Μειονεκτήματα (Αδυναμίες, Ελλείψεις), Πελατολόγιο, Τρέχουσα Έκδοση έτσι ώστε να μπορεί κάποιος εύκολα να τα συγκρίνει και να τα αξιολογήσει. Στο 3ο κεφάλαιο πραγματοποιείται ανάλυση απαιτήσεων ενός σύγχρονου συστήματος μάθησης έτσι ώστε να μπορεί να εφαρμοστεί η μεθοδολογία αξιολόγησης σε μια λίστα από χαρακτηριστικά-απαιτήσεις για τα συστήματα που παρουσιάζονται στο κεφάλαιο 2. Στο 4ο κεφάλαιο παρουσιάζεται η μεθοδολογία Αξιολόγησης των συστημάτων μάθησης η οποία στηρίζεται στη θεωρία της ασαφούς λογικής. Η συγκεκριμένη μεθοδολογία εφαρμόστηκε σαν μελέτη περίπτωσης για την αξιολόγηση συστημάτων εκπαιδευτικών δραστηριοτήτων προκειμένου να βρεθεί το πλέον κατάλληλο σύστημα για τις ανάγκες του Ελληνικού Ανοικτού Πανεπιστημίου. Τέλος στο κεφάλαιο 5 πραγματοποιείται η εφαρμογή της μεθοδολογίας αξιολόγησης μεταξύ των συστημάτων μάθησης και παρουσιάζονται τα αποτελέσματα- συμπεράσματα που εξάγονται από την εφαρμογή της μεθόδου ενώ στο τελευταίο κεφάλαιο (6ο ) παρουσιάζονται τα συμπεράσματα της εργασίας. / Modern learning information systems are designed to support distance education and have many features to support learning sequence such as: management of educational material, tools for uploading projects in several kinds (documents, multimedia files), many kinds of quizzes, grades management, forums, reports wiz and many others. The aim of this master thesis is the investigation of available learning course management systems(LCMS), requirements analysis for LCMS and presentation and implementation of an evaluation methodology for LCMS based on a requirements list. In the first chapter of this thesis, we describe the basic concepts and definitions of e-Learning, as well as concepts relating to learning support systems such as: CBT(Computer Based Training), VLE(Virtual Learning Environment), LMS(Learning Management Systems), LCMS(Learning Course Management Systems), CMS (Course Management Systems), Mobile Learning etc. The second chapter contains an investigation in the area of Learning Course Management Systems (LCMS). We used a common template in order to describe the features of the most popular LCMS (either Open Source or Commercial). The template contains features like: Small Description of any LCMS (Software Manufacturer and History, Active Users and Installations, Database Requirements, Web Server, Manufacturer Clients, Current Stable Version), Strengths of the Software, Weaknesses of the Software, Available Mobile Version. This features have been chosen in order to become easy the comparison and after that the evaluation of the systems. The third chapter contains requirements analysis of a modern learning course management system so that the evaluation methodology can be applied to a specified list of features-requirements for the systems presented in chapter 2. In the fourth chapter there is the presentation of the evaluation methodology which uses a multicriteria technical analysis which belongs to the field of methods of Multi-Criteria Group-based Decision Making Techniques, while uses methods of (intuitionistic) fuzzy logic. This method exports the results using a technique TOPSIS(Technique for Order Preference by Similarity to Ideal Solution). In this chapter there is the theoretical description of the methodology which has been implemented as a case study for evaluating learning management systems in order to find the most suitable system for the needs of the Hellenic Open University(HOU). In Chapter 5 we will find the implementation steps of the methodology in order to exclude the most suitable LCMS for HOU and the final results(list of Systems). We will also find the conclusions of the implementation of this method. Finally the last chapter (6th) presents the final conclusions of the whole thesis and the added value this thesis offers in this field of research .