Showing 1–50 of 74 results for author: Greco, S

NLPGuard: A Framework for Mitigating the Use of Protected Attributes by NLP Classifiers

Authors: Salvatore Greco, Ke Zhou, Licia Capra, Tania Cerquitelli, Daniele Quercia

Abstract: AI regulations are expected to prohibit machine learning models from using sensitive attributes during training. However, the latest Natural Language Processing (NLP) classifiers, which rely on deep learning, operate as black-box systems, complicating the detection and remediation of such misuse. Traditional bias mitigation methods in NLP aim for comparable performance across different groups base… ▽ More AI regulations are expected to prohibit machine learning models from using sensitive attributes during training. However, the latest Natural Language Processing (NLP) classifiers, which rely on deep learning, operate as black-box systems, complicating the detection and remediation of such misuse. Traditional bias mitigation methods in NLP aim for comparable performance across different groups based on attributes like gender or race but fail to address the underlying issue of reliance on protected attributes. To partly fix that, we introduce NLPGuard, a framework for mitigating the reliance on protected attributes in NLP classifiers. NLPGuard takes an unlabeled dataset, an existing NLP classifier, and its training data as input, producing a modified training dataset that significantly reduces dependence on protected attributes without compromising accuracy. NLPGuard is applied to three classification tasks: identifying toxic language, sentiment analysis, and occupation classification. Our evaluation shows that current NLP classifiers heavily depend on protected attributes, with up to $23\%$ of the most predictive words associated with these attributes. However, NLPGuard effectively reduces this reliance by up to $79\%$, while slightly improving accuracy. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Comments: Paper accepted at CSCW 2024

Unsupervised Concept Drift Detection from Deep Learning Representations in Real-time

Authors: Salvatore Greco, Bartolomeo Vacchetti, Daniele Apiletti, Tania Cerquitelli

Abstract: Concept Drift is a phenomenon in which the underlying data distribution and statistical properties of a target domain change over time, leading to a degradation of the model's performance. Consequently, models deployed in production require continuous monitoring through drift detection techniques. Most drift detection methods to date are supervised, i.e., based on ground-truth labels. However, tru… ▽ More Concept Drift is a phenomenon in which the underlying data distribution and statistical properties of a target domain change over time, leading to a degradation of the model's performance. Consequently, models deployed in production require continuous monitoring through drift detection techniques. Most drift detection methods to date are supervised, i.e., based on ground-truth labels. However, true labels are usually not available in many real-world scenarios. Although recent efforts have been made to develop unsupervised methods, they often lack the required accuracy, have a complexity that makes real-time implementation in production environments difficult, or are unable to effectively characterize drift. To address these challenges, we propose DriftLens, an unsupervised real-time concept drift detection framework. It works on unstructured data by exploiting the distribution distances of deep learning representations. DriftLens can also provide drift characterization by analyzing each label separately. A comprehensive experimental evaluation is presented with multiple deep learning classifiers for text, image, and speech. Results show that (i) DriftLens performs better than previous methods in detecting drift in $11/13$ use cases; (ii) it runs at least 5 times faster; (iii) its detected drift value is very coherent with the amount of drift (correlation $\geq 0.85$); (iv) it is robust to parameter changes. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Representation of preferences for multiple criteria decision aiding in a new seven-valued logic

Authors: Salvatore Greco, Roman Słowiński

Abstract: The seven-valued logic considered in this paper naturally arises within the rough set framework, allowing to distinguish vagueness due to imprecision from ambiguity due to coarseness. Recently, we discussed its utility for reasoning about data describing multi-attribute classification of objects. We also showed that this logic contains, as a particular case, the celebrated Belnap four-valued logic… ▽ More The seven-valued logic considered in this paper naturally arises within the rough set framework, allowing to distinguish vagueness due to imprecision from ambiguity due to coarseness. Recently, we discussed its utility for reasoning about data describing multi-attribute classification of objects. We also showed that this logic contains, as a particular case, the celebrated Belnap four-valued logic. Here, we present how the seven-valued logic, as well as the other logics that derive from it, can be used to represent preferences in the domain of Multiple Criteria Decision Aiding (MCDA). In particular, we propose new forms of outranking and value function preference models that aggregate multiple criteria taking into account imperfect preference information. We demonstrate that our approach effectively addresses common challenges in preference modeling for MCDA, such as uncertainty, imprecision, and ill-determination of performances and preferences. To this end, we present a specific procedure to construct a seven-valued preference relation and use it to define recommendations that consider robustness concerns by utilizing multiple outranking or value functions representing the decision maker s preferences. Moreover, we discuss the main properties of the proposed seven-valued preference structure and compare it with current approaches in MCDA, such as ordinal regression, robust ordinal regression, stochastic multiattribute acceptability analysis, stochastic ordinal regression, and so on. We illustrate and discuss the application of our approach using a didactic example. Finally, we propose directions for future research and potential applications of the proposed methodology. △ Less

Submitted 31 May, 2024; originally announced June 2024.

Deck of Cards method for Hierarchical, Robust and Stochastic Ordinal Regression

Authors: Salvatore Corrente, Salvatore Greco, Silvano Zappalá

Abstract: In this paper, we consider the recently introduced application of the Deck of Cards Method (DCM) to ordinal regression proposing an extension to Robust Ordinal Regression and Stochastic Multiattribute Acceptability Analysis. In Multiple Criteria Decision Aiding context, the proposed methodology permits to assign a value to each alternative evaluated on a set of criteria hierarchically structured.… ▽ More In this paper, we consider the recently introduced application of the Deck of Cards Method (DCM) to ordinal regression proposing an extension to Robust Ordinal Regression and Stochastic Multiattribute Acceptability Analysis. In Multiple Criteria Decision Aiding context, the proposed methodology permits to assign a value to each alternative evaluated on a set of criteria hierarchically structured. The Decision Maker can provide precise or imprecise information at different levels of the hierarchy of criteria using the classical DCM framework. This information is therefore used to infer a value function compatible with it. The compatible value function can be a simple weighted sum, a piecewise linear value function, a general monotonic value function, or a Choquet integral. To provide robust recommendations to the Decision Maker, we consider the Robust Ordinal Regression and the Stochastic Multicriteria Acceptability Analysis because, even if in different ways, both of them take into account the whole set of models compatible with the preference information provided by the Decision Maker. The applicability of the proposed methodology is shown by a didactic example in which Italian regions are evaluated on criteria representing Circular Economy, Innovation Driven Development and Smart Specialization Strategies. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation

Authors: Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

Abstract: Explainable Artificial Intelligence and Formal Argumentation have received significant attention in recent years. Argumentation-based systems often lack explainability while supporting decision-making processes. Counterfactual and semifactual explanations are interpretability techniques that provide insights into the outcome of a model by generating alternative hypothetical instances. While there… ▽ More Explainable Artificial Intelligence and Formal Argumentation have received significant attention in recent years. Argumentation-based systems often lack explainability while supporting decision-making processes. Counterfactual and semifactual explanations are interpretability techniques that provide insights into the outcome of a model by generating alternative hypothetical instances. While there has been important work on counterfactual and semifactual explanations for Machine Learning models, less attention has been devoted to these kinds of problems in argumentation. In this paper, we explore counterfactual and semifactual reasoning in abstract Argumentation Framework. We investigate the computational complexity of counterfactual- and semifactual-based reasoning problems, showing that they are generally harder than classical argumentation problems such as credulous and skeptical acceptance. Finally, we show that counterfactual and semifactual queries can be encoded in weak-constrained Argumentation Framework, and provide a computational strategy through ASP solvers. △ Less

Submitted 7 May, 2024; originally announced May 2024.

FRRI: a novel algorithm for fuzzy-rough rule induction

Authors: Henri Bollaert, Marko Palangetić, Chris Cornelis, Salvatore Greco, Roman Słowiński

Abstract: Interpretability is the next frontier in machine learning research. In the search for white box models - as opposed to black box models, like random forests or neural networks - rule induction algorithms are a logical and promising option, since the rules can easily be understood by humans. Fuzzy and rough set theory have been successfully applied to this archetype, almost always separately. As bo… ▽ More Interpretability is the next frontier in machine learning research. In the search for white box models - as opposed to black box models, like random forests or neural networks - rule induction algorithms are a logical and promising option, since the rules can easily be understood by humans. Fuzzy and rough set theory have been successfully applied to this archetype, almost always separately. As both approaches to rule induction involve granular computing based on the concept of equivalence classes, it is natural to combine them. The QuickRules\cite{JensenCornelis2009} algorithm was a first attempt at using fuzzy rough set theory for rule induction. It is based on QuickReduct, a greedy algorithm for building decision reducts. QuickRules already showed an improvement over other rule induction methods. However, to evaluate the full potential of a fuzzy rough rule induction algorithm, one needs to start from the foundations. In this paper, we introduce a novel rule induction algorithm called Fuzzy Rough Rule Induction (FRRI). We provide background and explain the workings of our algorithm. Furthermore, we perform a computational experiment to evaluate the performance of our algorithm and compare it to other state-of-the-art rule induction approaches. We find that our algorithm is more accurate while creating small rulesets consisting of relatively short rules. We end the paper by outlining some directions for future work. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Integrated MIMO Passive Radar Target Detection

Authors: Amir Zaimbashi, Maria Sabrina Greco, Fulvio Gini

