DOCSLIB.ORG

Inspect Every Piece of Pseudoscience and You Will Find a Security Blanket

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Inspect Every Piece of Pseudoscience and You Will Find a Security Blanket Inspect every piece of pseudoscience and you will find a security blanket, a thumb to suck, a skirt to hold. What does the scientist have to offer in exchange? Uncertainty! Insecurity! — Isaac Asimov I think people get it upside down when they say the unambiguous is the reality and the ambiguous is merely uncertainty about what is really unambiguous. Let’s turn it around the other way: the ambiguous is the reality and the unambiguous is merely a special case of it, where we finally manage to pin down some very special aspect. — David Bohm But ignorance of the different causes involved in the production of events, as well as their complexity, taken together with the imperfection of analysis, prevents our reaching the same certainty about the vast majority of phenomena. — Pierre-Simon Laplace Contents Contents i Preface iii 1 Introduction 1 2 Interval-valued structures5 2.1 Partially ordered sets......................................5 2.2 Triangularizations........................................7 2.3 Lattices..............................................9 2.4 Residuated lattices....................................... 20 2.5 Filters of residuated lattices.................................. 25 2.6 Interval-valued residuated lattices.............................. 36 3 Triangle algebras 39 3.1 Definition and elementary properties............................ 39 3.2 Connections with other algebraic structures........................ 44 3.3 The connection between triangle algebras and IVRLs.................. 47 3.4 The relevance of the diagonal and the value u u .................... 49 3.5 Connections between properties on triangle algebras∗ and on their diagonal.... 55 3.6 Filters of triangle algebras................................... 60 3.7 Decomposition theorem for pseudo-prelinear triangle algebras............ 68 4 Interval-valued fuzzy logics 77 4.1 Formal fuzzy logics....................................... 77 4.1.1 Monoidal logic..................................... 79 4.1.2 Monoidal t-norm based logic............................ 81 4.1.3 Basic logic........................................ 82 4.1.4 Łukasiewicz logic.................................... 83 4.1.5 Classical logic...................................... 84 4.1.6 Other fuzzy logics................................... 85 4.2 Definition and elementary properties............................ 86 4.3 Soundness and completeness................................. 88 4.3.1 Soundness........................................ 88 4.3.2 General and strong general completeness..................... 88 4.3.3 Pseudo-chain and strong pseudo-chain completeness.............. 93 i ii CONTENTS 4.3.4 Standard and strong standard completeness................... 93 4.4 Local deduction theorem................................... 101 4.5 Interpretation.......................................... 103 5 Conclusion 105 6 Samenvatting 109 Bibliography 113 Index 119 Preface Dear reader, Maybe you are interested in algebraic structures. Maybe you are interested in logic. Maybe you know me and you are curious about what I have been doing the last four and half years. Or maybe you are a student who has been ordered to summarize a PhD-dissertation, and you chose the one with the fewest number of pages. In the last case, allow me to warn you that this PhD-dissertation might not only be the one with the fewest number of pages, but also the one with the greatest density of formulas and proofs. Indeed, according to my promotor Etienne Kerre, this dissertation is the most compact he has ever supervised. This might not be so special, were it not that more than 25 students already have obtained their doctoral degree under his guidance. Unfortunately for students to come, he is about to retire soon. A very well deserved pension, if I may say so, even though in my eyes he can go on for at least another 10 students. Maybe – however, never say never – I am his last doctoral student, and as people say “the last mile is the longest" (they also tend to say “the last straw breaks the camel’s back", but let’s hope Etienne’s back just bended a little and did not break). However, he has been a great help for me, not only in giving guidance to my scientific research, but also in assisting me with all kinds of administrative work. I would really like to thank him, for all these efforts and for the patience he has had with me. Furthermore, I wish him all the best with his retirement! Not yet retired are my other two supervisors, Chris Cornelis and Glad Deschrijver. Neverthe- less, I wish them all the best as well. I am very grateful I could always count on them for checking proofs, helping out with LATEX, finding the right formulations and terminology, recommending in- teresting papers, suggesting approaches to tackle the problems I encountered, and so on. If they had not done their job so well, I might even have listened to them and leave Ghent for a stay abroad in another institution. However, I did meet researchers from other institutions at conferences and workshops. Some of them were of great help to me: we had fruitful discussions, they sent me papers, suggested methods or computer software I could use and/or helped me out when there was something I did not understand. In particular, I would like to thank Félix Bou, Petr Cintula, Didier Dubois, Francesc Esteva, Nick Galatos, Lluis Godo, Petr Hájek, Ulrich Höhle, Rostislav Horˇcík, Afrodita Iorgulescu, Sándor Jenei, Peter Jipsen, George Metcalfe, Carles Noguera and Hiroakira Ono. My colleagues in Ghent deserve an acknowledgement as well. Our conversations, the lunch iii iv PREFACE breaks, the poker games, the conferences we attended together, the other activities we did, it has always been pleasant spending time with them. Yes, even the expensive paintball afternoon. In particular, I want to thank Yun Shi, with whom I cooperated on some papers about fuzzy impli- cators. I wish her good luck finding a new job, so she can stay in Belgium. My parents should not be forgotten either. Without them I would not even be here, let alone write a PhD-dissertation. I cannot thank them enough for their everlasting support. Finally, I want to express my gratitude to the BOF (Bijzonder Onderzoeksfonds) and FWO (Research Foundation - Flanders) for supplying me with the financial support I needed for my research activities and an expensive paintball afternoon. Last but not least, I would like to thank you, reader of this preface, for reading also the re- mainder of this dissertation. Enjoy! Bart Van Gasse Labour Day/May Day/International Workers Day, 2010 CHAPTER 1 Introduction Classical logic is a two-valued logic: propositions in this logic are either true or false. In the first case, the truth value 1 is attributed to the proposition, while in the second case the truth value is 0. Given the truth values of two propositions p and q, it is possible to derive the truth values of the negation ‘not p’ (and ‘not q’), the conjunction ‘p and q’, the disjunction ‘p or q’ and the implication ‘p implies q’. These formulas are denoted as p, p&q, p q and p q. The truth values are calculated using the operations1 , , and :: _ ! : ∗ t ) Table 1.1: Truth tables of the operations in classical logic. x y x x y x y x y : ∗ t ) 0 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 0 1 1 0 1 1 1 For more complicated formulas the truth values can be computed in the same way. For exam- ple, if p is true and q is false, then the truth value of (p q) ((p q) q) is calculated as follows: the truth value of p q is 1 0 = 0, so the truth_ value! of !(p !q) q is 0 0 = 1. The truth value of p q is 1 0!= 1. So we) conclude that the truth value of!(p q)! ((p )q) q) is 1 1 = 1. Interestingly,_ t the truth value of this formula is always 1, even_ if other! truth! values! are attributed) to p and q. Such formulas are called tautologies. If a formula ' is a tautology, this is denoted as = '. More generally, for a set of formulas Γ, Γ = ' means “no matter what truth values are attributedj to the propositions, if the truth values ofj the formulas in Γ are 1, then the truth value of ' is 1". The two values 0 and 1, together with the defined operations, form a Boolean algebra [47]. Therefore we say that this Boolean algebra is the semantics of classical logic. Saying that (p q) ((p q) q) is a tautology in classical logic, is the same as saying that (x y) _ ((x! y) !y) =!1 is an identity in this Boolean algebra (meaning “whatever value of thet Boolean) algebra) ) we give to x and y, the calculation of (x y) ((x y) y) yields 1”). t ) ) ) 1Note that we use different symbols, to distinguish the logical connectives from the corresponding operations. Only for the negation we employ the same symbol. 1 2 CHAPTER 1. INTRODUCTION Now, identities in this Boolean algebra are also identities in every other Boolean algebra2 (we say that this Boolean algebra generates all Boolean algebras). Therefore classical logic does not only have the Boolean algebra with two elements as semantics, but also the whole variety of Boolean algebras: the general semantics of classical logic consists of all Boolean algebras. Interestingly it is also possible to describe classical logic without using semantics. This is done with axioms and deduction rules, which allow to prove a formula from a set of formulas. When a formula ' is provable from a theory Γ, this is denoted as Γ '. Two important results in classical logic are soundness (if Γ ', then Γ = ') and completeness` (if Γ = ', then Γ '). We write 3 this shortly as Γ ' iff Γ`= '. j j ` ` j Now, for the truth values of several propositions one might prefer more than the two options 0 (false) and 1 (true). Indeed, for vague propositions like ‘it is raining hard’, it would be useful if one could attribute an intermediate truth value, somewhere between ‘false’ and ‘true’.
Load more

