Fuzzy Logic

Fuzzy Logic is becoming an essential method of solving problems in all domains. It gives tremendous impact on the design of autonomous intelligent systems. The purpose of this book is to introduce Hybrid Algorithms, Techniques, and Implementations of Fuzzy Logic. The book consists of thirteen chapters highlighting models and principles of fuzzy logic and issues on its techniques and implementations. The intended readers of this book are engineers, researchers, and graduate students interested in fuzzy logic systems

Automated Deduction – CADE 28

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions

A method for rigorous design of reconfigurable systems

Reconfigurability, understood as the ability of a system to behave differently in different modes of operation and commute between them along its lifetime, is a cross-cutting concern in modern Software Engineering. This paper introduces a specification method for reconfigurable software based on a global transition structure to capture the system's reconfiguration space, and a local specification of each operation mode in whatever logic (equational, first-order, partial, fuzzy, probabilistic, etc.) is found expressive enough for handling its requirements. In the method these two levels are not only made explicit and juxtaposed, but formally interrelated. The key to achieve such a goal is a systematic process of hybridisation of logics through which the relationship between the local and global levels of a specification becomes internalised in the logic itself.This work is financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation – COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT – Fundação para a Ciência e a Tecnologia within projects POCI-01-0145-FEDER-016692 and UID/MAT/04106/2013. The first author is further supported by the BPD FCT Grant SFRH/BPD/103004/2014, and R. Neves is sponsored by FCT Grant SFRH/BD/52234/2013. M.A. Martins is also funded by the EU FP7 Marie Curie PIRSESGA-2012-318986 project GeTFun: Generalizing Truth-Functionality

Logical Localism in the Context of Combining Logics

[eng] Logical localism is a claim in the philosophy of logic stating that different logics are correct in different domains. There are different ways in which this thesis can be motivated and I will explore the most important ones. However, localism has an obvious and major challenge which is known as ‘the problem of mixed inferences’. The main goal of this dissertation is to solve this challenge and to extend the solution to the related problem of mixed compounds for alethic pluralism. My approach in order to offer a solution is one that has not been considered in the literature as far as I am aware. I will study different methods for combining logics, concentrating on the method of juxtaposition, by Joshua Schechter, and I will try to solve the problem of mixed inferences by making a finer translation of the arguments and using combination mechanisms as the criterion of validity. One of the most intriguing aspects of the dissertation is the synergy that is created between the philosophical debate and the technical methods with the problem of mixed inferences at the center of that synergy. I hope to show that not only the philosophical debate benefits from the methods for combining logics, but also that these methods can be developed in new and interesting ways motivated by the philosophical problem of mixed inferences. The problem suggests that there are relevant interactions between connectives, justified by the philosophical considerations for conceptualising different logic systems, that the methods for combining logics should allow to emerge. The recognition of this fact is what drives the improvements on the method of juxtaposition that I develop. That is, in order to allow for the emergence of desirable interaction principles, I will propose alternative ways of combining logic systems -specifically classical and intuitionistic logics- that go beyond the standard for combinations, which is based on minimality conditions so as to avoid the so-called collapse theorems.[spa] El localismo lógico es una tesis en filosofía de la lógica según la cual diferentes sistemas lógicos son correctos en función del dominio en el que se aplican. Dicha tesis cuenta, prima facie, con cierta plausibilidad y con varios argumentos que la respaldan como mostraré. Sin embargo, el localismo se presta a un evidente y poderoso contraargumento conocido como ‘el problema de las inferencias mixtas’. El objetivo principal de esta disertación es dar respuesta a ese problema y extender la solución al problema afín de los compuestos mixtos que afecta al pluralismo alético. La manera de abordar el problema de las inferencias mixtas consistirá en analizar casos paradigmáticos en la literatura a la luz de los métodos de combinación de lógicas. En concreto, me centraré en el método de la yuxtaposición, desarrollado por Joshua Schechter. Así, ofreceré una solución al problema de las inferencias mixtas que pasará por realizar un análisis más sutil y una formalización más precisa de las mismas, para después aplicar los mecanismos de combinación como criterio de validez. Además, mostraré que el problema de las inferencias mixtas provee de multitud de ejemplos que invitan a desarrollar los métodos de combinación de lógicas de formas novedosas. Una de las aportaciones más relevantes de la disertación consistirá en modificar el método de la yuxtaposición para obtener mecanismos que van más allá del estándar de las extensiones mínimas conservativas. En concreto, propondré diferentes mecanismos para combinar la lógica clásica y la intuicionista, de manera que se permita la aparición de distintos principios puente para los que tenemos buenas razones que los justifican, sin que ello conduzca al colapso de las lógicas que se combinan

Logical Localism in the Context of Combining Logics