Abstract: Integrated passive radar (IPR) can be regarded as next generation passive radar technology, which aims to integrate communication and radar systems. Unlike conventional passive radar, which does not prioritize communication-centric radar technology, IPR technology places a higher priority on incorporating specific radar constraints to develop waveforms that are better suited for radar applications… ▽ More Integrated passive radar (IPR) can be regarded as next generation passive radar technology, which aims to integrate communication and radar systems. Unlike conventional passive radar, which does not prioritize communication-centric radar technology, IPR technology places a higher priority on incorporating specific radar constraints to develop waveforms that are better suited for radar applications. This paper deals with the problem of distributed MIMO IPR target detection under uncalibrated surveillance/reference receivers. We focus on a communication-centric radar system consisting of several opportunity transmitters non-overlap** in frequency with the same bandwidth and several spatially separated receivers. Five new detectors are devised according to the likelihood ratio test (LRT), Rao, Wald, Gradient and Durbin criteria. Although, it is shown that these detectors are asymptotically equivalent, they provide different performance in the presence of noisy reference channels. The invariance principle is applied in this paper to show that all uncertainties affecting threshold setting can be unified in the direct-path signal power-to-noise power ratio (DNR) of the reference channels. To ensure effective detection threshold setting regardless of the DNR values in the reference channels, we introduce a novel strategy to adjust the level of the proposed detectors rather than their sizes. Then, we examine false alarm regulations and detection performance of the fixed-level proposed detectors to demonstrate their effectiveness compared to several existing detectors. Thus, we create a unified framework for uncalibrated MIMO IPR target detection in the presence of noisy reference channels. △ Less

Submitted 26 February, 2024; originally announced February 2024.

Even-if Explanations: Formal Foundations, Priorities and Complexity

Authors: Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi, Reza Shahbazian, Irina Trubitsyna

