Queries with Guarded Negation (full version)

A well-established and fundamental insight in database theory is that negation (also known as complementation) tends to make queries difficult to process and difficult to reason about. Many basic problems are decidable and admit practical algorithms in the case of unions of conjunctive queries, but become difficult or even undecidable when queries are allowed to contain negation. Inspired by recent results in finite model theory, we consider a restricted form of negation, guarded negation. We introduce a fragment of SQL, called GN-SQL, as well as a fragment of Datalog with stratified negation, called GN-Datalog, that allow only guarded negation, and we show that these query languages are computationally well behaved, in terms of testing query containment, query evaluation, open-world query answering, and boundedness. GN-SQL and GN-Datalog subsume a number of well known query languages and constraint languages, such as unions of conjunctive queries, monadic Datalog, and frontier-guarded tgds. In addition, an analysis of standard benchmark workloads shows that most usage of negation in SQL in practice is guarded negation

Efficient Data Driven Multi Source Fusion

Data/information fusion is an integral component of many existing and emerging applications; e.g., remote sensing, smart cars, Internet of Things (IoT), and Big Data, to name a few. While fusion aims to achieve better results than what any one individual input can provide, often the challenge is to determine the underlying mathematics for aggregation suitable for an application. In this dissertation, I focus on the following three aspects of aggregation: (i) efficient data-driven learning and optimization, (ii) extensions and new aggregation methods, and (iii) feature and decision level fusion for machine learning with applications to signal and image processing. The Choquet integral (ChI), a powerful nonlinear aggregation operator, is a parametric way (with respect to the fuzzy measure (FM)) to generate a wealth of aggregation operators. The FM has 2N variables and N(2N − 1) constraints for N inputs. As a result, learning the ChI parameters from data quickly becomes impractical for most applications. Herein, I propose a scalable learning procedure (which is linear with respect to training sample size) for the ChI that identifies and optimizes only data-supported variables. As such, the computational complexity of the learning algorithm is proportional to the complexity of the solver used. This method also includes an imputation framework to obtain scalar values for data-unsupported (aka missing) variables and a compression algorithm (lossy or losselss) of the learned variables. I also propose a genetic algorithm (GA) to optimize the ChI for non-convex, multi-modal, and/or analytical objective functions. This algorithm introduces two operators that automatically preserve the constraints; therefore there is no need to explicitly enforce the constraints as is required by traditional GA algorithms. In addition, this algorithm provides an efficient representation of the search space with the minimal set of vertices. Furthermore, I study different strategies for extending the fuzzy integral for missing data and I propose a GOAL programming framework to aggregate inputs from heterogeneous sources for the ChI learning. Last, my work in remote sensing involves visual clustering based band group selection and Lp-norm multiple kernel learning based feature level fusion in hyperspectral image processing to enhance pixel level classification

Fuzzy set methods for object recognition in space applications

Progress on the following tasks is reported: (1) fuzzy set-based decision making methodologies; (2) feature calculation; (3) clustering for curve and surface fitting; and (4) acquisition of images. The general structure for networks based on fuzzy set connectives which are being used for information fusion and decision making in space applications is described. The structure and training techniques for such networks consisting of generalized means and gamma-operators are described. The use of other hybrid operators in multicriteria decision making is currently being examined. Numerous classical features on image regions such as gray level statistics, edge and curve primitives, texture measures from cooccurrance matrix, and size and shape parameters were implemented. Several fractal geometric features which may have a considerable impact on characterizing cluttered background, such as clouds, dense star patterns, or some planetary surfaces, were used. A new approach to a fuzzy C-shell algorithm is addressed. NASA personnel are in the process of acquiring suitable simulation data and hopefully videotaped actual shuttle imagery. Photographs have been digitized to use in the algorithms. Also, a model of the shuttle was assembled and a mechanism to orient this model in 3-D to digitize for experiments on pose estimation is being constructed

A Trust Risk Dynamic Management Mechanism Based on Third-Party Monitoring for the Conflict-Eliminating Process of Social Network Group Decision Making

