Hesitant Fuzzy Linguistic Analytic Hierarchical Process With Prioritization, Consistency Checking, and Inconsistency Repairing

Analytic hierarchy process (AHP), as one of the most important methods to tackle multiple criteria decision-making problems, has achieved much success over the past several decades. Given that linguistic expressions are much closer than numerical values or single linguistic terms to a human way of thinking and cognition, this paper investigates the AHP with comparative linguistic expressions. After providing the snapshot of classical AHP and its fuzzy extensions, we propose the framework of hesitant fuzzy linguistic AHP, which shows how to yield a decision for qualitative decision-making problems with complex linguistic expressions. First, the comparative linguistic expressions over criteria or alternatives are transformed into hesitant fuzzy linguistic elements and then the hesitant fuzzy linguistic preference relations (HFLPRs) are constructed. Considering that HFLPRs may be inconsistent, we conduct consistency checking and improving processes after obtaining priorities from the HFLPRs based on a linear programming method. Regarding the consistency-improving process, we develop a new way to establish a perfectly consistent HFLPR. The procedure of the hesitant fuzzy linguistic AHP is given in stepwise. Finally, a numerical example concerning the used-car management in a lemon market is given to illustrate the ef ciency of the proposed hesitant fuzzy linguistic AHP method.This work was supported in part by the National Natural Science Foundation of China under Grant 71771156, in part by the 2019 Sichuan Planning Project of Social Science under Grant SC18A007, in part by the 2019 Soft Science Project of Sichuan Science and Technology Department under Grant 2019JDR0141, and in part by the Project of Innovation at Sichuan University under Grant 2018hhs-43

Methodology for predicting and/or compensating the behavior of optical frequency comb

RESUMEN: Optical frequency comb spectrum can change its behavior due to temperature fluctuations, normal dispersion, and mechanical vibrations. Such limitations can affect the peak power and wavelength separation of comb lines. In the propagation through single−mode fiber, the linear and non−linear phenomena can modify spectral shape, phase shifts and flatness of spectrum. To find a strategy of compensation, the PhD thesis is focused on a prediction methodology based on fuzzy cellular automata, intuitionistic fuzzy sets and fuzzy entropy measures. The research work proposes a predictor called intuitionistic fuzzy cellular automata based on mean vector and a validation measure called general intuitionistic fuzzy entropy based on adequacy and non−adequacy. In the accomplished experiments, the method was used in three experiments: mode−locked lasers, cascaded intensity modulators−Mach Zehnder modulators, and microresonator ring. The obtained results showed that the power and phase distortions were reduced by using a pulse shaper, where the method was programmed. In addition, the stability and/or instability of spectrum were found for the microresonator ring

Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences

Mathematical fuzzy logic (MFL) specifically targets many-valued logic and has significantly contributed to the logical foundations of fuzzy set theory (FST). It explores the computational and philosophical rationale behind the uncertainty due to imprecision in the backdrop of traditional mathematical logic. Since uncertainty is present in almost every real-world application, it is essential to develop novel approaches and tools for efficient processing. This book is the collection of the publications in the Special Issue “Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences”, which aims to cover theoretical and practical aspects of MFL and FST. Specifically, this book addresses several problems, such as:- Industrial optimization problems- Multi-criteria decision-making- Financial forecasting problems- Image processing- Educational data mining- Explainable artificial intelligence, etc

Metafictional anaphora:A comparison of different accounts

I argue that pronominal anaphora across mixed parafictional/ metafictional discourse (e.g. In The Lord of the Rings, Frodoi goes through an immense mental struggle. Hei is an intriguing fictional character! ) poses a problem for a workspace account. I evaluate different possible solutions based on a descriptivist approach, Zalta's logic of abstract objects and Recanati's dot-object theory

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

Intensional Cyberforensics

This work focuses on the application of intensional logic to cyberforensic analysis and its benefits and difficulties are compared with the finite-state-automata approach. This work extends the use of the intensional programming paradigm to the modeling and implementation of a cyberforensics investigation process with backtracing of event reconstruction, in which evidence is modeled by multidimensional hierarchical contexts, and proofs or disproofs of claims are undertaken in an eductive manner of evaluation. This approach is a practical, context-aware improvement over the finite state automata (FSA) approach we have seen in previous work. As a base implementation language model, we use in this approach a new dialect of the Lucid programming language, called Forensic Lucid, and we focus on defining hierarchical contexts based on intensional logic for the distributed evaluation of cyberforensic expressions. We also augment the work with credibility factors surrounding digital evidence and witness accounts, which have not been previously modeled. The Forensic Lucid programming language, used for this intensional cyberforensic analysis, formally presented through its syntax and operational semantics. In large part, the language is based on its predecessor and codecessor Lucid dialects, such as GIPL, Indexical Lucid, Lucx, Objective Lucid, and JOOIP bound by the underlying intensional programming paradigm.Comment: 412 pages, 94 figures, 18 tables, 19 algorithms and listings; PhD thesis; v2 corrects some typos and refs; also available on Spectrum at http://spectrum.library.concordia.ca/977460