Abstract: EXplainable AI has received significant attention in recent years. Machine learning models often operate as black boxes, lacking explainability and transparency while supporting decision-making processes. Local post-hoc explainability queries attempt to answer why individual inputs are classified in a certain way by a given model. While there has been important work on counterfactual explanations,… ▽ More EXplainable AI has received significant attention in recent years. Machine learning models often operate as black boxes, lacking explainability and transparency while supporting decision-making processes. Local post-hoc explainability queries attempt to answer why individual inputs are classified in a certain way by a given model. While there has been important work on counterfactual explanations, less attention has been devoted to semifactual ones. In this paper, we focus on local post-hoc explainability queries within the semifactual `even-if' thinking and their computational complexity among different classes of models, and show that both linear and tree-based models are strictly more interpretable than neural networks. After this, we introduce a preference-based framework that enables users to personalize explanations based on their preferences, both in the case of semifactuals and counterfactuals, enhancing interpretability and user-centricity. Finally, we explore the complexity of several interpretability problems in the proposed preference-based framework and provide algorithms for polynomial cases. △ Less

Submitted 22 May, 2024; v1 submitted 17 January, 2024; originally announced January 2024.

Comments: arXiv admin note: text overlap with arXiv:2010.12265 by other authors

Pawlak, Belnap and the magical number seven

Authors: Salvatore Greco, Roman Slowinski

Abstract: We are considering the algebraic structure of the Pawlak-Brouwer-Zadeh lattice to distinguish vagueness due to imprecision from ambiguity due to coarseness. We show that a general class of many-valued logics useful for reasoning about data emerges from this context. All these logics can be obtained from a very general seven-valued logic which, interestingly enough, corresponds to a reasoning syste… ▽ More We are considering the algebraic structure of the Pawlak-Brouwer-Zadeh lattice to distinguish vagueness due to imprecision from ambiguity due to coarseness. We show that a general class of many-valued logics useful for reasoning about data emerges from this context. All these logics can be obtained from a very general seven-valued logic which, interestingly enough, corresponds to a reasoning system developed by Jaina philosophers four centuries BC. In particular, we show how the celebrated Belnap four-valued logic can be obtained from the very general seven-valued logic based on the Pawlak-Brouwer-Zadeh lattice. △ Less

Submitted 17 October, 2023; originally announced October 2023.

Discounting and Impatience

Authors: Salvatore Greco, Diego Rago

Abstract: Understanding how people actually trade off time for money is perhaps the major question in the field of time discounting. There is indeed a vast body of work devoted to explore the underlying mechanisms of the individual decision making process in an intertemporal context. This paper presents a family of new discount functions whereof we derive a formal axiomatization. Applying the framework prop… ▽ More Understanding how people actually trade off time for money is perhaps the major question in the field of time discounting. There is indeed a vast body of work devoted to explore the underlying mechanisms of the individual decision making process in an intertemporal context. This paper presents a family of new discount functions whereof we derive a formal axiomatization. Applying the framework proposed by Bleichrodt, Rohde and Wakker, we further extend their formulation of CADI and CRDI functions, making discounting a function not only of time delay but, simultaneously, also of time distortion. Our main purpose is, in practice, to provide a tractable setting within which individual intertemporal preferences can be outlined. Furthermore, we apply our models to study the relation between individual time preferences and personality traits. For the CADI-CADI, results show that the habit of smoking is heavily related with both impatience and time perception. Within the Big-Five framework, conscientiousness, agreeableness and openness are positively related with patience (low r, initial discount rate). △ Less

Submitted 25 September, 2023; originally announced September 2023.

Querying Data Exchange Settings Beyond Positive Queries

Authors: Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Abstract: Data exchange, the problem of transferring data from a source schema to a target schema, has been studied for several years. The semantics of answering positive queries over the target schema has been defined in early work, but little attention has been paid to more general queries. A few proposals of semantics for more general queries exist but they either do not properly extend the standard se… ▽ More Data exchange, the problem of transferring data from a source schema to a target schema, has been studied for several years. The semantics of answering positive queries over the target schema has been defined in early work, but little attention has been paid to more general queries. A few proposals of semantics for more general queries exist but they either do not properly extend the standard semantics under positive queries, giving rise to counterintuitive answers, or they make query answering undecidable even for the most important data exchange settings, e.g., with weakly-acyclic dependencies. The goal of this paper is to provide a new semantics for data exchange that is able to deal with general queries. At the same time, we want our semantics to coincide with the classical one when focusing on positive queries, and to not trade-off too much in terms of complexity of query answering. We show that query answering is undecidable in general under the new semantics, but it is $\co\NP\complete$ when the dependencies are weakly-acyclic. Moreover, in the latter case, we show that exact answers under our semantics can be computed by means of logic programs with choice, thus exploiting existing efficient systems. For more efficient computations, we also show that our semantics allows for the construction of a representative target instance, similar in spirit to a universal solution, that can be exploited for computing approximate answers in polynomial time. Under consideration in Theory and Practice of Logic Programming (TPLP). △ Less

Submitted 6 July, 2023; originally announced July 2023.

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

A new Ordinal Regression procedure for Multiple Criteria Decision Aiding: the case of the space time model for a sustainable Ecovillage

Authors: Maria Barbati, Salvatore Greco, Isabella M. Lami

Abstract: In this paper, we present a methodology based on a multiobjective optimization suggesting which facility to implement, in which location, and at which time. In this context, we define a new elicitation procedure to handle Decision Makers (DMs) preferences with an intrinsic and more general interest that goes beyond the specific decision problem. In particular, the user's preferences are elicited b… ▽ More In this paper, we present a methodology based on a multiobjective optimization suggesting which facility to implement, in which location, and at which time. In this context, we define a new elicitation procedure to handle Decision Makers (DMs) preferences with an intrinsic and more general interest that goes beyond the specific decision problem. In particular, the user's preferences are elicited by conjugating the deck of cards method with the ordinal regression approach allowing the DM to provide preference information in terms of ranking and pairwise comparing with regard to the intensity of preference of some solutions of the optimization problem. Then, the score of the reference solutions obtained through the deck of the cards method is used as a basis for an ordinal regression procedure that, to take into account interaction between criteria, represents DM's multicriteria preferences by means of a value function expressed in terms of a Choquet Integral. The obtained value function is then used to define a multiobjective optimization problem. The new feasible solutions obtained by the resolution of the optimization problem are proposed to the DM to verify his appreciation and collect further new preference information to iterate the interaction procedure ending when the DM is satisfied of the proposed solution. We apply our methodology to a real world problem to handle the planning procedure of a sustainable Ecovillage in the province of Turin (Italy). We consider a set of facilities to be distributed in a given space in a proper temporal sequence that we conveniently formulated in terms of the space time model introduced by Barbati et al. (2020). We interact with the President of the cooperative owning the Ecovillage to detail what facilities of the Ecovillage should be selected among the proposed ones, where they should be located, and when they should be planned. △ Less

Submitted 1 May, 2023; originally announced May 2023.

Inducing a probability distribution in Stochastic Multicriteria Acceptability Analysis

Authors: Sally Giuseppe Arcidiacono, Salvatore Corrente, Salvatore Greco

Abstract: In multiple criteria decision aiding, very often the alternatives are compared by means of a value function compatible with the preferences expressed by the Decision Maker. The problem is that, in general, there is a plurality of compatible value functions, and providing a final recommendation on the problem at hand considering only one of them could be considered arbitrary to some extent. For suc… ▽ More In multiple criteria decision aiding, very often the alternatives are compared by means of a value function compatible with the preferences expressed by the Decision Maker. The problem is that, in general, there is a plurality of compatible value functions, and providing a final recommendation on the problem at hand considering only one of them could be considered arbitrary to some extent. For such a reason, Stochastic Multicriteria Acceptability Analysis gives information in statistical terms by taking into account a sample of models compatible with the provided preferences. These statistics are given assuming the existence of a probability distribution in the space of value functions being defined a priori. In this paper, we propose some methods aiming to build a probability distribution on the space of value functions considering the preference information given by the Decision Maker. To prove the goodness of our proposal we performed an extensive set of simulations. Moreover, a sensitivity analysis on the variables of our procedure has been done as well. △ Less

Submitted 13 April, 2023; originally announced April 2023.

Operational Research: Methods and Applications

Authors: Fotios Petropoulos, Gilbert Laporte, Emel Aktas, Sibel A. Alumur, Claudia Archetti, Hayriye Ayhan, Maria Battarra, Julia A. Bennell, Jean-Marie Bourjolly, John E. Boylan, Michèle Breton, David Canca, Laurent Charlin, Bo Chen, Cihan Tugrul Cicek, Louis Anthony Cox Jr, Christine S. M. Currie, Erik Demeulemeester, Li Ding, Stephen M. Disney, Matthias Ehrgott, Martin J. Eppler, Güneş Erdoğan, Bernard Fortz, L. Alberto Franco , et al. (57 additional authors not shown)

Abstract: Throughout its history, Operational Research has evolved to include a variety of methods, models and algorithms that have been applied to a diverse and wide range of contexts. This encyclopedic article consists of two main sections: methods and applications. The first aims to summarise the up-to-date knowledge and provide an overview of the state-of-the-art methods and key developments in the vari… ▽ More Throughout its history, Operational Research has evolved to include a variety of methods, models and algorithms that have been applied to a diverse and wide range of contexts. This encyclopedic article consists of two main sections: methods and applications. The first aims to summarise the up-to-date knowledge and provide an overview of the state-of-the-art methods and key developments in the various subdomains of the field. The second offers a wide-ranging list of areas where Operational Research has been applied. The article is meant to be read in a nonlinear fashion. It should be used as a point of reference or first-port-of-call for a diverse pool of readers: academics, researchers, students, and practitioners. The entries within the methods and applications sections are presented in alphabetical order. The authors dedicate this paper to the 2023 Turkey/Syria earthquake victims. We sincerely hope that advances in OR will play a role towards minimising the pain and suffering caused by this and future catastrophes. △ Less

Submitted 13 January, 2024; v1 submitted 24 March, 2023; originally announced March 2023.

Journal ref: Journal of the Operational Research Society (2024) 75(3)

Workforce Development Through Research-Based, Plasma-Focused Activities

Authors: E G Kostadinova, Shannon Greco, Maajida Murdock, Ernesto Barraza-Valdez, Hannah R Hasson, Imani Z West-Abdallah, Cheryl A Harper, Katrina Brown, Earl Scime, Franklin Dollar, Carl Greninger, Bryan Stanley, Elizabeth Oxford, David Schaffner, Laura Provenzani, Chandra Breanne Curry, Claudia Fracchiolla, Shams El-Adawy, Saikat Chakraborty Thakur, Dmitri Orlov, Caroline Anderson

Abstract: This report is a summary of the mini-conference Workforce Development Through Research-Based, Plasma-Focused Science Education and Public Engagement held during the 2022 American Physical Society Division of Plasma Physics (APS DPP) annual meeting. The motivation for organizing this mini-conference originates from recent studies and community-based reports highlighting important issues with the cu… ▽ More This report is a summary of the mini-conference Workforce Development Through Research-Based, Plasma-Focused Science Education and Public Engagement held during the 2022 American Physical Society Division of Plasma Physics (APS DPP) annual meeting. The motivation for organizing this mini-conference originates from recent studies and community-based reports highlighting important issues with the current state of the plasma workforce. Here we summarize the main findings presented in the two speaker sessions of the mini-conference, the challenges and recommendations identified in the discussion sessions, and the results from a post-conference survey. We further provide information on initiatives and studies presented at the mini-conference, along with references to further resources. △ Less

Submitted 2 April, 2023; v1 submitted 11 March, 2023; originally announced March 2023.

Comments: 15 pages, 4 figures

Dominance-based Rough Set Approach, basic ideas and main trends

Authors: Jerzy Błaszczyński, Salvatore Greco, Benedetto Matarazzo, Marcin Szeląg

Abstract: Dominance-based Rough Approach (DRSA) has been proposed as a machine learning and knowledge discovery methodology to handle Multiple Criteria Decision Aiding (MCDA). Due to its capacity of asking the decision maker (DM) for simple preference information and supplying easily understandable and explainable recommendations, DRSA gained much interest during the years and it is now one of the most appr… ▽ More Dominance-based Rough Approach (DRSA) has been proposed as a machine learning and knowledge discovery methodology to handle Multiple Criteria Decision Aiding (MCDA). Due to its capacity of asking the decision maker (DM) for simple preference information and supplying easily understandable and explainable recommendations, DRSA gained much interest during the years and it is now one of the most appreciated MCDA approaches. In fact, it has been applied also beyond MCDA domain, as a general knowledge discovery and data mining methodology for the analysis of monotonic (and also non-monotonic) data. In this contribution, we recall the basic principles and the main concepts of DRSA, with a general overview of its developments and software. We present also a historical reconstruction of the genesis of the methodology, with a specific focus on the contribution of Roman Słowiński. △ Less

Submitted 6 October, 2022; originally announced October 2022.

Comments: This research was partially supported by TAILOR, a project funded by European Union (EU) Horizon 2020 research and innovation programme under GA No 952215. This submission is a preprint of a book chapter accepted by Springer, with very few minor differences of just technical nature

MSC Class: I.2.6[Artificial Intelligence]:Learning---induction; I.2.4[AI]:Knowledge Representation Formalisms and Methods---representations (procedural and rule-based)

Journal ref: [In]: S. Greco et al (Eds.), Intelligent Decision Support Systems, MCDM. Springer, Cham, 2022, pp. 353-382

Fuzzy granular approximation classifier

Authors: Marko Palangetić, Chris Cornelis, Salvatore Greco, Roman Słowiński

Abstract: In this article, a new Fuzzy Granular Approximation Classifier (FGAC) is introduced. The classifier is based on the previously introduced concept of the granular approximation and its multi-class classification case. The classifier is instance-based and its biggest advantage is its local transparency i.e., the ability to explain every individual prediction it makes. We first develop the FGAC for t… ▽ More In this article, a new Fuzzy Granular Approximation Classifier (FGAC) is introduced. The classifier is based on the previously introduced concept of the granular approximation and its multi-class classification case. The classifier is instance-based and its biggest advantage is its local transparency i.e., the ability to explain every individual prediction it makes. We first develop the FGAC for the binary classification case and the multi-class classification case and we discuss its variation that includes the Ordered Weighted Average (OWA) operators. Those variations of the FGAC are then empirically compared with other locally transparent ML methods. At the end, we discuss the transparency of the FGAC and its advantage over other locally transparent methods. We conclude that while the FGAC has similar predictive performance to other locally transparent ML models, its transparency can be superior in certain cases. △ Less

Submitted 2 June, 2022; originally announced June 2022.

Multiobjective Combinatorial Optimization with Interactive Evolutionary Algorithms: the case of facility location problems

Authors: Maria Barbati, Salvatore Corrente, Salvatore Greco

Abstract: We consider multiobjective combinatorial optimization problems handled by means of preference driven efficient heuristics. They look for the most preferred part of the Pareto front on the basis of some preferences expressed by the Decision Maker during the process. In general, what is searched for in this case is the Pareto set of efficient solutions. This is a problem much more difficult than opt… ▽ More We consider multiobjective combinatorial optimization problems handled by means of preference driven efficient heuristics. They look for the most preferred part of the Pareto front on the basis of some preferences expressed by the Decision Maker during the process. In general, what is searched for in this case is the Pareto set of efficient solutions. This is a problem much more difficult than optimizing a single objective function. Moreover, obtaining the Pareto set does not mean that the decision problem is solved since one or some of the solutions have to be chosen. Indeed, to make a decision, it is necessary to determine the most preferred solution in the Pareto set, so that it is also necessary to elicit the preferences of the user. In this perspective, what we are proposing can be seen as the first structured methodology in facility location problems to search optimal solutions taking into account preferences of the user. With this aim, we approach facility location problems using a recently proposed interactive evolutionary multiobjective optimization procedure called NEMO-II-Ch. NEMO-II-Ch is applied to a real world multiobjective location problem with many users and many facilities to be located. Several simulations considering different fictitious users have been performed. The results obtained by NEMO-II-Ch are compared with those got by three algorithms which know the user's true value function that is, instead, unknown to NEMO-II-Ch. They show that in many cases NEMO-II-Ch finds the best subset of locations more quickly than the methods knowing, exactly, the whole user's true preferences. △ Less

Submitted 8 March, 2022; originally announced March 2022.

Multi-class granular approximation by means of disjoint and adjacent fuzzy granules

Authors: Marko Palangetić, Chris Cornelis, Salvatore Greco, Roman Słowiński

Abstract: In granular computing, fuzzy sets can be approximated by granularly representable sets that are as close as possible to the original fuzzy set w.r.t. a given closeness measure. Such sets are called granular approximations. In this article, we introduce the concepts of disjoint and adjacent granules and we examine how the new definitions affect the granular approximations. First, we show that the n… ▽ More In granular computing, fuzzy sets can be approximated by granularly representable sets that are as close as possible to the original fuzzy set w.r.t. a given closeness measure. Such sets are called granular approximations. In this article, we introduce the concepts of disjoint and adjacent granules and we examine how the new definitions affect the granular approximations. First, we show that the new concepts are important for binary classification problems since they help to keep decision regions separated (disjoint granules) and at the same time to cover as much as possible of the attribute space (adjacent granules). Later, we consider granular approximations for multi-class classification problems leading to the definition of a multi-class granular approximation. Finally, we show how to efficiently calculate multi-class granular approximations for Łukasiewicz fuzzy connectives. We also provide graphical illustrations for a better understanding of the introduced concepts. △ Less

Submitted 15 February, 2022; originally announced February 2022.

Informal Science Education and Career Advancement

Authors: Michael Smith, Claudia Fracchiolla, Sean Fleming, Arturo Dominguez, Alexandra Lau, Shannon Greco, Don Lincoln, Eleni Katifori, William Ratcliff, Maria Longobardi, Maajida Murdock, Mustapha Ishak

Abstract: This document supports a proposed APS statement that encourages academic, research, and other institutions to add the participation in informal science education activities to the criteria they use for hiring and career advancement decisions. There is a prevalent attitude that the time spent by a researcher on these activities takes time away from research efforts that are more valued by their pee… ▽ More This document supports a proposed APS statement that encourages academic, research, and other institutions to add the participation in informal science education activities to the criteria they use for hiring and career advancement decisions. There is a prevalent attitude that the time spent by a researcher on these activities takes time away from research efforts that are more valued by their peers and their institution. To change this mindset, we enumerate the many benefits of informal science education activities to the public, to researchers, to their institutions, and to the field of physics. We also suggest aspects of these activities that may be considered by institutions in evaluating informal educational efforts for recruitment and career advancement decisions. △ Less

Submitted 20 December, 2021; originally announced December 2021.

Comments: 11 pages, 0 figures, work done by American Physical Society Committee to Inform the Public

Enhancement of a state-of-the-art RL-based detection algorithm for Massive MIMO radars

Authors: Francesco Lisi, Stefano Fortunati, Maria Sabrina Greco, Fulvio Gini

Abstract: In the present work, a reinforcement learning (RL) based adaptive algorithm to optimise the transmit beampattern for a colocated massive MIMO radar is presented. Under the massive MIMO regime, a robust Wald type detector, able to guarantee certain detection performances under a wide range of practical disturbance models, has been recently proposed. Furthermore, an RL/cognitive methodology has been… ▽ More In the present work, a reinforcement learning (RL) based adaptive algorithm to optimise the transmit beampattern for a colocated massive MIMO radar is presented. Under the massive MIMO regime, a robust Wald type detector, able to guarantee certain detection performances under a wide range of practical disturbance models, has been recently proposed. Furthermore, an RL/cognitive methodology has been exploited to improve the detection performance by learning and interacting with the surrounding unknown environment. Building upon previous findings, we develop here a fully adaptive and data driven scheme for the selection of the hyper-parameters involved in the RL algorithm. Such an adaptive selection makes the Wald RL based detector independent of any ad hoc, and potentially suboptimal, manual tuning of the hyper-parameters. Simulation results show the effectiveness of the proposed scheme in harsh scenarios with strong clutter and low SNR values. △ Less

Submitted 17 March, 2022; v1 submitted 5 December, 2021; originally announced December 2021.

A Novel Machine Learning Approach to Data Inconsistency with respect to a Fuzzy Relation

Authors: Marko Palangetić, Chris Cornelis, Salvatore Greco, Roman Słowiński

Abstract: Inconsistency in prediction problems occurs when instances that relate in a certain way on condition attributes, do not follow the same relation on the decision attribute. For example, in ordinal classification with monotonicity constraints, it occurs when an instance dominating another instance on condition attributes has been assigned to a worse decision class. It typically appears as a result o… ▽ More Inconsistency in prediction problems occurs when instances that relate in a certain way on condition attributes, do not follow the same relation on the decision attribute. For example, in ordinal classification with monotonicity constraints, it occurs when an instance dominating another instance on condition attributes has been assigned to a worse decision class. It typically appears as a result of perturbation in data caused by incomplete knowledge (missing attributes) or by random effects that occur during data generation (instability in the assessment of decision attribute values). Inconsistencies with respect to a crisp preorder relation (expressing either dominance or indiscernibility between instances) can be handled using symbolic approaches like rough set theory and by using statistical/machine learning approaches that involve optimization methods. Fuzzy rough sets can also be seen as a symbolic approach to inconsistency handling with respect to a fuzzy relation. In this article, we introduce a new machine learning method for inconsistency handling with respect to a fuzzy preorder relation. The novel approach is motivated by the existing machine learning approach used for crisp relations. We provide statistical foundations for it and develop optimization procedures that can be used to eliminate inconsistencies. The article also proves important properties and contains didactic examples of those procedures. △ Less

Submitted 26 November, 2021; originally announced November 2021.

Supporting the robust ordinal regression approach to multiple criteria decision aiding with a set of representative value functions

Authors: Sally Giuseppe Arcidiacono, Salvatore Corrente, Salvatore Greco

Abstract: In this paper we propose a new methodology to represent the results of the robust ordinal regression approach by means of a family of representative value functions for which, taken two alternatives $a$ and $b$, the following two conditions are satisfied: 1) if for all compatible value functions $a$ is evaluated not worse than $b$ and for at least one value function $a$ has a better evaluation, th… ▽ More In this paper we propose a new methodology to represent the results of the robust ordinal regression approach by means of a family of representative value functions for which, taken two alternatives $a$ and $b$, the following two conditions are satisfied: 1) if for all compatible value functions $a$ is evaluated not worse than $b$ and for at least one value function $a$ has a better evaluation, then the evaluation of $a$ is greater than the evaluation of $b$ for all representative value functions; 2) if there exists one compatible value function giving $a$ an evaluation greater than $b$ and another compatible value function giving $a$ an evaluation smaller than $b$, then there are also at least one representative function giving a better evaluation to $a$ and another representative value function giving $a$ an evaluation smaller than $b$. This family of representative value functions intends to provide the Decision Maker (DM) a more clear idea of the preferences obtained by the compatible value functions, with the aim to support the discussion in constructive approach of Multiple Criteria Decision Aiding. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Scoring from Pairwise Winning Indices

Authors: Sally Giuseppe Arcidiacono, Salvatore Corrente, Salvatore Greco

Abstract: The pairwise winning indices, computed in the Stochastic Multicriteria Acceptability Analysis, give the probability with which an alternative is preferred to another taking into account all the instances of the assumed preference model compatible with the information provided by the Decision Maker in terms of pairwise preference comparisons of reference alternatives. In this paper we present a new… ▽ More The pairwise winning indices, computed in the Stochastic Multicriteria Acceptability Analysis, give the probability with which an alternative is preferred to another taking into account all the instances of the assumed preference model compatible with the information provided by the Decision Maker in terms of pairwise preference comparisons of reference alternatives. In this paper we present a new scoring method assigning a value to each alternative summarizing the results of the pairwise winning indices. Several procedures assigning a score to each alternative on the basis of the pairwise winning indices have been provided in literature. However, while all of them compute this score just to rank the alternatives under consideration, our method, expressing the score in terms of an additive value function, permits to disaggregate the overall evaluation of each alternative in the sum of contributions of considered criteria. This will permit not only to rank the alternatives but also to explain the reasons for which an alternative obtains its evaluation and, consequently, fills a certain ranking position. To prove the efficiency of the method in representing the preferences of the Decision Maker, we performed an extensive set of simulations varying the number of alternatives and criteria. The results of the simulations, analyzed from a statistical point of view, show the goodness of our procedure. The applicability of the method to decision making problems is explained by means of a case study related to the evaluation of financial funds. △ Less

Submitted 26 March, 2022; v1 submitted 13 July, 2021; originally announced July 2021.

Supporting decisions by unleashing multiple mindsets using pairwise comparisons method

Authors: Salvatore Greco, Sajid Siraj, Michele Lundy

Abstract: Inconsistency in pairwise comparison judgements is often perceived as an unwanted phenomenon and researchers have proposed a number of techniques to either reduce it or to correct it. We take a viewpoint that this inconsistency unleashes different mindsets of the decision maker(s) that should be taken into account when generating recommendations as decision support. With this aim we consider the s… ▽ More Inconsistency in pairwise comparison judgements is often perceived as an unwanted phenomenon and researchers have proposed a number of techniques to either reduce it or to correct it. We take a viewpoint that this inconsistency unleashes different mindsets of the decision maker(s) that should be taken into account when generating recommendations as decision support. With this aim we consider the spanning trees analysis which is a recently emerging idea for use with the pairwise comparison approach that represents the plurality of mindsets (in terms of a plurality of vectors corresponding to different spanning trees). Until now, the multiplicity of the vectors supplied by the spanning trees approach have been amalgamated into a single preference vector, losing the information about the plurality of mindsets. To preserve this information, we propose a novel methodology taking an approach similar to Stochastic Multi-criteria Acceptability Analysis. Considering all the rankings of alternatives corresponding to the different mindsets, our methodology gives the probability that an alternative attains a given ranking position as well as the probability that an alternative is preferred to another one. Since the exponential number of spanning trees makes their enumeration prohibitive, we propose computing approximate probabilities using statistical sampling of the spanning trees. Our approach is also appealing because it can be applied also to incomplete sets of pairwise comparisons. We demonstrate its usefulness with a didactic example as well as with an application to a real-life case of selecting a Telecom backbone infrastructure for rural areas. △ Less

Submitted 4 July, 2021; originally announced July 2021.

Understanding the growth of the Fediverse through the lens of Mastodon

Authors: Lucio La Cava, Sergio Greco, Andrea Tagarelli

Abstract: Open-source, Decentralized Online Social Networks (DOSNs) are emerging as alternatives to the popular yet centralized and profit-driven platforms like Facebook or Twitter. In DOSNs, users can set up their own server, or instance, while they can actually interact with users of other instances. Moreover, by adopting the same communication protocol, DOSNs become part of a massive social network, name… ▽ More Open-source, Decentralized Online Social Networks (DOSNs) are emerging as alternatives to the popular yet centralized and profit-driven platforms like Facebook or Twitter. In DOSNs, users can set up their own server, or instance, while they can actually interact with users of other instances. Moreover, by adopting the same communication protocol, DOSNs become part of a massive social network, namely the Fediverse. Mastodon is the most relevant platform in the Fediverse to date, and also the one that has attracted attention from the research community. Existing studies are however limited to an analysis of a relatively outdated sample of Mastodon focusing on few aspects at a user level, while several open questions have not been answered yet, especially at the instance level. In this work, we aim at pushing forward our understanding of the Fediverse by leveraging the primary role of Mastodon therein. Our first contribution is the building of an up-to-date and highly representative dataset of Mastodon. Upon this new data, we have defined a network model over Mastodon instances and exploited it to investigate three major aspects: the structural features of the Mastodon network of instances from a macroscopic as well as a mesoscopic perspective, to unveil the distinguishing traits of the underlying federative mechanism; the backbone of the network, to discover the essential interrelations between the instances; and the growth of Mastodon, to understand how the shape of the instance network has evolved during the last few years, also when broading the scope to account for instances belonging to other platforms. Our extensive analysis of the above aspects has provided a number of findings that reveal distinguishing features of Mastodon and that can be used as a starting point for the discovery of all the DOSN Fediverse. △ Less

Submitted 29 June, 2021; originally announced June 2021.

Comments: Accepted for publication with Applied Network Science, Springer Open, June 12, 2021

MSC Class: 68U35 ACM Class: I.0; J.4

Journal ref: Applied Network Science, vol. 6, article 64, 2021

Explaining the Deep Natural Language Processing by Mining Textual Interpretable Features

Authors: Francesco Ventura, Salvatore Greco, Daniele Apiletti, Tania Cerquitelli

Abstract: Despite the high accuracy offered by state-of-the-art deep natural-language models (e.g. LSTM, BERT), their application in real-life settings is still widely limited, as they behave like a black-box to the end-user. Hence, explainability is rapidly becoming a fundamental requirement of future-generation data-driven systems based on deep-learning approaches. Several attempts to fulfill the existing… ▽ More Despite the high accuracy offered by state-of-the-art deep natural-language models (e.g. LSTM, BERT), their application in real-life settings is still widely limited, as they behave like a black-box to the end-user. Hence, explainability is rapidly becoming a fundamental requirement of future-generation data-driven systems based on deep-learning approaches. Several attempts to fulfill the existing gap between accuracy and interpretability have been done. However, robust and specialized xAI (Explainable Artificial Intelligence) solutions tailored to deep natural-language models are still missing. We propose a new framework, named T-EBAnO, which provides innovative prediction-local and class-based model-global explanation strategies tailored to black-box deep natural-language models. Given a deep NLP model and the textual input data, T-EBAnO provides an objective, human-readable, domain-specific assessment of the reasons behind the automatic decision-making process. Specifically, the framework extracts sets of interpretable features mining the inner knowledge of the model. Then, it quantifies the influence of each feature during the prediction process by exploiting the novel normalized Perturbation Influence Relation index at the local level and the novel Global Absolute Influence and Global Relative Influence indexes at the global level. The effectiveness and the quality of the local and global explanations obtained with T-EBAnO are proved on (i) a sentiment analysis task performed by a fine-tuned BERT model, and (ii) a toxic comment classification task performed by an LSTM model. △ Less

Submitted 12 June, 2021; originally announced June 2021.

Data Envelopment Analysis models with imperfect knowledge of input and output values: An application to Portuguese public hospitals

Authors: Diogo Cunha Ferreira, Josè RUi Figueira, Salvatore Greco, Rui Marques

Abstract: Assessing the technical efficiency of a set of observations requires that the associated data composed of inputs and outputs are perfectly known. If this is not the case, then biased estimates will likely be obtained. Data Envelopment Analysis (DEA) is one of the most extensively used mathematical models to estimate efficiency. It constructs a piecewise linear frontier against which all observatio… ▽ More Assessing the technical efficiency of a set of observations requires that the associated data composed of inputs and outputs are perfectly known. If this is not the case, then biased estimates will likely be obtained. Data Envelopment Analysis (DEA) is one of the most extensively used mathematical models to estimate efficiency. It constructs a piecewise linear frontier against which all observations are compared. Since the frontier is empirically defined, any deviation resulting from low data quality (imperfect knowledge of data or IKD) may lead to efficiency under/overestimation. In this study, we model IKD and, then, apply the so-called Hit \& Run procedure to randomly generate admissible observations, following some prespecified probability density functions. Sets used to model IKD limit the domain of data associated with each observation. Any point belonging to that domain is a candidate to figure out as the observation for efficiency assessment. Hence, this sampling procedure must run a sizable number of times (infinite, in theory) in such a way that it populates the whole sets. The DEA technique is used during the execution of each iteration to estimate bootstrapped efficiency scores for each observation. We use some scenarios to show that the proposed routine can outperform some of the available alternatives. We also explain how efficiency estimations can be used for statistical inference. An empirical case study based on the Portuguese public hospitals database (2013-2016) was addressed using the proposed method. △ Less

Submitted 20 April, 2021; originally announced April 2021.

Proceedings 36th International Conference on Logic Programming (Technical Communications)

Authors: Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi

Abstract: Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: - Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation. - Declarative Programm… ▽ More Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: - Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation. - Declarative Programming: Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic-based domain-specific languages, constraint handling rules. - Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming, Description logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning. - Implementation: Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta-programming, Foreign interfaces, User interfaces. - Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Education, Computational life sciences, Education, Cybersecurity, and Robotics. △ Less

Submitted 19 September, 2020; originally announced September 2020.

Journal ref: EPTCS 325, 2020

On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach

Authors: Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

Abstract: Recently there has been an increasing interest in frameworks extending Dung's abstract Argumentation Framework (AF). Popular extensions include bipolar AFs and AFs with recursive attacks and necessary supports. Although the relationships between AF semantics and Partial Stable Models (PSMs) of logic programs has been deeply investigated, this is not the case for more general frameworks extending A… ▽ More Recently there has been an increasing interest in frameworks extending Dung's abstract Argumentation Framework (AF). Popular extensions include bipolar AFs and AFs with recursive attacks and necessary supports. Although the relationships between AF semantics and Partial Stable Models (PSMs) of logic programs has been deeply investigated, this is not the case for more general frameworks extending AF. In this paper we explore the relationships between AF-based frameworks and PSMs. We show that every AF-based framework $Δ$ can be translated into a logic program $P_Δ$ so that the extensions prescribed by different semantics of $Δ$ coincide with subsets of the PSMs of $P_Δ$. We provide a logic programming approach that characterizes, in an elegant and uniform way, the semantics of several AF-based frameworks. This result allows also to define the semantics for new AF-based frameworks, such as AFs with recursive attacks and recursive deductive supports. Under consideration for publication in Theory and Practice of Logic Programming. △ Less

Submitted 6 August, 2020; originally announced August 2020.

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages

A Reinforcement Learning based approach for Multi-target Detection in Massive MIMO radar

Authors: Aya Mostafa Ahmed, Alaa Alameer Ahmad, Stefano Fortunati, Aydin Sezgin, Maria S. Greco, Fulvio Gini

Abstract: This paper considers the problem of multi-target detection for massive multiple input multiple output (MMIMO) cognitive radar (CR). The concept of CR is based on the perception-action cycle that senses and intelligently adapts to the dynamic environment in order to optimally satisfy a specific mission. However, this usually requires a priori knowledge of the environmental model, which is not avail… ▽ More This paper considers the problem of multi-target detection for massive multiple input multiple output (MMIMO) cognitive radar (CR). The concept of CR is based on the perception-action cycle that senses and intelligently adapts to the dynamic environment in order to optimally satisfy a specific mission. However, this usually requires a priori knowledge of the environmental model, which is not available in most cases. We propose a reinforcement learning (RL) based algorithm for cognitive multi-target detection in the presence of unknown disturbance statistics. The radar acts as an agent that continuously senses the unknown environment (i.e., targets and disturbance) and consequently optimizes transmitted waveforms in order to maximize the probability of detection ($P_\mathsf{D}$) by focusing the energy in specific range-angle cells (i.e., beamforming). Furthermore, we propose a solution to the beamforming optimization problem with less complexity than the existing methods. Numerical simulations are performed to assess the performance of the proposed RL-based algorithm in both stationary and dynamic environments. The RL based beamforming is compared to the conventional omnidirectional approach with equal power allocation and to adaptive beamforming with no RL. As highlighted by the proposed numerical results, our RL-based beamformer outperforms both approaches in terms of target detection performance. The performance improvement is even particularly remarkable under environmentally harsh conditions such as low SNR, heavy-tailed disturbance and rapidly changing scenarios. △ Less

Submitted 2 March, 2021; v1 submitted 10 May, 2020; originally announced May 2020.

Robust stochastic sorting with interacting criteria hierarchically structured

Authors: Sally Giuseppe Arcidiacono, Salvatore Corrente, Salvatore Greco

Abstract: In this paper we propose a new multiple criteria decision aiding method to deal with sorting problems in which alternatives are evaluated on criteria structured in a hierarchical way and presenting interactions. The underlying preference model of the proposed method is the Choquet integral, while the hierarchical structure of the criteria is taken into account by applying the Multiple Criteria Hie… ▽ More In this paper we propose a new multiple criteria decision aiding method to deal with sorting problems in which alternatives are evaluated on criteria structured in a hierarchical way and presenting interactions. The underlying preference model of the proposed method is the Choquet integral, while the hierarchical structure of the criteria is taken into account by applying the Multiple Criteria Hierarchy Process. Considering the Choquet integral based on a 2-additive capacity, the paper presents a procedure to find all the minimal sets of pairs of interacting criteria representing the preference information provided by the Decision Maker (DM). Robustness concerns are also taken into account by applying the Robust Ordinal Regression and the Stochastic Multicriteria Acceptability Analysis. Even if in different ways, both of them provide recommendations on the hierarchical sorting problem at hand by exploring the whole set of capacities compatible with the preferences provided by the DM avoiding to take into account only one of them. The applicability of the considered method to real world problems is demonstrated by means of an example regarding rating of European Countries by considering economic and financial data provided by Standard \& Poor's Global Inc. △ Less

Submitted 10 March, 2020; originally announced March 2020.

The {0,1}-knapsack problem with qualitative levels

Authors: Luca E. Schäfer, Tobias Dietz, Maria Barbati, José Rui Figueira, Salvatore Greco, Stefan Ruzika

Abstract: A variant of the classical knapsack problem is considered in which each item is associated with an integer weight and a qualitative level. We define a dominance relation over the feasible subsets of the given item set and show that this relation defines a preorder. We propose a dynamic programming algorithm to compute the entire set of non-dominated rank cardinality vectors and we state two greedy… ▽ More A variant of the classical knapsack problem is considered in which each item is associated with an integer weight and a qualitative level. We define a dominance relation over the feasible subsets of the given item set and show that this relation defines a preorder. We propose a dynamic programming algorithm to compute the entire set of non-dominated rank cardinality vectors and we state two greedy algorithms, which efficiently compute a single efficient solution. △ Less

Submitted 12 February, 2020; originally announced February 2020.

Multiple criteria decision analysis with the SRF-II method to compare hypotheses of adaptive reuse for an iconic historical building

Authors: Francesca Abastante, Salvatore Corrente, Salvatore Greco, Isabella Lami, Beatrice Mecca

Abstract: The paper shows how Multiple Criteria Decision Aiding (MCDA) tools can support the analyses of six hypotheses of adaptive reuse of an iconic historical building in Turin, Italy (called Stock Exchange) to identify the preferred alternative. In the last two years, the debate around the requalification of the building has been huge for several reasons: it is perceived as a "monument" by citizens; it… ▽ More The paper shows how Multiple Criteria Decision Aiding (MCDA) tools can support the analyses of six hypotheses of adaptive reuse of an iconic historical building in Turin, Italy (called Stock Exchange) to identify the preferred alternative. In the last two years, the debate around the requalification of the building has been huge for several reasons: it is perceived as a "monument" by citizens; it shows architectural and typological values nationally recognized; it involves public and private interests. In this context, interacting with experts involved in the ongoing discussion, we consider a recently proposed conjunction of four MCDA methods, namely: Multiple Criteria Hierarchy Process (MCHP), permitting to consider structural relationships between criteria; ELECTRE III, considering three types of interaction effects between criteria (strengthening, weakening and antagonistic effects); the imprecise SRF method, supplying an easily understandable approach to collect information from the DM; and Stochastic Multicriteria Acceptability Analysis (SMAA), providing robust recommendation, in terms of rankings and relations of preference, indifference and incomparability between project alternatives, at each level of the hierarchy. We propose a modification of the SRF methodology, called SFR-II, to increase the reliability of the decision aid procedure, which could constitute a significant advance for the same SRF method. △ Less

Submitted 7 January, 2020; originally announced January 2020.

Massive MIMO Radar for Target Detection

Authors: Stefano Fortunati, Luca Sanguinetti, Fulvio Gini, Maria S. Greco, Braham Himed

Abstract: Since the seminal paper by Marzetta from 2010, the Massive MIMO paradigm in communication systems has changed from being a theoretical scaled-up version of MIMO, with an infinite number of antennas, to a practical technology. Its key concepts have been adopted in the 5G new radio standard and base stations, where $64$ fully-digital transceivers have been commercially deployed. Motivated by these r… ▽ More Since the seminal paper by Marzetta from 2010, the Massive MIMO paradigm in communication systems has changed from being a theoretical scaled-up version of MIMO, with an infinite number of antennas, to a practical technology. Its key concepts have been adopted in the 5G new radio standard and base stations, where $64$ fully-digital transceivers have been commercially deployed. Motivated by these recent developments, this paper considers a co-located MIMO radar with $M_T$ transmitting and $M_R$ receiving antennas and explores the potential benefits of having a large number of virtual spatial antenna channels $N=M_TM_R$. Particularly, we focus on the target detection problem and develop a \textit{robust} Wald-type test that guarantees certain detection performance, regardless of the unknown statistical characterization of the clutter disturbance. Closed-form expressions for the probabilities of false alarm and detection are derived for the asymptotic regime $N\to \infty$. Numerical results are used to validate the asymptotic analysis in the finite system regime with different disturbance models. Our results imply that there always exists a sufficient number of antennas for which the performance requirements are satisfied, without any a-priori knowledge of the clutter statistics. This is referred to as the Massive MIMO regime of the radar system. △ Less

Submitted 15 January, 2020; v1 submitted 14 June, 2019; originally announced June 2019.

Comments: 12 pages, 6 figures, accepted for publication in IEEE Transactions on Signal Processing. A related work has been presented at ICASSP19, Brighton, UK, and is available at arXiv:1904.04184

Robust measurement of innovation performances in Europe with a hierarchy of interacting composite indicators

Authors: Salvatore Corrente, Ana Garcia-Bernabeu, Salvatore Greco, Teemu Makkonen

Abstract: For long time the measurement of innovation has been in the forefront of policy makers' and researchers' agenda worldwide. Therefore, there is an ongoing debate about which indicators should be used to measure innovation. Recent approaches have favoured the use of composite innovation indicators. However, there is no consensus about the appropriate methodology to aggregate the varying dimensions o… ▽ More For long time the measurement of innovation has been in the forefront of policy makers' and researchers' agenda worldwide. Therefore, there is an ongoing debate about which indicators should be used to measure innovation. Recent approaches have favoured the use of composite innovation indicators. However, there is no consensus about the appropriate methodology to aggregate the varying dimensions of innovation into a single summary indicator. One of the best known examples of composite innovation indicators is the European Innovation Scoreboard (EIS). It is a relevant tool for benchmarking innovation in Europe. Still, the EIS lacks a proper scheme for weighting the included indicators according to their relative importance. In this context, we propose an appraisal methodology permitting to take into consideration the interaction of criteria and robustness concerns related to the elicitation of the weights assigned to the elementary indicators. With this aim, we apply the hierarchical-SMAA-Choquet integral approach. This integrated multicriteria decision making (MCDM) method helps the users to rank and benchmark countries' innovation performance taking into account the importance and interaction of criteria assigned by themselves, rather than equal weights or weights exogenously fixed by external experts. △ Less

Submitted 18 May, 2019; originally announced May 2019.

As simple as possible but not simpler in Multiple Criteria Decision Aiding: the ROR-SMAA level dependent Choquet integral approach

Authors: Sally Giuseppe Arcidiacono, Salvatore Corrente, Salvatore Greco

Abstract: The level dependent Choquet integral has been proposed to handle decision making problems in which the importance and the interaction of criteria may depend on the level of the alternatives' evaluations. This integral is based on a level dependent capacity, which is a family of single capacities associated to each level of evaluation for the considered criteria. We present two possible formulation… ▽ More The level dependent Choquet integral has been proposed to handle decision making problems in which the importance and the interaction of criteria may depend on the level of the alternatives' evaluations. This integral is based on a level dependent capacity, which is a family of single capacities associated to each level of evaluation for the considered criteria. We present two possible formulations of the level dependent capacity where importance and interaction of criteria are constant inside each one of the subintervals in which the interval of evaluations for considered criteria is split or vary with continuity inside the whole interval of evaluations. Since, in general, there is not only one but many level dependent capacities compatible with the preference information provided by the Decision Maker, we propose to take into account all of them by using the Robust Ordinal Regression (ROR) and the Stochastic Multicriteria Acceptability Analysis (SMAA). On one hand, ROR defines a necessary preference relation (if an alternative a is at least as good as an alternative b for all compatible level dependent capacities), and a possible preference relation (if a is at least as good as b for at least one compatible level dependent capacity). On the other hand, considering a random sampling of compatible level dependent capacities, SMAA gives the probability that each alternative reaches a certain ranking position as well as the probability that an alternative is preferred to another. A real-world decision problem on rankings of universities is provided to illustrate the proposed methodology. △ Less

Submitted 20 May, 2019; originally announced May 2019.

Electre-Score: A first outranking based method for scoring actions

Authors: José Rui Figueira, Salvatore Greco, Bernard Roy

Abstract: In this paper we present (to the best of our knowledge) the first outranking method to assign a score to each alternative. It is a method of the Electre family, and we will call it Electre-Score. Contrarily to the Multi-Attribute Value Theory methods, Electre-Score does not construct a value function for each criterion, and then proceeds to the aggregation into a single value. It rather, makes use… ▽ More In this paper we present (to the best of our knowledge) the first outranking method to assign a score to each alternative. It is a method of the Electre family, and we will call it Electre-Score. Contrarily to the Multi-Attribute Value Theory methods, Electre-Score does not construct a value function for each criterion, and then proceeds to the aggregation into a single value. It rather, makes use of the outranking relations to make a comparison with reference sets of actions (to which a score is assigned) and proposes a score range to each alternative, instead of a single value. This is a more robust way of proceeding given the fragility of a single score. The sets of limiting profiles are defined with the help of Electre Tri-nB and the reference scores are assigned to them through the application of the deck of cards technique. The fact of being able to use outranking relations, makes it also possible to take into account the imperfect knowledge of data and avoids systematic compensatory effects. Some fundamental theoretical results guaranteeing the consistency of the method and an illustrative example are also provided in this paper. △ Less

Submitted 15 May, 2019; originally announced May 2019.

Scaling up MIMO radar for target detection

Authors: Stefano Fortunati, Luca Sanguinetti, Maria Sabrina Greco, Fulvio Gini

Abstract: This work focuses on target detection in a colocated MIMO radar system. Instead of exploiting the classical temporal domain, we propose to explore the spatial dimension (i.e., number of antennas $M$) to derive asymptotic results for the detector. Specifically, we assume no a priori knowledge of the statistics of the autoregressive data generating process and propose to use a mispecified Wald-type… ▽ More This work focuses on target detection in a colocated MIMO radar system. Instead of exploiting the classical temporal domain, we propose to explore the spatial dimension (i.e., number of antennas $M$) to derive asymptotic results for the detector. Specifically, we assume no a priori knowledge of the statistics of the autoregressive data generating process and propose to use a mispecified Wald-type detector, which is shown to have an asymptotic $χ$-squared distribution as $M\to\infty$. Closed-form expressions for the probabilities of false alarm and detection are derived. Numerical results are used to validate the asymptotic analysis in the finite system regime. It turns out that, for the considered scenario, the asymptotic performance is closely matched already for $M\ge 50$. △ Less

Submitted 8 April, 2019; originally announced April 2019.

Comments: 8 pages, 2 figures. This is the extended version (with all the proofs in Appendices) of a paper that will be presented at ICASSP 2019, 12-17 May, 2019, Brighton, UK

A new scaling MCDA procedure putting together pairwise comparison tables and the deck of cards method

Authors: Salvatore Corrente, José Rui Figueira, Salvatore Greco

Abstract: This paper deals with an improved version of the deck of the cards method to render the construction of the ratio and interval scales more `accurate'. The improvement comes from the fact that we can account for a richer and finer preference information provided by the decision-makers, which permits a more accurate modelling of the strength of preference between two consecutive levels of a scale. I… ▽ More This paper deals with an improved version of the deck of the cards method to render the construction of the ratio and interval scales more `accurate'. The improvement comes from the fact that we can account for a richer and finer preference information provided by the decision-makers, which permits a more accurate modelling of the strength of preference between two consecutive levels of a scale. Instead of considering only the number of blank cards between consecutive positions in the ranking of objects such as criteria and scale levels, we consider also the number of blank cards between non consecutive positions in the ranking. This information is collected in a pairwise comparison table that it is not necessarily built with precise values. We can consider also missing information and imprecise information provided in the form of ranges. Since the information provided by the decision-makers is not necessarily consistent, we propose also some procedures to help the decision-maker to make consistent his evaluations in a co-constructive way interacting with an analyst and reflecting and revising her/his judgments. The method is illustrated through and example in which, generalizing the SWING method, interacting criteria are aggregated through the Choquet integral. △ Less