Recommended publications
  • A Philosophical Treatise on the Connection of Scientific Reasoning
    mathematics Review A Philosophical Treatise on the Connection of Scientific Reasoning with Fuzzy Logic Evangelos Athanassopoulos 1 and Michael Gr. Voskoglou 2,* 1 Independent Researcher, Giannakopoulou 39, 27300 Gastouni, Greece; [email protected] 2 Department of Applied Mathematics, Graduate Technological Educational Institute of Western Greece, 22334 Patras, Greece * Correspondence: [email protected] Received: 4 May 2020; Accepted: 19 May 2020; Published:1 June 2020 Abstract: The present article studies the connection of scientific reasoning with fuzzy logic. Induction and deduction are the two main types of human reasoning. Although deduction is the basis of the scientific method, almost all the scientific progress (with pure mathematics being probably the unique exception) has its roots to inductive reasoning. Fuzzy logic gives to the disdainful by the classical/bivalent logic induction its proper place and importance as a fundamental component of the scientific reasoning. The error of induction is transferred to deductive reasoning through its premises. Consequently, although deduction is always a valid process, it is not an infallible method. Thus, there is a need of quantifying the degree of truth not only of the inductive, but also of the deductive arguments. In the former case, probability and statistics and of course fuzzy logic in cases of imprecision are the tools available for this purpose. In the latter case, the Bayesian probabilities play a dominant role. As many specialists argue nowadays, the whole science could be viewed as a Bayesian process. A timely example, concerning the validity of the viruses’ tests, is presented, illustrating the importance of the Bayesian processes for scientific reasoning.
    [Show full text]
  • Machine Learning in Scientometrics
    DEPARTAMENTO DE INTELIGENCIA ARTIFICIAL Escuela Tecnica´ Superior de Ingenieros Informaticos´ Universidad Politecnica´ de Madrid PhD THESIS Machine Learning in Scientometrics Author Alfonso Iba´nez˜ MS Computer Science MS Artificial Intelligence PhD supervisors Concha Bielza PhD Computer Science Pedro Larranaga˜ PhD Computer Science 2015 Thesis Committee President: C´esarHerv´as Member: Jos´eRam´onDorronsoro Member: Enrique Herrera Member: Irene Rodr´ıguez Secretary: Florian Leitner There are no secrets to success. It is the result of preparation, hard work, and learning from failure. Acknowledgements Ph.D. research often appears a solitary undertaking. However, it is impossible to maintain the degree of focus and dedication required for its completion without the help and support of many people. It has been a difficult long journey to finish my Ph.D. research and it is of justice to cite here all of them. First and foremost, I would like to thank Concha Bielza and Pedro Larra~nagafor being my supervisors and mentors. Without your unfailing support, recommendations and patient, this thesis would not have been the same. You have been role models who not only guided my research but also demonstrated your enthusiastic research attitudes. I owe you so much. Whatever research path I do take, I will be prepared because of you. I would also like to express my thanks to all my friends and colleagues at the Computa- tional Intelligence Group who provided me with not only an excellent working atmosphere and stimulating discussions but also friendships, care and assistance when I needed. My special thank-you goes to Rub´enArma~nanzas,Roberto Santana, Diego Vidaurre, Hanen Borchani, Pedro L.
    [Show full text]
  • Application of Fuzzy Query Based on Relation Database Dongmei Wei Liangzhong Yi Zheng Pei
    Application of Fuzzy Query Based on Relation Database Dongmei Wei Liangzhong Yi Zheng Pei School of Mathematics & Computer Engineering, Xihua University, Chengdu 610039, China Abstract SELECT <list of ¯elds> FROM <list of tables> ; The traditional query in relation database is unable WHERE <attribute> in <multi-valued attribute> to satisfy the needs for dealing with fuzzy linguis- tic values. In this paper, a new data query tech- SELECT <list of ¯elds> FROM <list of tables>; nique combined fuzzy theory and SQL is provided, WHERE NOT <condition> and the query can be implemented for fuzzy linguis- tic values query via a interface to Microsoft Visual SELECT <list of ¯elds> FROM <list of tables>; Foxpro. Here, we applied it to an realism instance, WHERE <subcondition> AND <subcondition> questions could be expressed by fuzzy linguistic val- ues such as young, high salary, etc, in Employee SELECT <list of ¯elds> FROM <list of tables>; relation database. This could be widely used to WHERE <subcondition> OR <subcondition> realize the other fuzzy query based on database. However, the Complexity is limited in precise data processing and is unable to directly express Keywords: Fuzzy query, Relation database, Fuzzy fuzzy concepts of natural language. For instance, theory, SQL, Microsoft visual foxpro in employees relation database, to deal with a query statement like "younger, well quali¯ed or better 1. Introduction performance ", it is di±cult to construct SQL be- cause the query words are fuzzy expressions. In Database management systems(DBMS) are ex- order to obtain query results, there are two basic tremely useful software products which have been methods of research in the use of SQL Combined used in many kinds of systems [1]-[3].
    [Show full text]
  • On Fuzzy and Rough Sets Approaches to Vagueness Modeling⋆ Extended Abstract
    From Free Will Debate to Embodiment of Fuzzy Logic into Washing Machines: On Fuzzy and Rough Sets Approaches to Vagueness Modeling⋆ Extended Abstract Piotr Wasilewski Faculty of Mathematics, Informatics and Mechanics University of Warsaw Banacha 2, 02-097 Warsaw, Poland [email protected] Deep scientific ideas have at least one distinctive property: they can be applied both by philosophers in abstract fundamental debates and by engineers in concrete practi- cal applications. Mathematical approaches to modeling of vagueness also possess this property. Problems connected with vagueness have been discussed at the beginning of XXth century by philosophers, logicians and mathematicians in developing foundations of mathematics leading to clarification of logical semantics and establishing of math- ematical logic and set theory. Those investigations led also to big step in the history of logic: introduction of three-valued logic. In the second half of XXth century some mathematical theories based on vagueness idea and suitable for modeling vague con- cepts were introduced, including fuzzy set theory proposed by Lotfi Zadeh in 1965 [16] and rough set theory proposed by Zdzis¸saw Pawlak in 1982 [4] having many practical applications in various areas from engineering and computer science such as control theory, data mining, machine learning, knowledge discovery, artificial intelligence. Concepts in classical philosophy and in mathematics are not vague. Classical the- ory of concepts requires that definition of concept C hast to provide exact rules of the following form: if object x belongs to concept C, then x possess properties P1,P2,...,Pn; if object x possess properties P1,P2,...,Pn, then x belongs to concept C.
    [Show full text]
  • Research Hotspots and Frontiers of Product R&D Management
    applied sciences Article Research Hotspots and Frontiers of Product R&D Management under the Background of the Digital Intelligence Era—Bibliometrics Based on Citespace and Histcite Hongda Liu 1,2, Yuxi Luo 2, Jiejun Geng 3 and Pinbo Yao 2,* 1 School of Economics & Management, Tongji University, Shanghai 200092, China; [email protected] or [email protected] 2 School of Management, Shanghai University, Shanghai 200444, China; [email protected] 3 School of Management, Shanghai International Studies University, Shanghai 200333, China; [email protected] * Correspondence: [email protected] Abstract: The rise of “cloud-computing, mobile-Internet, Internet of things, big-data, and smart-data” digital technology has brought a subversive revolution to enterprises and consumers’ traditional patterns. Product research and development has become the main battlefield of enterprise compe- Citation: Liu, H.; Luo, Y.; Geng, J.; tition, facing an environment where challenges and opportunities coexist. Regarding the concepts Yao, P. Research Hotspots and and methods of product R&D projects, the domestic start was later than the international ones, and Frontiers of Product R&D many domestic companies have also used successful foreign cases as benchmarks to innovate their Management under the Background management methods in practice. “Workers must first sharpen their tools if they want to do their of the Digital Intelligence jobs well”. This article will start from the relevant concepts of product R&D projects and summarize Era—Bibliometrics Based on current R&D management ideas and methods. We combined the bibliometric analysis software Citespace and Histcite. Appl. Sci. Histcite and Citespace to sort out the content of domestic and foreign literature and explore the 2021, 11, 6759.
    [Show full text]
  • Download (Accessed on 30 July 2016)
    data Article Earth Observation for Citizen Science Validation, or Citizen Science for Earth Observation Validation? The Role of Quality Assurance of Volunteered Observations Didier G. Leibovici 1,* ID , Jamie Williams 2 ID , Julian F. Rosser 1, Crona Hodges 3, Colin Chapman 4, Chris Higgins 5 and Mike J. Jackson 1 1 Nottingham Geospatial Science, University of Nottingham, Nottingham NG7 2TU, UK; [email protected] (J.F.R.); [email protected] (M.J.J.) 2 Environment Systems Ltd., Aberystwyth SY23 3AH, UK; [email protected] 3 Earth Observation Group, Aberystwyth University Penglais, Aberystwyth SY23 3JG, UK; [email protected] 4 Welsh Government, Aberystwyth SY23 3UR, UK; [email protected] 5 EDINA, University of Edinburgh, Edinburgh EH3 9DR, UK; [email protected] * Correspondence: [email protected] Received: 28 August 2017; Accepted: 19 October 2017; Published: 23 October 2017 Abstract: Environmental policy involving citizen science (CS) is of growing interest. In support of this open data stream of information, validation or quality assessment of the CS geo-located data to their appropriate usage for evidence-based policy making needs a flexible and easily adaptable data curation process ensuring transparency. Addressing these needs, this paper describes an approach for automatic quality assurance as proposed by the Citizen OBservatory WEB (COBWEB) FP7 project. This approach is based upon a workflow composition that combines different quality controls, each belonging to seven categories or “pillars”. Each pillar focuses on a specific dimension in the types of reasoning algorithms for CS data qualification.
    [Show full text]
  • A Framework for Software Modelling in Social Science Re- Search
    A FRAMEWORK FOR SOFTWARE MODELLING IN SOCIAL SCIENCE RESEARCH by Piper J. Jackson B.Sc., Simon Fraser University, 2005 B.A. (Hons.), McGill University, 1996 a Thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the School of Computing Science Faculty of Applied Sciences c Piper J. Jackson 2013 SIMON FRASER UNIVERSITY Summer 2013 All rights reserved. However, in accordance with the Copyright Act of Canada, this work may be reproduced without authorization under the conditions for \Fair Dealing." Therefore, limited reproduction of this work for the purposes of private study, research, criticism, review and news reporting is likely to be in accordance with the law, particularly if cited appropriately. APPROVAL Name: Piper J. Jackson Degree: Doctor of Philosophy Title of Thesis: A Framework for Software Modelling in Social Science Re- search Examining Committee: Dr. Steven Pearce Chair Dr. Uwe Gl¨asser Senior Supervisor Professor Dr. Vahid Dabbaghian Supervisor Adjunct Professor, Mathematics Associate Member, Computing Science Dr. Lou Hafer Internal Examiner Associate Professor Dr. Nathaniel Osgood External Examiner Associate Professor, University of Saskatchewan Date Approved: April 29, 2013 ii Partial Copyright Licence iii Abstract Social science is critical to decision making at the policy level. Software modelling and sim- ulation are innovative computational methods that provide alternative means of developing and testing theory relevant to policy decisions. Software modelling is capable of dealing with obstacles often encountered in traditional social science research, such as the difficulty of performing real-world experimentation. As a relatively new science, computational research in the social sciences faces significant challenges, both in terms of methodology and accep- tance.
    [Show full text]
  • Leveraging the Power of Place in Citizen Science for Effective Conservation Decision Making
    BIOC-06887; No of Pages 10 Biological Conservation xxx (2016) xxx–xxx Contents lists available at ScienceDirect Biological Conservation journal homepage: www.elsevier.com/locate/bioc Leveraging the power of place in citizen science for effective conservation decision making G. Newman a,⁎,1,2, M. Chandler b,1,2,M.Clydec,1,2,B.McGreavyd,1,M.Haklaye,H.Ballardf, S. Gray g, R. Scarpino a,2, R. Hauptfeld a,2,D.Mellorh,J.Galloi,1 a Natural Resource Ecology Laboratory, Colorado State University, Fort Collins, CO 80523, USA b Earthwatch Institute, Allston, MA 02134, USA c University of New Hampshire, Cooperative Extension, Durham, NH 03824-2500, USA d University of Maine, Department of Communication and Journalism, Orono, ME 04469, USA e University College London, WC1E 6BT London, UK f UC Davis, School of Education, Davis, CA 95616, USA g Department of Community Sustainability, Michigan State University, East Lansing, MI 48823, USA h Center for Open Science, Charlottesville, VA 22903, USA i Conservation Biology Institute, Corvallis, OR 97333, USA article info abstract Article history: Many citizen science projects are place-based - built on in-person participation and motivated by local conserva- Received 16 October 2015 tion. When done thoughtfully, this approach to citizen science can transform humans and their environment. De- Received in revised form 19 May 2016 spite such possibilities, many projects struggle to meet decision-maker needs, generate useful data to inform Accepted 17 July 2016 decisions, and improve social-ecological resilience. Here, we define leveraging the ‘power of place’ in citizen sci- Available online xxxx ence, and posit that doing this improves conservation decision making, increases participation, and improves community resilience.
    [Show full text]
  • A Survey of Fuzzy Systems Software: Taxonomy, Current Research Trends, and Prospects
    A Survey of Fuzzy Systems Software: Taxonomy, Current Research Trends, and Prospects Jes´us Alcal´a-Fdez1 Jose M. Alonso2 Abstract Fuzzy systems have been used widely thanks to their ability to successfully solve a wide range of problems in different application fields. However, their replication and application requires a high level of knowledge and experience. Furthermore, few researchers publish the software and/or source code associated with their proposals, which is a major obstacle to scientific progress in other disciplines and in industry. In recent years, most fuzzy system software has been developed in order to facilitate the use of fuzzy systems. Some software is commercially distributed but most software is available as free and open source software, reducing such obstacles and providing many advantages: quicker detection of errors, innovative applications, faster adoption of fuzzy systems, etc. In this paper, we present an overview of freely available and open source fuzzy systems software in order to provide a well-established framework that helps researchers to find existing proposals easily and to develop well founded future work. To accomplish this, we propose a two-level taxonomy and we describe the main contributions related to each field. Moreover, we provide a snapshot of the status of the publications in this field according to the ISI Web of Knowledge. Finally, some considerations regarding recent trends and potential research directions are presented. Key words: Fuzzy logic, fuzzy systems, fuzzy systems software, software for applications, software engineering, educational software, open source software. 1. Introduction Fuzzy systems are one of the most important areas for the application of fuzzy set theory [1].
    [Show full text]
  • Fuzzy Sets, Fuzzy Logic and Their Applications • Michael Gr
    Fuzzy Sets, Fuzzy Logic and Their Applications • Michael Gr. Voskoglou • Michael Gr. Fuzzy Sets, Fuzzy Logic and Their Applications Edited by Michael Gr. Voskoglou Printed Edition of the Special Issue Published in Mathematics www.mdpi.com/journal/mathematics Fuzzy Sets, Fuzzy Logic and Their Applications Fuzzy Sets, Fuzzy Logic and Their Applications Special Issue Editor Michael Gr. Voskoglou MDPI • Basel • Beijing • Wuhan • Barcelona • Belgrade • Manchester • Tokyo • Cluj • Tianjin Special Issue Editor Michael Gr. Voskoglou Graduate Technological Educational Institute of Western Greece Greece Editorial Office MDPI St. Alban-Anlage 66 4052 Basel, Switzerland This is a reprint of articles from the Special Issue published online in the open access journal Mathematics (ISSN 2227-7390) (available at: https://www.mdpi.com/journal/mathematics/special issues/Fuzzy Sets). For citation purposes, cite each article independently as indicated on the article page online and as indicated below: LastName, A.A.; LastName, B.B.; LastName, C.C. Article Title. Journal Name Year, Article Number, Page Range. ISBN 978-3-03928-520-4 (Pbk) ISBN 978-3-03928-521-1 (PDF) c 2020 by the authors. Articles in this book are Open Access and distributed under the Creative Commons Attribution (CC BY) license, which allows users to download, copy and build upon published articles, as long as the author and publisher are properly credited, which ensures maximum dissemination and a wider impact of our publications. The book as a whole is distributed by MDPI under the terms and conditions of the Creative Commons license CC BY-NC-ND. Contents About the Special Issue Editor ...................................... vii Preface to ”Fuzzy Sets, Fuzzy Logic and Their Applications” ...................
    [Show full text]
  • COBWEB PROJECT Final Publishable Summary Report
    COBWEB PROJECT Final publishable summary report Grant Agreement number: 308513 Project acronym: COBWEB Project title: Citizen Observatory Web Funding Scheme: FP7 CP Period covered: from 01/11/2012 to 19/4/2017 Name of the scientific representative of the project's coordinator and organisation: Chris Higgins (University of Edinburgh) Tel: +44 (0) 7595 11 69 91 E-mail: [email protected] Project website address: www.cobwebproject.eu This project has received funding from the European Union’s Seventh Programme for research, technological development and demonstration under grant agreement No 308513 Table of Contents 1. Executive summary ....................................................................................... 3 2. Summary description of project context and objectives ........................... 4 2.1 Project context ................................................................................................. 4 2.2 Project objectives ............................................................................................. 6 3. Description of main S&T results .................................................................. 7 3.1 System design through stakeholder engagement and co-design ..................... 7 3.1.1 Co-Design ....................................................................................................................... 8 3.2 COBWEB Workflow ....................................................................................... 10 3.3 Architecture ..................................................................................................
    [Show full text]
  • Fuzzy Logic and Intelligent Technologies in Nuclear Science
    BE9900077 Da RUAN Fuzzy Logic and Intelligent Technologies in Nuclear Science Scientific staff TJ LINS, an acronym for Fuzzy Logic and Intel- and be only a step towards future FL appli- Da RUAN it ligent technologies in Nuclear Science, has cations in nuclear power plants. However, li- Xiaozhong Li been recognized since 1994 as a unique inter- censing this technology as a nuclear technol- national forum on Fuzzy Logic (FL) and intelli- ogy could be more challenging and time con- gent systems for nuclear science and industry. suming. The main task for FUNS for the coming years Programme Started at the beginning of is to solve many intricate problems pertain- 1995, both fuzzy software and hardware spon- ing to the nuclear environment by using mod- sored by OMRON Electronics NV (Belgium) were ern technologies as additional tools and to successfully implemented in BRi. To be al- bridge a gap between novel technologies and lowed by the safety authorities to carry out the industrial nuclear world. Specific prototyp- our on-line fuzzy-control experiment at BRI, we ing of Fuzzy Logic Control (FLC) of SCK«CEN's made several off-line tests and a safety on-line BRi research reactor has been chosen as FLINS' test scheme. first priority. This is an on-going R&D project for controlling BRI'S power level. The project started in 1995 and aims to investigate the In the meantime, we have constructed a demo added value of FLC for nuclear reactors. In this model which is not only suitable for most con- framework, the availability of BRi greatly sim- trol algorithm testing experiments, but also for plifies the effort to validate the model descrip- simulating the power control principle of BRi.
    [Show full text]