This work was supported in part by the Postgraduate Research & Practice Innovation Program of Jiangsu Province under Grant KYCX20_0507; in part by the Fundamental Research Funds for the Central Universities under Grant B200203165 and Grant B220203013; in part by the National Natural Science Foundation of China (NSFC) under Grant 71871085; in part by the National Natural Science Foundation of Jiangsu Province under Grant BK20210634; in part by the Startup Foundation for Introducing Talent of NUIST under Grant 1521182101004; and in part by the China Scholarship Council under Grant 202106710123.Every decision may involve risks. Real-world risk issues are usually supervised by third parties. Decision-making may be affected by the absence of sufficient or reasonable trust or to the opposite, an unconditional, excessive, or blind trust, which is called trust risks. The conflict-eliminating process (CEP) aims to facilitate satisfactory consensus by decision makers (DMs) through continuous reconciliation between their opinion differences on the subject matter. This article addresses trust risks in CEP of social network group decision making (SNGDM) through third-party monitoring. A trust risk analysis-based conflict-eliminating model for SNGDM is developed. It is assumed that a third-party agency monitors the DMs’ credibility and performance, which is recorded in an objective evaluation matrix and multi-attribute trust assessment matrix (MTAM). A trust risk measurement methodology is proposed to classify the DMs’ different trust risk types and to measure the trust risk index (TRI) of a group of DMs. When TRI is unacceptable, a trust risk management mechanism that controls TRI is activated. Different management policies are applicable to DMs’ different trust risk types. There are two main methods: 1) dynamically update the MTAM based on DMs’ performance and 2) provide suggestions for modifying the DM’s information with high TRI. Besides, as part of the integrated CEP, this model includes an optimization approach to dynamically derive DMs’ reliable aggregation weights from their MTAM. Simulation experiments and an illustrative example support the feasibility and validity of the proposed model for managing trust risks in CEP of SNGDM.Postgraduate Research & Practice Innovation Program of Jiangsu Province KYCX20_0507Fundamental Research Funds for the Central Universities B200203165 B220203013National Natural Science Foundation of China (NSFC) 71871085Natural Science Foundation of Jiangsu Province BK20210634Startup Foundation for Introducing Talent of NUIST 1521182101004China Scholarship Council 20210671012

A Single-Valued Neutrosophic Linguistic Combined Weighted Distance Measure and Its Application in Multiple-Attribute Group Decision-Making

The aim of this paper is to present a multiple-attribute group decision-making (MAGDM) framework based on a new single-valued neutrosophic linguistic (SVNL) distance measure. By unifying the idea of the weighted average and ordered weighted averaging into a single-valued neutrosophic linguistic distance, we first developed a new SVNL weighted distance measure, namely a SVNL combined and weighted distance (SVNLCWD) measure

Fuzzy Sets in Business Management, Finance, and Economics

This book collects fifteen papers published in s Special Issue of Mathematics titled “Fuzzy Sets in Business Management, Finance, and Economics”, which was published in 2021. These paper cover a wide range of different tools from Fuzzy Set Theory and applications in many areas of Business Management and other connected fields. Specifically, this book contains applications of such instruments as, among others, Fuzzy Set Qualitative Comparative Analysis, Neuro-Fuzzy Methods, the Forgotten Effects Algorithm, Expertons Theory, Fuzzy Markov Chains, Fuzzy Arithmetic, Decision Making with OWA Operators and Pythagorean Aggregation Operators, Fuzzy Pattern Recognition, and Intuitionistic Fuzzy Sets. The papers in this book tackle a wide variety of problems in areas such as strategic management, sustainable decisions by firms and public organisms, tourism management, accounting and auditing, macroeconomic modelling, the evaluation of public organizations and universities, and actuarial modelling. We hope that this book will be useful not only for business managers, public decision-makers, and researchers in the specific fields of business management, finance, and economics but also in the broader areas of soft mathematics in social sciences. Practitioners will find methods and ideas that could be fruitful in current management issues. Scholars will find novel developments that may inspire further applications in the social sciences

Multimedia Retrieval: Survey Of Methods And Approaches

As we know there are numbers of applications present where multimedia retrieval is used and also numbers of sources are present. So accuracy is the major issue in retrieval process. There are number of techniques and datasets available to retrieve information. Some techniques uses only text-based image retrieval (TBIR), some uses content-based image retrieval (CBIR) while some are using combination of both. In this paper we are focusing on both TBIR and CBIR results and then fusing these two results. For fusing we are using late fusion. TBIR captures conceptual meaning while CBIR used to avoid false results. So final results are more accurate. In this paper our main goal is to take review of different methods and approaches used for Multimedia Retrieval

A review on fuzzy multi-criteria decision making land clearing for oil palm plantation

Our review paper research categorize the methods in the method of Fuzzy Multi-Criteria Decision Making (FMCDM) to find the method is widely used in the case of land clearing for plantation. Model FMCDM is used to assess the parameter in multi-criteria-based decision making. The dominant percentage of the result was obtained using Fuzzy Analytic Hierarchy Process (FAHP) method. While the application of other methods for the same problem are Fuzzy Ordered Weighted Averaging (FOWA), Fuzzy Elimination Et Choix Traduisant la Realite or Elimination and Choice Translating Reality (FELECTRE), Fuzzy Technique for Order Preference by Similarity to Ideal Solution (FTOPSIS), Fuzzy, Artificial Neural Networks (FANNs) has less. Some the research result also implemented hybrid in FMCDM Method to give some weight in the assessment of decision making. There was also a paper which integrates FMCDM to the GIS method on the land clearing. Therefore, it is concluded that the issue on the land clearing can be done through collaboration of several models of FMCDM, so that it can be developed by involving the decision model using multi-stakeholder mode