Submitted 2 April, 2019; originally announced April 2019.

Semiparametric Stochastic CRB for DOA Estimation in Elliptical Data Model

Authors: Stefano Fortunati, Fulvio Gini, Maria S. Greco

Abstract: This paper aims at presenting a numerical investigation of the statistical efficiency of the MUSIC (with different covariance matrix estimates) and the IAA-APES Direction of Arrivals (DOAs) estimation algorithms under a general Complex Elliptically Symmetric (CES) distributed measurement model. Specifically, the density generator of the CES-distributed data snapshots is considered as an additional… ▽ More This paper aims at presenting a numerical investigation of the statistical efficiency of the MUSIC (with different covariance matrix estimates) and the IAA-APES Direction of Arrivals (DOAs) estimation algorithms under a general Complex Elliptically Symmetric (CES) distributed measurement model. Specifically, the density generator of the CES-distributed data snapshots is considered as an additional, infinite-dimensional, nuisance parameter. To assess the efficiency in the considered semiparametric setting, the Semiparametric Stochastic Cramér-Rao Bound (SSCRB) is adopted as lower bound for the Mean Square Error (MSE) of the DOA estimators. △ Less

Submitted 1 March, 2019; originally announced March 2019.

Comments: Submitted to 27th European Signal Processing Conference (EUSIPCO 2019)