Programa de Doctorat en Ciència Cognitiva i Llenguatge[eng] Logical localism is a claim in the philosophy of logic stating that different logics are correct in different domains. There are different ways in which this thesis can be motivated and I will explore the most important ones. However, localism has an obvious and major challenge which is known as ‘the problem of mixed inferences’. The main goal of this dissertation is to solve this challenge and to extend the solution to the related problem of mixed compounds for alethic pluralism. My approach in order to offer a solution is one that has not been considered in the literature as far as I am aware. I will study different methods for combining logics, concentrating on the method of juxtaposition, by Joshua Schechter, and I will try to solve the problem of mixed inferences by making a finer translation of the arguments and using combination mechanisms as the criterion of validity. One of the most intriguing aspects of the dissertation is the synergy that is created between the philosophical debate and the technical methods with the problem of mixed inferences at the center of that synergy. I hope to show that not only the philosophical debate benefits from the methods for combining logics, but also that these methods can be developed in new and interesting ways motivated by the philosophical problem of mixed inferences. The problem suggests that there are relevant interactions between connectives, justified by the philosophical considerations for conceptualising different logic systems, that the methods for combining logics should allow to emerge. The recognition of this fact is what drives the improvements on the method of juxtaposition that I develop. That is, in order to allow for the emergence of desirable interaction principles, I will propose alternative ways of combining logic systems -specifically classical and intuitionistic logics- that go beyond the standard for combinations, which is based on minimality conditions so as to avoid the so-called collapse theorems.[spa] El localismo lógico es una tesis en filosofía de la lógica según la cual diferentes sistemas lógicos son correctos en función del dominio en el que se aplican. Dicha tesis cuenta, prima facie, con cierta plausibilidad y con varios argumentos que la respaldan como mostraré. Sin embargo, el localismo se presta a un evidente y poderoso contraargumento conocido como ‘el problema de las inferencias mixtas’. El objetivo principal de esta disertación es dar respuesta a ese problema y extender la solución al problema afín de los compuestos mixtos que afecta al pluralismo alético. La manera de abordar el problema de las inferencias mixtas consistirá en analizar casos paradigmáticos en la literatura a la luz de los métodos de combinación de lógicas. En concreto, me centraré en el método de la yuxtaposición, desarrollado por Joshua Schechter. Así, ofreceré una solución al problema de las inferencias mixtas que pasará por realizar un análisis más sutil y una formalización más precisa de las mismas, para después aplicar los mecanismos de combinación como criterio de validez. Además, mostraré que el problema de las inferencias mixtas provee de multitud de ejemplos que invitan a desarrollar los métodos de combinación de lógicas de formas novedosas. Una de las aportaciones más relevantes de la disertación consistirá en modificar el método de la yuxtaposición para obtener mecanismos que van más allá del estándar de las extensiones mínimas conservativas. En concreto, propondré diferentes mecanismos para combinar la lógica clásica y la intuicionista, de manera que se permita la aparición de distintos principios puente para los que tenemos buenas razones que los justifican, sin que ello conduzca al colapso de las lógicas que se combinan

Metasemantics and fuzzy mathematics

The present thesis is an inquiry into the metasemantics of natural languages, with a particular focus on the philosophical motivations for countenancing degreed formal frameworks for both psychosemantics and truth-conditional semantics. Chapter 1 sets out to offer a bird's eye view of our overall research project and the key questions that we set out to address. Chapter 2 provides a self-contained overview of the main empirical findings in the cognitive science of concepts and categorisation. This scientific background is offered in light of the fact that most variants of psychologically-informed semantics see our network of concepts as providing the raw materials on which lexical and sentential meanings supervene. Consequently, the metaphysical study of internalistically-construed meanings and the empirical study of our mental categories are overlapping research projects. Chapter 3 closely investigates a selection of species of conceptual semantics, together with reasons for adopting or disavowing them. We note that our ultimate aim is not to defend these perspectives on the study of meaning, but to argue that the project of making them formally precise naturally invites the adoption of degreed mathematical frameworks (e.g. probabilistic or fuzzy). In Chapter 4, we switch to the orthodox framework of truth-conditional semantics, and we present the limitations of a philosophical position that we call "classicism about vagueness". In the process, we come up with an empirical hypothesis for the psychological pull of the inductive soritical premiss and we make an original objection against the epistemicist position, based on computability theory. Chapter 5 makes a different case for the adoption of degreed semantic frameworks, based on their (quasi-)superior treatments of the paradoxes of vagueness. Hence, the adoption of tools that allow for graded membership are well-motivated under both semantic internalism and semantic externalism. At the end of this chapter, we defend an unexplored view of vagueness that we call "practical fuzzicism". Chapter 6, viz. the final chapter, is a metamathematical enquiry into both the fuzzy model-theoretic semantics and the fuzzy Davidsonian semantics for formal languages of type-free truth in which precise truth-predications can be expressed