A multiple criteria methodology for priority based portfolio selection

Authors: Maria Barbati, Josè Rui Figueira, Salvatore Greco, Alessio Ishizaka, Simona Panaro

Abstract: This paper presents a new methodology that combines a multiple criteria sorting or ranking method with a project portfolio selection procedure. The multicriteria method permits to compare projects in terms of their priority assessed on the basis of a set of both qualitative and quantitative criteria. Then, a feasible set of projects, i.e. a portfolio, is selected according to the priority defined… ▽ More This paper presents a new methodology that combines a multiple criteria sorting or ranking method with a project portfolio selection procedure. The multicriteria method permits to compare projects in terms of their priority assessed on the basis of a set of both qualitative and quantitative criteria. Then, a feasible set of projects, i.e. a portfolio, is selected according to the priority defined by the multiple criteria method. In addition, the portfolio must satisfy a set of resources constraints, e.g. budget available, as well as some logical constraints, e.g. related to projects to be selected together or projects mutually exclusive. The proposed portfolio selection methodology can be applied in different contexts. We present an application in the urban planning domain where our approach allows to select a set of urban projects on the basis of their priority, budgetary constraints and urban policy requirements. Given the increasing interest of historical cities to reuse their cultural heritage, we applied and tested our methodology in this context. In particular, we show how the methodology can support the prioritization of the interventions on buildings with some historical value in the historic city center of Naples (Italy), taking into account several points of view. △ Less

Submitted 10 June, 2022; v1 submitted 13 December, 2018; originally announced December 2018.

A robust hierarchical nominal classification method based on similarity and dissimilarity using loss function and an improved version of the deck of cards method

Authors: Ana Sara Costa, Salvatore Corrente, Salvatore Greco, José Rui Figueira, José Borbinha

Abstract: Cat-SD is a multiple criteria decision aiding method for dealing with nominal classification problems. Actions are assessed according to multiple criteria and assigned to one or more categories. A set of reference actions is used for defining each category. The assignment of an action to a given category depends on the comparison of the action to each reference set according to likeness thresholds… ▽ More Cat-SD is a multiple criteria decision aiding method for dealing with nominal classification problems. Actions are assessed according to multiple criteria and assigned to one or more categories. A set of reference actions is used for defining each category. The assignment of an action to a given category depends on the comparison of the action to each reference set according to likeness thresholds. Distinct sets of criteria weights, interaction coefficients, and likeness thresholds can be defined per category. We propose to apply Multiple Criteria Hierarchy Process (MCHP) to Cat-SD. An adapted MCHP is proposed to take into account possible interaction effects between criteria structured in a hierarchical way. On the basis of the known deck of cards method, we also consider an imprecise elicitation of parameters permitting to take into account interactions and antagonistic effects between criteria. The elicitation procedure we are proposing can be applied to any Electre method. With the purpose of exploring the assignments obtained by Cat-SD considering possible sets of parameters, we propose to apply the Stochastic Multicriteria Acceptability Analysis (SMAA). The SMAA methodology allows to draw statistical conclusions on the classification of the actions. The proposed method, SMAA-hCat-SD, helps the decision maker to check the effects of the variation of parameters on the classification at different levels of the hierarchy. We propose also a procedure, based on the concept of loss function, to obtain a final classification fulfilling some requirements given by the decision maker and taking into account the hierarchy of criteria and the probabilistic assignments obtained applying SMAA. Also this procedure can be applied to any classification Electre method. △ Less

Submitted 29 July, 2019; v1 submitted 12 December, 2018; originally announced December 2018.

Reinforcement learning-based waveform optimization for MIMO multi-target detection

Authors: Li Wang, Stefano Fortunati, Maria Sabrina Greco, Fulvio Gini

Abstract: A cognitive beamforming algorithm for colocated MIMO radars, based on Reinforcement Learning (RL) framework, is proposed. We analyse an RL-based optimization protocol that allows the MIMO radar, i.e. the \textit{agent}, to iteratively sense the unknown environment, i.e. the radar scene involving an unknown number of targets at unknown angular positions, and consequently, to synthesize a set of tra… ▽ More A cognitive beamforming algorithm for colocated MIMO radars, based on Reinforcement Learning (RL) framework, is proposed. We analyse an RL-based optimization protocol that allows the MIMO radar, i.e. the \textit{agent}, to iteratively sense the unknown environment, i.e. the radar scene involving an unknown number of targets at unknown angular positions, and consequently, to synthesize a set of transmitted waveforms whose related beam patter is tailored on the acquired knowledge. The performance of the proposed RL-based beamforming algorithm is assessed through numerical simulations in terms of Probability of Detection ($P_D$). △ Less

Submitted 6 November, 2018; originally announced November 2018.

Comments: Presented at ASILOMAR 2018

A general space-time model for combinatorial optimization problems (and not only)

Authors: Maria Barbati, Salvatore Corrente, Salvatore Greco

Abstract: We consider the problem of defining a strategy consisting of a set of facilities taking into account also the location where they have to be assigned and the time in which they have to be activated. The facilities are evaluated with respect to a set of criteria. The plan has to be devised respecting some constraints related to different aspects of the problem such as precedence restrictions due to… ▽ More We consider the problem of defining a strategy consisting of a set of facilities taking into account also the location where they have to be assigned and the time in which they have to be activated. The facilities are evaluated with respect to a set of criteria. The plan has to be devised respecting some constraints related to different aspects of the problem such as precedence restrictions due to the nature of the facilities. Among the constraints, there are some related to the available budget. We consider also the uncertainty related to the performances of the facilities with respect to considered criteria, and plurality of stakeholders participating to the decision. The considered problem can be seen as the combination of some prototypical operations research problems: knapsack problem, location problem and project scheduling. Indeed, the basic brick of our model is a variable $x_{ilt}$ which takes value 1 if facility $i$ is activated in location $l$ at time $t$, and $0$ otherwise. Due to the conjoint consideration of a location and a time in the decision variables, what we propose can be seen as a general space-time model for operations research problems. We discuss how such a model permits to handle complex problems using several methodologies including multiple attribute value theory and multiobjective optimization. With respect to the latter point, without any loss of the generality, we consider the compromise programming and an interactive methodology based on the Dominance-based Rough Set Approach. We illustrate the application of our model with a simple didactic example. △ Less

Submitted 25 September, 2018; originally announced September 2018.

Semiparametric Slepian-Bangs Formula for Complex Elliptically Symmetric Distributions

Authors: Stefano Fortunati, Abdelhak M. Zoubir, Fulvio Gini, Maria S. Greco

Abstract: This letter aims at deriving a Semiparametric Slepian-Bangs (SSB) formula for Complex Elliptically Symmetric (CES) distributed data vectors. The Semiparametric Cramér-Rao Bound (SCRB), related to the proposed SSB formula, provides a lower bound on the Mean Square Error (MSE) of \textit{any} robust estimator of a parameter vector parameterizing the mean vector and the scatter matrix of the given CE… ▽ More This letter aims at deriving a Semiparametric Slepian-Bangs (SSB) formula for Complex Elliptically Symmetric (CES) distributed data vectors. The Semiparametric Cramér-Rao Bound (SCRB), related to the proposed SSB formula, provides a lower bound on the Mean Square Error (MSE) of \textit{any} robust estimator of a parameter vector parameterizing the mean vector and the scatter matrix of the given CES-distributed vector in the presence of an unknown, nuisance, density generator. △ Less

Submitted 25 February, 2019; v1 submitted 24 July, 2018; originally announced July 2018.

Comments: This letter has been merged with another letter and resubmitted as a full IEEE TSP paper

The Semiparametric Cramér-Rao Bound for Complex Elliptically Symmetric Distributions

Authors: Stefano Fortunati, Fulvio Gini, Maria S. Greco, Abdelhak M. Zoubir

Abstract: This letter aims at extending the Constrained Semiparametric Cramer-Rao Bound (CSCRB) for the joint estimation of mean vector and scatter matrix of Real Elliptically Symmetric (RES) distributions to Complex Elliptically Symmetric (CES) distributions. A closed form expression for the complex CSCRB (CCSCRB) is derived by exploiting the so-called \textit{Wirtinger} or $\mathbb{C}\mathbb{R}$-\textit{c… ▽ More This letter aims at extending the Constrained Semiparametric Cramer-Rao Bound (CSCRB) for the joint estimation of mean vector and scatter matrix of Real Elliptically Symmetric (RES) distributions to Complex Elliptically Symmetric (CES) distributions. A closed form expression for the complex CSCRB (CCSCRB) is derived by exploiting the so-called \textit{Wirtinger} or $\mathbb{C}\mathbb{R}$-\textit{calculus}. Finally, the CCSCRB for the estimation of the complex mean vector and scatter matrix of a set of complex $t$-distributed random vectors is provided as an example of application. △ Less

Submitted 25 February, 2019; v1 submitted 23 July, 2018; originally announced July 2018.

Comments: This letter has been merged with another letter and resubmitted as a full IEEE TSP paper

Semiparametric Inference and Lower Bounds for Real Elliptically Symmetric Distributions

Authors: Stefano Fortunati, Fulvio Gini, Maria S. Greco, Abdelhak M. Zoubir, Muralidhar Rangaswamy

Abstract: This paper has a twofold goal. The first aim is to provide a deeper understanding of the family of the Real Elliptically Symmetric (RES) distributions by investigating their intrinsic semiparametric nature. The second aim is to derive a semiparametric lower bound for the estimation of the parametric component of the model. The RES distributions represent a semiparametric model where the parametric… ▽ More This paper has a twofold goal. The first aim is to provide a deeper understanding of the family of the Real Elliptically Symmetric (RES) distributions by investigating their intrinsic semiparametric nature. The second aim is to derive a semiparametric lower bound for the estimation of the parametric component of the model. The RES distributions represent a semiparametric model where the parametric part is given by the mean vector and by the scatter matrix while the non-parametric, infinite-dimensional, part is represented by the density generator. Since, in practical applications, we are often interested only in the estimation of the parametric component, the density generator can be considered as nuisance. The first part of the paper is dedicated to conveniently place the RES distributions in the framework of the semiparametric group models. The second part of the paper, building on the mathematical tools previously introduced, the Constrained Semiparametric Cramér-Rao Bound (CSCRB) for the estimation of the mean vector and of the constrained scatter matrix of a RES distributed random vector is introduced. The CSCRB provides a lower bound on the Mean Squared Error (MSE) of any robust $M$-estimator of mean vector and scatter matrix when no a-priori information on the density generator is available. A closed form expression for the CSCRB is derived. Finally, in simulations, we assess the statistical efficiency of the Tyler's and Huber's scatter matrix $M$-estimators with respect to the CSCRB. △ Less

Submitted 15 October, 2018; v1 submitted 20 July, 2018; originally announced July 2018.

Comments: This paper has been accepted for publication in IEEE Transactions on Signal Processing

Radial solutions for the bilaplacian equation with vanishing or singular radial potentials

Authors: Marino Badiale, Stefano Greco, Sergio Rolando

Abstract: Given three measurable functions $V\left(r \right)\geq 0$, $K\left(r\right)> 0$ and $Q\left(r \right)\geq 0$, $r>0$, we consider the bilaplacian equation \[ Δ^2 u+V(|x|)u=K(|x|)f(u)+Q(|x|) \quad \text{in }\,\mathbb{R}^N \] and we find radial solutions thanks to compact embeddings of radial spaces of Sobolev functions into sum of weighted Lebesgue spaces. Given three measurable functions $V\left(r \right)\geq 0$, $K\left(r\right)> 0$ and $Q\left(r \right)\geq 0$, $r>0$, we consider the bilaplacian equation \[ Δ^2 u+V(|x|)u=K(|x|)f(u)+Q(|x|) \quad \text{in }\,\mathbb{R}^N \] and we find radial solutions thanks to compact embeddings of radial spaces of Sobolev functions into sum of weighted Lebesgue spaces. △ Less

Submitted 4 June, 2018; originally announced June 2018.

Comments: This document continues the project of arXiv:1403.3803, arXiv:1506.00056 and arXiv:1609.05556

MSC Class: 35J91 (Primary); 35J60; 46E35 (Secondary)

Cognitive Radars: A Reality?

Authors: Maria S. Greco, Fulvio Gini, Pietro Stinco, Kristine Bell

Abstract: This paper describes some key ideas and applications of cognitive radars, highlighting the limits and the path forward. Cognitive radars are systems based on the perception-action cycle of cognition that sense the environment, learn from it relevant information about the target and the background, then adapt the radar sensor to optimally satisfy the needs of their mission according to a desired go… ▽ More This paper describes some key ideas and applications of cognitive radars, highlighting the limits and the path forward. Cognitive radars are systems based on the perception-action cycle of cognition that sense the environment, learn from it relevant information about the target and the background, then adapt the radar sensor to optimally satisfy the needs of their mission according to a desired goal. The concept of cognitive radar was introduced originally for active radar only. In this paper we describe how this paradigm can be applied also to passive radar. In particular, we describe (i) cognitive active radars that work in a spectrally dense environment and change the transmitted waveform on-the-fly to avoid interference with the primary user of the channel, such as broadcast or communication systems, (ii) cognitive active radars that adjust transmit waveform parameters to achieve a specified level of target tracking performance, and (iii) cognitive passive radars, that contrary to the active radars cannot directly change the transmitted waveforms, but can instead select the best source of opportunity to improve detection and tracking performance. △ Less

Submitted 28 February, 2018; originally announced March 2018.