-
ACES: Evaluating Automated Audio Captioning Models on the Semantics of Sounds
Authors:
Gijs Wijngaard,
Elia Formisano,
Bruno L. Giordano,
Michel Dumontier
Abstract:
Automated Audio Captioning is a multimodal task that aims to convert audio content into natural language. The assessment of audio captioning systems is typically based on quantitative metrics applied to text data. Previous studies have employed metrics derived from machine translation and image captioning to evaluate the quality of generated audio captions. Drawing inspiration from auditory cognit…
▽ More
Automated Audio Captioning is a multimodal task that aims to convert audio content into natural language. The assessment of audio captioning systems is typically based on quantitative metrics applied to text data. Previous studies have employed metrics derived from machine translation and image captioning to evaluate the quality of generated audio captions. Drawing inspiration from auditory cognitive neuroscience research, we introduce a novel metric approach -- Audio Captioning Evaluation on Semantics of Sound (ACES). ACES takes into account how human listeners parse semantic information from sounds, providing a novel and comprehensive evaluation perspective for automated audio captioning systems. ACES combines semantic similarities and semantic entity labeling. ACES outperforms similar automated audio captioning metrics on the Clotho-Eval FENSE benchmark in two evaluation categories.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality
Authors:
Mario Alviano,
Francesco Bartoli,
Marco Botta,
Roberto Esposito,
Laura Giordano,
Daniele Theseider Dupré
Abstract:
In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a multilayer neural network model. Weighted knowledge bases for a simple description logic with typicality are considered under a (many-valued) ``concept-wise" multipreference semantics. The semantics is used to provide a preferential interpretation of Multi…
▽ More
In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a multilayer neural network model. Weighted knowledge bases for a simple description logic with typicality are considered under a (many-valued) ``concept-wise" multipreference semantics. The semantics is used to provide a preferential interpretation of MultiLayer Perceptrons (MLPs). A model checking and an entailment based approach are exploited in the verification of conditional properties of MLPs.
△ Less
Submitted 19 September, 2023; v1 submitted 29 April, 2023;
originally announced May 2023.
-
What Will Wi-Fi 8 Be? A Primer on IEEE 802.11bn Ultra High Reliability
Authors:
Lorenzo Galati Giordano,
Giovanni Geraci,
Marc Carrascosa,
Boris Bellalta
Abstract:
What will Wi-Fi 8 be? Driven by the strict requirements of emerging applications, next-generation Wi-Fi is set to prioritize Ultra High Reliability (UHR) above all. In this paper, we explore the journey towards IEEE 802.11bn UHR, the amendment that will form the basis of Wi-Fi 8. We first present new use cases calling for further Wi-Fi evolution and associated standardization, certification, and s…
▽ More
What will Wi-Fi 8 be? Driven by the strict requirements of emerging applications, next-generation Wi-Fi is set to prioritize Ultra High Reliability (UHR) above all. In this paper, we explore the journey towards IEEE 802.11bn UHR, the amendment that will form the basis of Wi-Fi 8. We first present new use cases calling for further Wi-Fi evolution and associated standardization, certification, and spectrum allocation efforts. We then introduce a selection of the main disruptive features envisioned for Wi-Fi 8 and their associated research challenges, resulting from the outcome of the UHR Study Group. Among those, we focus on multi access point coordination and demonstrate that it could build upon 802.11be multi-link operation to make UHR a reality in Wi-Fi 8.
△ Less
Submitted 21 November, 2023; v1 submitted 18 March, 2023;
originally announced March 2023.
-
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
Authors:
Mario Alviano,
Laura Giordano,
Daniele Theseider Dupré
Abstract:
Weighted knowledge bases for description logics with typicality under a "concept-wise" multi-preferential semantics provide a logical interpretation of MultiLayer Perceptrons. In this context, Answer Set Programming (ASP) has been shown to be suitable for addressing defeasible reasoning in the finitely many-valued case, providing a $Π^p_2$ upper bound on the complexity of the problem, nonetheless…
▽ More
Weighted knowledge bases for description logics with typicality under a "concept-wise" multi-preferential semantics provide a logical interpretation of MultiLayer Perceptrons. In this context, Answer Set Programming (ASP) has been shown to be suitable for addressing defeasible reasoning in the finitely many-valued case, providing a $Π^p_2$ upper bound on the complexity of the problem, nonetheless leaving unknown the exact complexity and only providing a proof-of-concept implementation. This paper fulfils the lack by providing a $P^{NP[log]}$-completeness result and new ASP encodings that deal with weighted knowledge bases with large search spaces.
△ Less
Submitted 27 March, 2023; v1 submitted 8 March, 2023;
originally announced March 2023.
-
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation
Authors:
Mario Alviano,
Laura Giordano,
Daniele Theseider Dupré
Abstract:
In this paper we propose a general approach to define a many-valued preferential interpretation of gradual argumentation semantics. The approach allows for conditional reasoning over arguments and boolean combination of arguments, with respect to a class of gradual semantics, through the verification of graded (strict or defeasible) implications over a preferential interpretation. As a proof of co…
▽ More
In this paper we propose a general approach to define a many-valued preferential interpretation of gradual argumentation semantics. The approach allows for conditional reasoning over arguments and boolean combination of arguments, with respect to a class of gradual semantics, through the verification of graded (strict or defeasible) implications over a preferential interpretation. As a proof of concept, in the finitely-valued case, an Answer set Programming approach is proposed for conditional reasoning in a many-valued argumentation semantics of weighted argumentation graphs. The paper also develops and discusses a probabilistic semantics for gradual argumentation, which builds on the many-valued conditional semantics.
△ Less
Submitted 14 December, 2022;
originally announced December 2022.
-
An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases
Authors:
Laura Giordano,
Daniele Theseider Dupré
Abstract:
Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics of MultiLayer Perceptrons (MLPs). In this paper we consider weighted conditional ALC knowledge bases with typicality in the finitely many-valued case, through three different seman…
▽ More
Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics of MultiLayer Perceptrons (MLPs). In this paper we consider weighted conditional ALC knowledge bases with typicality in the finitely many-valued case, through three different semantic constructions. For the boolean fragment LC of ALC we exploit ASP and "asprin" for reasoning with the concept-wise multipreference entailment under a phi-coherent semantics, suitable to characterize the stationary states of MLPs. As a proof of concept, we experiment the proposed approach for checking properties of trained MLPs.
The paper is under consideration for acceptance in TPLP.
△ Less
Submitted 17 May, 2022; v1 submitted 2 February, 2022;
originally announced February 2022.
-
From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Back
Authors:
Laura Giordano
Abstract:
A fuzzy multipreference semantics has been recently proposed for weighted conditional knowledge bases, and used to develop a logical semantics for Multilayer Perceptrons, by regarding a deep neural network (after training) as a weighted conditional knowledge base. This semantics, in its different variants, suggests some gradual argumentation semantics, which are related to the family of the gradua…
▽ More
A fuzzy multipreference semantics has been recently proposed for weighted conditional knowledge bases, and used to develop a logical semantics for Multilayer Perceptrons, by regarding a deep neural network (after training) as a weighted conditional knowledge base. This semantics, in its different variants, suggests some gradual argumentation semantics, which are related to the family of the gradual semantics studied by Amgoud and Doder. The relationships between weighted conditional knowledge bases and MLPs extend to the proposed gradual semantics to capture the stationary states of MPs, in agreement with previous results on the relationship between argumentation frameworks and neural networks. The paper also suggests a simple way to extend the proposed semantics to deal attacks/supports by a boolean combination of arguments, based on the fuzzy semantics of weighted conditionals, as well as an approach for defeasible reasoning over a weighted argumentation graph, building on the proposed gradual semantics.
△ Less
Submitted 26 October, 2021; v1 submitted 7 October, 2021;
originally announced October 2021.
-
Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach
Authors:
Laura Giordano,
Daniele Theseider Dupré
Abstract:
Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics of Multilayer Perceptrons. In this paper we consider weighted conditional EL^bot knowledge bases in the two-valued case, and exploit ASP and asprin for encoding concept-wise multip…
▽ More
Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics of Multilayer Perceptrons. In this paper we consider weighted conditional EL^bot knowledge bases in the two-valued case, and exploit ASP and asprin for encoding concept-wise multipreference entailment for weighted KBs with integer weights.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
Reasoning about actions with EL ontologies with temporal answer sets
Authors:
Laura Giordano,
Alberto Martelli,
Daniele Theseider Dupré
Abstract:
We propose an approach based on Answer Set Programming for reasoning about actions with domain descriptions including ontological knowledge, expressed in the lightweight description logic EL^\bot. We consider a temporal action theory, which allows for non-deterministic actions and causal rules to deal with ramifications, and whose extensions are defined by temporal answer sets. We provide conditio…
▽ More
We propose an approach based on Answer Set Programming for reasoning about actions with domain descriptions including ontological knowledge, expressed in the lightweight description logic EL^\bot. We consider a temporal action theory, which allows for non-deterministic actions and causal rules to deal with ramifications, and whose extensions are defined by temporal answer sets. We provide conditions under which action consistency can be guaranteed with respect to an ontology, by a polynomial encoding of an action theory extended with an EL^\bot knowledge base (in normal form) into a temporal action theory.
△ Less
Submitted 18 July, 2021;
originally announced July 2021.
-
From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview
Authors:
Laura Giordano,
Valentina Gliozzi,
Daniele Theseider Dupré
Abstract:
In this paper we discuss the relationships between conditional and preferential logics and neural network models, based on a multi-preferential semantics. We propose a concept-wise multipreference semantics, recently introduced for defeasible description logics to take into account preferences with respect to different concepts, as a tool for providing a semantic interpretation to neural network m…
▽ More
In this paper we discuss the relationships between conditional and preferential logics and neural network models, based on a multi-preferential semantics. We propose a concept-wise multipreference semantics, recently introduced for defeasible description logics to take into account preferences with respect to different concepts, as a tool for providing a semantic interpretation to neural network models. This approach has been explored both for unsupervised neural network models (Self-Organising Maps) and for supervised ones (Multilayer Perceptrons), and we expect that the same approach might be extended to other neural network models. It allows for logical properties of the network to be checked (by model checking) over an interpretation capturing the input-output behavior of the network. For Multilayer Perceptrons, the deep network itself can be regarded as a conditional knowledge base, in which synaptic connections correspond to weighted conditionals. The paper describes the general approach, through the cases of Self-Organising Maps and Multilayer Perceptrons, and discusses some open issues and perspectives.
△ Less
Submitted 10 July, 2021;
originally announced July 2021.
-
On the KLM properties of a fuzzy DL with Typicality
Authors:
Laura Giordano
Abstract:
The paper investigates the properties of a fuzzy logic of typicality. The extension of fuzzy logic with a typicality operator was proposed in recent work to define a fuzzy multipreference semantics for Multilayer Perceptrons, by regarding the deep neural network as a conditional knowledge base. In this paper, we study its properties. First, a monotonic extension of a fuzzy ALC with typicality is c…
▽ More
The paper investigates the properties of a fuzzy logic of typicality. The extension of fuzzy logic with a typicality operator was proposed in recent work to define a fuzzy multipreference semantics for Multilayer Perceptrons, by regarding the deep neural network as a conditional knowledge base. In this paper, we study its properties. First, a monotonic extension of a fuzzy ALC with typicality is considered (called ALC^FT) and a reformulation the KLM properties of a preferential consequence relation for this logic is devised. Most of the properties are satisfied, depending on the reformulation and on the fuzzy combination functions considered. We then strengthen ALC^FT with a closure construction by introducing a notion of faithful model of a weighted knowledge base, which generalizes the notion of coherent model of a conditional knowledge base previously introduced, and we study its properties.
△ Less
Submitted 14 July, 2021; v1 submitted 1 June, 2021;
originally announced June 2021.
-
Performance of Predictive Indoor mmWave Networks with Dynamic Blockers
Authors:
Andrea Bonfante,
Lorenzo Galati Giordano,
Irene Macaluso,
Nicola Marchetti
Abstract:
In this paper, we consider millimeter Wave (mmWave) technology to provide reliable wireless network service within factories where links may experience rapid and temporary fluctuations of the received signal power due to dynamic blockers, such as humans and robots, moving in the environment. We propose a novel beam recovery procedure that leverages Machine Learning (ML) tools to predict the starti…
▽ More
In this paper, we consider millimeter Wave (mmWave) technology to provide reliable wireless network service within factories where links may experience rapid and temporary fluctuations of the received signal power due to dynamic blockers, such as humans and robots, moving in the environment. We propose a novel beam recovery procedure that leverages Machine Learning (ML) tools to predict the starting and finishing of blockage events. This erases the delay introduced by current 5G New Radio (5G-NR) procedures when switching to an alternative serving base station and beam, and then re-establish the primary connection after the blocker has moved away. Firstly, we generate synthetic data using a detailed system-level simulator that integrates the most recent 3GPP 3D Indoor channel models and the geometric blockage Model-B. Then, we use the generated data to train offline a set of beam-specific Deep Neural Network (DNN) models that provide predictions about the beams' blockage states. Finally, we deploy the DNN models online into the system-level simulator to evaluate the benefits of the proposed solution. Our prediction-based beam recovery procedure guarantee higher signal level stability and up to $82\%$ data rate improvement with respect detection-based methods when blockers move at speed of $2$ m/s.
△ Less
Submitted 9 April, 2021;
originally announced April 2021.
-
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps
Authors:
Laura Giordano,
Valentina Gliozzi,
Daniele Theseider Dupré
Abstract:
In this paper we establish a link between fuzzy and preferential semantics for description logics and Self-Organising Maps, which have been proposed as possible candidates to explain the psychological mechanisms underlying category generalisation. In particular, we show that the input/output behavior of a Self-Organising Map after training can be described by a fuzzy description logic interpretati…
▽ More
In this paper we establish a link between fuzzy and preferential semantics for description logics and Self-Organising Maps, which have been proposed as possible candidates to explain the psychological mechanisms underlying category generalisation. In particular, we show that the input/output behavior of a Self-Organising Map after training can be described by a fuzzy description logic interpretation as well as by a preferential interpretation, based on a concept-wise multipreference semantics, which takes into account preferences with respect to different concepts and has been recently proposed for ranked and for weighted defeasible description logics. Properties of the network can be proven by model checking on the fuzzy or on the preferential interpretation. Starting from the fuzzy interpretation, we also provide a probabilistic account for this neural network model.
△ Less
Submitted 19 November, 2021; v1 submitted 11 March, 2021;
originally announced March 2021.
-
Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
Authors:
Laura Giordano,
Daniele Theseider Dupré
Abstract:
In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a deep neural network model. Weighted knowledge bases for description logics are considered under a "concept-wise" multipreference semantics. The semantics is further extended to fuzzy interpretations and exploited to provide a preferential interpretation of…
▽ More
In this paper we investigate the relationships between a multipreferential semantics for defeasible reasoning in knowledge representation and a deep neural network model. Weighted knowledge bases for description logics are considered under a "concept-wise" multipreference semantics. The semantics is further extended to fuzzy interpretations and exploited to provide a preferential interpretation of Multilayer Perceptrons.
△ Less
Submitted 25 January, 2021; v1 submitted 24 December, 2020;
originally announced December 2020.
-
A framework for a modular multi-concept lexicographic closure semantics
Authors:
Laura Giordano,
Daniele Theseider Dupré
Abstract:
We define a modular multi-concept extension of the lexicographic closure semantics for defeasible description logics with typicality. The idea is that of distributing the defeasible properties of concepts into different modules, according to their subject, and of defining a notion of preference for each module based on the lexicographic closure semantics. The preferential semantics of the knowledg…
▽ More
We define a modular multi-concept extension of the lexicographic closure semantics for defeasible description logics with typicality. The idea is that of distributing the defeasible properties of concepts into different modules, according to their subject, and of defining a notion of preference for each module based on the lexicographic closure semantics. The preferential semantics of the knowledge base can then be defined as a combination of the preferences of the single modules. The range of possibilities, from fine grained to coarse grained modules, provides a spectrum of alternative semantics.
△ Less
Submitted 4 September, 2020; v1 submitted 2 September, 2020;
originally announced September 2020.
-
On a plausible concept-wise multipreference semantics and its relations with self-organising maps
Authors:
Laura Giordano,
Valentina Gliozzi,
Daniele Theseider Dupré
Abstract:
Inthispaperwedescribeaconcept-wisemulti-preferencesemantics for description logic which has its root in the preferential approach for modeling defeasible reasoning in knowledge representation. We argue that this proposal, beside satisfying some desired properties, such as KLM postulates, and avoiding the drowning problem, also defines a plausible notion of semantics. We motivate the plausibility o…
▽ More
Inthispaperwedescribeaconcept-wisemulti-preferencesemantics for description logic which has its root in the preferential approach for modeling defeasible reasoning in knowledge representation. We argue that this proposal, beside satisfying some desired properties, such as KLM postulates, and avoiding the drowning problem, also defines a plausible notion of semantics. We motivate the plausibility of the concept-wise multi-preference semantics by develo** a logical semantics of self-organising maps, which have been proposed as possible candidates to explain the psychological mechanisms underlying category generalisation, in terms of multi-preference interpretations.
△ Less
Submitted 30 August, 2020;
originally announced August 2020.
-
On the Latency of IEEE 802.11ax WLANs with Parameterized Spatial Reuse
Authors:
Eloise de Carvalho Rodrigues,
Adrian Garcia-Rodriguez,
Lorenzo Galati Giordano,
Giovanni Geraci
Abstract:
In this article, we evaluate the performance of the parameterized spatial reuse (PSR) framework of IEEE 802.11ax, mainly focusing on its impact on transmission latency. Based on detailed standard-compliant system-level simulations, we provide a realistic analysis of the effects of PSR considering different scenario densities, traffic loads, and access points (APs) antenna capabilities to quantify…
▽ More
In this article, we evaluate the performance of the parameterized spatial reuse (PSR) framework of IEEE 802.11ax, mainly focusing on its impact on transmission latency. Based on detailed standard-compliant system-level simulations, we provide a realistic analysis of the effects of PSR considering different scenario densities, traffic loads, and access points (APs) antenna capabilities to quantify its performance gains under various scenarios. Our results show that, in medium-density scenarios, PSR can offer up to a 3.8x reduction in the 5% worst-case latencies for delay-sensitive stations with respect to an 802.11ax system without PSR. Moreover, our study demonstrates that, for low-latency communications, providing the network with PSR capabilities may be an appealing alternative to the deployment of more costly multi-antenna APs.
△ Less
Submitted 17 August, 2020;
originally announced August 2020.
-
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
Authors:
Laura Giordano,
Daniele Theseider Dupré
Abstract:
In this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection of ranked TBoxes containing defeasible concept inclusions. Preferences are combined to define a preferential interpretation in which defeasible inclusions can be evaluated. The construction of the concept…
▽ More
In this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection of ranked TBoxes containing defeasible concept inclusions. Preferences are combined to define a preferential interpretation in which defeasible inclusions can be evaluated. The construction of the concept-aware multipreference semantics is related to Brewka's framework for qualitative preferences. We exploit Answer Set Programming (in particular, asprin) to achieve defeasible reasoning under the multipreference approach for the lightweight description logic EL+bot.
The paper is under consideration for acceptance in TPLP.
△ Less
Submitted 8 August, 2020; v1 submitted 8 June, 2020;
originally announced June 2020.
-
Reasoning about Typicality and Probabilities in Preferential Description Logics
Authors:
Laura Giordano,
Valentina Gliozzi,
Antonio Lieto,
Nicola Olivetti,
Gian Luca Pozzato
Abstract:
In this work we describe preferential Description Logics of typicality, a nonmonotonic extension of standard Description Logics by means of a typicality operator T allowing to extend a knowledge base with inclusions of the form T(C) v D, whose intuitive meaning is that normally/typically Cs are also Ds. This extension is based on a minimal model semantics corresponding to a notion of rational clos…
▽ More
In this work we describe preferential Description Logics of typicality, a nonmonotonic extension of standard Description Logics by means of a typicality operator T allowing to extend a knowledge base with inclusions of the form T(C) v D, whose intuitive meaning is that normally/typically Cs are also Ds. This extension is based on a minimal model semantics corresponding to a notion of rational closure, built upon preferential models. We recall the basic concepts underlying preferential Description Logics. We also present two extensions of the preferential semantics: on the one hand, we consider probabilistic extensions, based on a distributed semantics that is suitable for tackling the problem of commonsense concept combination, on the other hand, we consider other strengthening of the rational closure semantics and construction to avoid the so-called blocking of property inheritance problem.
△ Less
Submitted 23 April, 2020; v1 submitted 20 April, 2020;
originally announced April 2020.
-
Indoor Millimeter-Wave Systems: Design and Performance Evaluation
Authors:
Jacek Kibiłda,
Allen B. MacKenzie,
Mohammad J. Abdel-Rahman,
Seong Ki Yoo,
Lorenzo Galati Giordano,
Simon L. Cotton,
Nicola Marchetti,
Walid Saad,
William G. Scanlon,
Adrian Garcia-Rodriguez,
David López-Pérez,
Holger Claussen,
Luiz A. DaSilva
Abstract:
Indoor areas, such as offices and shop** malls, are a natural environment for initial millimeter-wave (mmWave) deployments. While we already have the technology that enables us to realize indoor mmWave deployments, there are many remaining challenges associated with system-level design and planning for such. The objective of this article is to bring together multiple strands of research to provi…
▽ More
Indoor areas, such as offices and shop** malls, are a natural environment for initial millimeter-wave (mmWave) deployments. While we already have the technology that enables us to realize indoor mmWave deployments, there are many remaining challenges associated with system-level design and planning for such. The objective of this article is to bring together multiple strands of research to provide a comprehensive and integrated framework for the design and performance evaluation of indoor mmWave systems. The paper introduces the framework with a status update on mmWave technology, including ongoing fifth generation (5G) wireless standardization efforts, and then moves on to experimentally-validated channel models that inform performance evaluation and deployment planning. Together these yield insights on indoor mmWave deployment strategies and system configurations, from feasible deployment densities to beam management strategies and necessary capacity extensions.
△ Less
Submitted 18 April, 2020;
originally announced April 2020.
-
Analysis of UAV Communications in Cell-Free Massive MIMO systems
Authors:
Carmen D'Andrea,
Adrian Garcia-Rodriguez,
Giovanni Geraci,
Lorenzo Galati Giordano,
Stefano Buzzi
Abstract:
We study support for unmanned aerial vehicle (UAV) communications through a cell-free massive MIMO architecture, wherein a large number of access points (APs) is deployed in place of large co-located massive MIMO arrays. We consider also a variation of the pure cell-free architecture by applying a user-centric association approach, where each user is served only from a subset of APs in the network…
▽ More
We study support for unmanned aerial vehicle (UAV) communications through a cell-free massive MIMO architecture, wherein a large number of access points (APs) is deployed in place of large co-located massive MIMO arrays. We consider also a variation of the pure cell-free architecture by applying a user-centric association approach, where each user is served only from a subset of APs in the network. Under the general assumption that the propagation channel between the mobile stations, either UAVs or ground users (GUEs), and the APs follows a Ricean distribution, we derive closed-form spectral efficiency lower bounds for uplink and downlink with linear minimum mean square error channel estimation. We consider several power allocation and user scheduling strategies for such a system, and, among these, also minimum-rate maximizing power allocation strategies to improve the system fairness. Our numerical results reveal that cell-free massive MIMO architecture and its low-complexity user-centric alternative may provide better performance than a traditional multi-cell massive MIMO network deployment.
△ Less
Submitted 10 January, 2020; v1 submitted 5 September, 2019;
originally announced September 2019.
-
A reconstruction of the multipreference closure
Authors:
Laura Giordano,
Valentina Gliozzi
Abstract:
The paper describes a preferential approach for dealing with exceptions in KLM preferential logics, based on the rational closure. It is well known that the rational closure does not allow an independent handling of the inheritance of different defeasible properties of concepts. Several solutions have been proposed to face this problem and the lexicographic closure is the most notable one. In this…
▽ More
The paper describes a preferential approach for dealing with exceptions in KLM preferential logics, based on the rational closure. It is well known that the rational closure does not allow an independent handling of the inheritance of different defeasible properties of concepts. Several solutions have been proposed to face this problem and the lexicographic closure is the most notable one. In this work, we consider an alternative closure construction, called the Multi Preference closure (MP-closure), that has been first considered for reasoning with exceptions in DLs. Here, we reconstruct the notion of MP-closure in the propositional case and we show that it is a natural variant of Lehmann's lexicographic closure. Abandoning Maximal Entropy (an alternative route already considered but not explored by Lehmann) leads to a construction which exploits a different lexicographic ordering w.r.t. the lexicographic closure, and determines a preferential consequence relation rather than a rational consequence relation. We show that, building on the MP-closure semantics, rationality can be recovered, at least from the semantic point of view, resulting in a rational consequence relation which is stronger than the rational closure, but incomparable with the lexicographic closure. We also show that the MP-closure is stronger than the Relevant Closure.
△ Less
Submitted 1 September, 2020; v1 submitted 5 May, 2019;
originally announced May 2019.
-
Adding the Power-Set to Description Logics
Authors:
Laura Giordano,
Alberto Policriti
Abstract:
We explore the relationships between Description Logics and Set Theory. The study is carried on using, on the set-theoretic side, a very rudimentary axiomatic set theory Omega, consisting of only four axioms characterizing binary union, set difference, inclusion, and the power-set. An extension of ALC, ALC^Omega, is then defined in which concepts are naturally interpreted as sets living in Omega-m…
▽ More
We explore the relationships between Description Logics and Set Theory. The study is carried on using, on the set-theoretic side, a very rudimentary axiomatic set theory Omega, consisting of only four axioms characterizing binary union, set difference, inclusion, and the power-set. An extension of ALC, ALC^Omega, is then defined in which concepts are naturally interpreted as sets living in Omega-models. In ALC^Omega not only membership between concepts is allowed---even admitting circularity---but also the power-set construct is exploited to add metamodeling capabilities. We investigate translations of ALC^Omega into standard description logics as well as a set-theoretic translation. A polynomial encoding of ALC^Omega in ALCIO proves the validity of the finite model property as well as an ExpTime upper bound on the complexity of concept satisfiability. We develop a set-theoretic translation of ALC^Omega in the theory Omega, exploiting a technique originally proposed for translating normal modal and polymodal logics into Omega. Finally, we show that the fragment LC^Omega of ALC^Omega, which does not admit roles and individual names, is as expressive as ALC^Omega.
△ Less
Submitted 22 November, 2019; v1 submitted 26 February, 2019;
originally announced February 2019.
-
Cell-free Massive MIMO for UAV Communications
Authors:
Carmen D'Andrea,
Adrian Garcia-Rodriguez,
Giovanni Geraci,
Lorenzo Galati Giordano,
Stefano Buzzi
Abstract:
We study support for unmanned aerial vehicle (UAV) communications through a cell-free massive MIMO architecture. Under the general assumption that the propagation channel between the mobile stations, either UAVs or ground users, and the access points follows a Ricean distribution, we derive closed form spectral efficiency lower bounds for uplink and downlink with linear minimum mean square error (…
▽ More
We study support for unmanned aerial vehicle (UAV) communications through a cell-free massive MIMO architecture. Under the general assumption that the propagation channel between the mobile stations, either UAVs or ground users, and the access points follows a Ricean distribution, we derive closed form spectral efficiency lower bounds for uplink and downlink with linear minimum mean square error (LMMSE) channel estimation. We also propose power allocation and user scheduling strategies for such a system. Our numerical results reveal that a cell-free massive MIMO architecture may provide better performance than a traditional multicell massive MIMO network deployment.
△ Less
Submitted 10 February, 2019;
originally announced February 2019.
-
5G Massive MIMO Architectures: Self-Backhauled Small Cells versus Direct Access
Authors:
Andrea Bonfante,
Lorenzo Galati Giordano,
David López-Pérez,
Adrian Garcia-Rodriguez,
Giovanni Geraci,
Paolo Baracca,
M. Majid Butt,
Nicola Marchetti
Abstract:
In this paper, we focus on one of the key technologies for the fifth-generation wireless communication networks, massive multiple-input-multiple-output (mMIMO), by investigating two of its most relevant architectures: 1) to provide in-band backhaul for the ultra-dense network (UDN) of self-backhauled small cells (SCs), and 2) to provide direct access (DA) to user equipments (UEs). Through comprehe…
▽ More
In this paper, we focus on one of the key technologies for the fifth-generation wireless communication networks, massive multiple-input-multiple-output (mMIMO), by investigating two of its most relevant architectures: 1) to provide in-band backhaul for the ultra-dense network (UDN) of self-backhauled small cells (SCs), and 2) to provide direct access (DA) to user equipments (UEs). Through comprehensive 3GPP-based system-level simulations and analytical formulations, we show the end-to-end UE rates achievable with these two architectures. Differently from the existing works, we provide results for two strategies of self-backhauled SC deployments, namely random and ad-hoc, where in the latter SCs are purposely positioned close to UEs to achieve line-of-sight (LoS) access links. We also evaluate the optimal backhaul and access time resource partition due to the in-band self-backhauling (s-BH) operations. Our results show that the ad-hoc deployment of self-backhauled SCs closer to the UEs with optimal resource partition and with directive antenna patterns, provides rate improvements for cell-edge UEs that amount to 30% and tenfold gain, as compared to mMIMO DA architecture with pilot reuse 3 and reuse 1, respectively. On the other hand, mMIMO s-BH underperforms mMIMO DA above the median value of the UE rates when the effect of pilot contamination is less severe, and the LoS probability of the DA links improves.
△ Less
Submitted 29 October, 2019; v1 submitted 11 September, 2018;
originally announced September 2018.
-
Downlink Performance of Uplink Fractional Power Control in 5G Massive MIMO Systems
Authors:
Paolo Baracca,
Lorenzo Galati Giordano,
Adrian Garcia-Rodriguez,
Giovanni Geraci,
David Lopez-Perez
Abstract:
Uplink power control is an efficient scheme to mitigate pilot contamination in massive multiple-input multiple-output (MIMO) systems. In this work, we provide a comprehensive study on the effects of fractional power control (FPC) on the downlink performance of the most relevant fifth generation (5G) massive MIMO deployments. Specifically, we perform thorough system simulations based on the most re…
▽ More
Uplink power control is an efficient scheme to mitigate pilot contamination in massive multiple-input multiple-output (MIMO) systems. In this work, we provide a comprehensive study on the effects of fractional power control (FPC) on the downlink performance of the most relevant fifth generation (5G) massive MIMO deployments. Specifically, we perform thorough system simulations based on the most recent three dimensional spatial channel model released by the 3rd Generation Partnership Project to evaluate the impact of different deployment-related parameters such as pilot reuse factor, beamforming criterion, and base station array size. Our results indicate the most suitable tuning of the FPC parameters and show that optimized FPC provides huge gains in the cell border throughput when compared to a baseline scheme with all the users transmitting at maximum power. Moreover, our simulations also demonstrate that the effectiveness of FPC grows in scenarios with severe pilot contamination, confirming that implementing this feature is essential in realistic deployments.
△ Less
Submitted 10 September, 2018;
originally announced September 2018.
-
Survey on UAV Cellular Communications: Practical Aspects, Standardization Advancements, Regulation, and Security Challenges
Authors:
Azade Fotouhi,
Haoran Qiang,
Ming Ding,
Mahbub Hassan,
Lorenzo Galati Giordano,
Adrian Garcia-Rodriguez,
**hong Yuan
Abstract:
The rapid growth of consumer Unmanned Aerial Vehicles (UAVs) is creating promising new business opportunities for cellular operators. On the one hand, UAVs can be connected to cellular networks as new types of user equipment, therefore generating significant revenues for the operators that can guarantee their stringent service requirements. On the other hand, UAVs offer the unprecedented opportuni…
▽ More
The rapid growth of consumer Unmanned Aerial Vehicles (UAVs) is creating promising new business opportunities for cellular operators. On the one hand, UAVs can be connected to cellular networks as new types of user equipment, therefore generating significant revenues for the operators that can guarantee their stringent service requirements. On the other hand, UAVs offer the unprecedented opportunity to realize UAV-mounted flying base stations that can dynamically reposition themselves to boost coverage, spectral efficiency, and user quality of experience. Indeed, the standardization bodies are currently exploring possibilities for serving commercial UAVs with cellular networks. Industries are beginning to trial early prototypes of flying base stations or user equipments, while academia is in full swing researching mathematical and algorithmic solutions to address interesting new problems arising from flying nodes in cellular networks. In this article, we provide a comprehensive survey of all of these developments promoting smooth integration of UAVs into cellular networks. Specifically, we survey (i) the types of consumer UAVs currently available off-the-shelf, (ii) the interference issues and potential solutions addressed by standardization bodies for serving aerial users with the existing terrestrial base stations, (iii) the challenges and opportunities for assisting cellular communications with UAV-based flying relays and base stations, (iv) the ongoing prototy** and test bed activities, (v) the new regulations being developed to manage the commercial use of UAVs, and (vi) the cyber-physical security of UAV-assisted cellular communications.
△ Less
Submitted 31 March, 2019; v1 submitted 5 September, 2018;
originally announced September 2018.
-
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
Authors:
Laura Giordano,
Valentina Gliozzi
Abstract:
Reasoning about exceptions in ontologies is nowadays one of the challenges the description logics community is facing. The paper describes a preferential approach for dealing with exceptions in Description Logics, based on the rational closure. The rational closure has the merit of providing a simple and efficient approach for reasoning with exceptions, but it does not allow independent handling o…
▽ More
Reasoning about exceptions in ontologies is nowadays one of the challenges the description logics community is facing. The paper describes a preferential approach for dealing with exceptions in Description Logics, based on the rational closure. The rational closure has the merit of providing a simple and efficient approach for reasoning with exceptions, but it does not allow independent handling of the inheritance of different defeasible properties of concepts. In this work we outline a possible solution to this problem by introducing a variant of the lexicographical closure, that we call skeptical closure, which requires to construct a single base. We develop a bi-preference semantics semantics for defining a characterization of the skeptical closure.
△ Less
Submitted 8 July, 2018;
originally announced July 2018.
-
Performance of Massive MIMO Self-Backhauling for Ultra-Dense Small Cell Deployments
Authors:
Andrea Bonfante,
Lorenzo Galati Giordano,
David López-Pérez,
Adrian Garcia-Rodriguez,
Giovanni Geraci,
Paolo Baracca,
M. Majid Butt,
Merim Dzaferagic,
Nicola Marchetti
Abstract:
A key aspect of the fifth-generation wireless communication network will be the integration of different services and technologies to provide seamless connectivity. In this paper, we consider using massive multiple-input multiple-output (mMIMO) to provide backhaul links to a dense deployment of self-backhauling (s-BH) small cells (SCs) that provide cellular access within the same spectrum resource…
▽ More
A key aspect of the fifth-generation wireless communication network will be the integration of different services and technologies to provide seamless connectivity. In this paper, we consider using massive multiple-input multiple-output (mMIMO) to provide backhaul links to a dense deployment of self-backhauling (s-BH) small cells (SCs) that provide cellular access within the same spectrum resources of the backhaul. Through a comprehensive system-level simulation study, we evaluate the interplay between access and backhaul and the resulting end-to-end user rates. Moreover, we analyze the impact of different SCs deployment strategies, while varying the time resource allocation between radio access and backhaul links. We finally compare the above mMIMO-based s-BH approach to a mMIMO direct access (DA) architecture accounting for the effects of pilot reuse schemes, together with their associated overhead and contamination mitigation effects. The results show that dense SCs deployments supported by mMIMO s-BH provide significant rate improvements for cell-edge users (UEs) in ultra-dense deployments with respect to mMIMO DA, while the latter outperforms mMIMO s-BH from the median UEs' standpoint.
△ Less
Submitted 28 June, 2018;
originally announced June 2018.
-
The Essential Guide to Realizing 5G-Connected UAVs with Massive MIMO
Authors:
Adrian Garcia-Rodriguez,
Giovanni Geraci,
David López-Pérez,
Lorenzo Galati Giordano,
Ming Ding,
Emil Björnson
Abstract:
What will it take for drones -- and the whole associated ecosystem -- to take off? Arguably, infallible command and control (C&C) channels for safe and autonomous flying, and high-throughput links for multi-purpose live video streaming. And indeed, meeting these aspirations may entail a full cellular support, provided through 5G-and-beyond hardware and software upgrades by both mobile operators an…
▽ More
What will it take for drones -- and the whole associated ecosystem -- to take off? Arguably, infallible command and control (C&C) channels for safe and autonomous flying, and high-throughput links for multi-purpose live video streaming. And indeed, meeting these aspirations may entail a full cellular support, provided through 5G-and-beyond hardware and software upgrades by both mobile operators and manufacturers of these unmanned aerial vehicles (UAVs). In this article, we vouch for massive MIMO as the key building block to realize 5G-connected UAVs. Through the sheer evidence of 3GPP-compliant simulations, we demonstrate how massive MIMO can be enhanced by complementary network-based and UAV-based solutions, resulting in consistent UAV C&C support, large UAV uplink data rates, and harmonious coexistence with legacy ground users.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
Understanding UAV Cellular Communications: From Existing Networks to Massive MIMO
Authors:
Giovanni Geraci,
Adrian Garcia-Rodriguez,
Lorenzo Galati Giordano,
David López-Pérez,
Emil Björnson
Abstract:
The purpose of this article is to bestow the reader with a timely study of UAV cellular communications, bridging the gap between the 3GPP standardization status quo and the more forward-looking research. Special emphasis is placed on the downlink command and control (C&C) channel to aerial users, whose reliability is deemed of paramount technological importance for the commercial success of UAV ce…
▽ More
The purpose of this article is to bestow the reader with a timely study of UAV cellular communications, bridging the gap between the 3GPP standardization status quo and the more forward-looking research. Special emphasis is placed on the downlink command and control (C&C) channel to aerial users, whose reliability is deemed of paramount technological importance for the commercial success of UAV cellular communications. Through a realistic side-by-side comparison of two network deployments -- a present-day cellular infrastructure versus a next-generation massive MIMO system -- a plurality of key facts are cast light upon, with the three main ones summarized as follows: (i) UAV cell selection is essentially driven by the secondary lobes of a base station's radiation pattern, causing UAVs to associate to far-flung cells; (ii) over a 10 MHz bandwidth, and for UAV heights of up to 300 m, massive MIMO networks can support 100 kbps C&C channels in 74% of the cases when the uplink pilots for channel estimation are reused among base station sites, and in 96% of the cases without pilot reuse across the network; (iii) supporting UAV C&C channels can considerably affect the performance of ground users on account of severe pilot contamination, unless suitable power control policies are in place.
△ Less
Submitted 20 April, 2018;
originally announced April 2018.
-
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure
Authors:
Laura Giordano,
Daniele Theseider Dupré
Abstract:
In this work we study a rational extension $SROEL^R T$ of the low complexity description logic SROEL, which underlies the OWL EL ontology language. The extension involves a typicality operator T, whose semantics is based on Lehmann and Magidor's ranked models and allows for the definition of defeasible inclusions. We consider both rational entailment and minimal entailment. We show that deciding i…
▽ More
In this work we study a rational extension $SROEL^R T$ of the low complexity description logic SROEL, which underlies the OWL EL ontology language. The extension involves a typicality operator T, whose semantics is based on Lehmann and Magidor's ranked models and allows for the definition of defeasible inclusions. We consider both rational entailment and minimal entailment. We show that deciding instance checking under minimal entailment is in general $Π^P_2$-hard, while, under rational entailment, instance checking can be computed in polynomial time. We develop a Datalog calculus for instance checking under rational entailment and exploit it, with stratified negation, for computing the rational closure of simple KBs in polynomial time.
△ Less
Submitted 23 March, 2018;
originally announced March 2018.
-
Supporting UAV Cellular Communications through Massive MIMO
Authors:
Giovanni Geraci,
Adrian Garcia-Rodriguez,
Lorenzo Galati Giordano,
David López-Pérez,
Emil Björnson
Abstract:
In this article, we provide a much-needed study of UAV cellular communications, focusing on the rates achievable for the UAV downlink command and control (C&C) channel. For this key performance indicator, we perform a realistic comparison between existing deployments operating in single-user mode and next-generation multi-user massive MIMO systems. We find that in single-user deployments under hea…
▽ More
In this article, we provide a much-needed study of UAV cellular communications, focusing on the rates achievable for the UAV downlink command and control (C&C) channel. For this key performance indicator, we perform a realistic comparison between existing deployments operating in single-user mode and next-generation multi-user massive MIMO systems. We find that in single-user deployments under heavy data traffic, UAVs flying at 50 m, 150 m, and 300 m achieve the C&C target rate of 100 kbps -- as set by the 3GPP -- in a mere 35%, 2%, and 1% of the cases, respectively. Owing to mitigated interference, a stronger carrier signal, and a spatial multiplexing gain, massive MIMO time division duplex systems can dramatically increase such probability. Indeed, we show that for UAV heights up to 300 m the target rate is met with massive MIMO in 74% and 96% of the cases with and without uplink pilot reuse for channel state information (CSI) acquisition, respectively. On the other hand, the presence of UAVs can significantly degrade the performance of ground users, whose pilot signals are vulnerable to UAV-generated contamination and require protection through uplink power control.
△ Less
Submitted 5 February, 2018;
originally announced February 2018.
-
Reasoning about multiple aspects in DLs: Semantics and Closure Construction
Authors:
Laura Giordano,
Valentina Gliozzi
Abstract:
Starting from the observation that rational closure has the undesirable property of being an "all or nothing" mechanism, we here propose a multipreferential semantics, which enriches the preferential semantics underlying rational closure in order to separately deal with the inheritance of different properties in an ontology with exceptions. We provide a multipreference closure mechanism which is s…
▽ More
Starting from the observation that rational closure has the undesirable property of being an "all or nothing" mechanism, we here propose a multipreferential semantics, which enriches the preferential semantics underlying rational closure in order to separately deal with the inheritance of different properties in an ontology with exceptions. We provide a multipreference closure mechanism which is sound with respect to the multipreference semantics.
△ Less
Submitted 18 January, 2018;
originally announced January 2018.
-
Uplink Sounding Reference Signal Coordination to Combat Pilot Contamination in 5G Massive MIMO
Authors:
Lorenzo Galati Giordano,
Luca Campanalonga,
David Lopez-Perez,
Adrian Garcia-Rodriguez,
Giovanni Geraci,
Paolo Baracca,
Maurizio Magarini
Abstract:
To guarantee the success of massive multiple-input multiple-output (MIMO), one of the main challenges to solve is the efficient management of pilot contamination. Allocation of fully orthogonal pilot sequences across the network would provide a solution to the problem, but the associated overhead would make this approach infeasible in practical systems. Ongoing fifth-generation (5G) standardisatio…
▽ More
To guarantee the success of massive multiple-input multiple-output (MIMO), one of the main challenges to solve is the efficient management of pilot contamination. Allocation of fully orthogonal pilot sequences across the network would provide a solution to the problem, but the associated overhead would make this approach infeasible in practical systems. Ongoing fifth-generation (5G) standardisation activities are debating the amount of resources to be dedicated to the transmission of pilot sequences, focussing on uplink sounding reference signals (UL SRSs) design. In this paper, we extensively evaluate the performance of various UL SRS allocation strategies in practical deployments, shedding light on their strengths and weaknesses. Furthermore, we introduce a novel UL SRS fractional reuse (FR) scheme, denoted neighbour-aware FR (FR-NA). The proposed FR-NA generalizes the fixed reuse paradigm, and entails a tradeoff between i) aggressively sharing some UL SRS resources, and ii) protecting other UL SRS resources with the aim of relieving neighbouring BSs from pilot contamination. Said features result in a cell throughput improvement over both fixed reuse and state-of-the-art FR based on a cell-centric perspective.
△ Less
Submitted 19 December, 2017;
originally announced December 2017.
-
Indoor Massive MIMO Deployments for Uniformly High Wireless Capacity
Authors:
Giovanni Geraci,
Adrian Garcia-Rodriguez,
David Lopez-Perez,
Lorenzo Galati Giordano,
Paolo Baracca,
Holger Claussen
Abstract:
Providing consistently high wireless capacity is becoming increasingly important to support the applications required by future digital enterprises. In this paper, we propose Eigen-direction-aware ZF (EDA-ZF) with partial coordination among base stations (BSs) and distributed interference suppression as a practical approach to achieve this objective. We compare our solution with Zero Forcing (ZF),…
▽ More
Providing consistently high wireless capacity is becoming increasingly important to support the applications required by future digital enterprises. In this paper, we propose Eigen-direction-aware ZF (EDA-ZF) with partial coordination among base stations (BSs) and distributed interference suppression as a practical approach to achieve this objective. We compare our solution with Zero Forcing (ZF), entailing neither BS coordination or inter-cell interference mitigation, and Network MIMO (NeMIMO), where full BS coordination enables centralized inter-cell interference management. We also evaluate the performance of said schemes for three sub-6 GHz deployments with varying BS densities -- sparse, intermediate, and dense -- all with fixed total number of antennas and radiated power. Extensive simulations show that: (i) indoor massive MIMO implementing the proposed EDA-ZF provides uniformly good rates for all users; (ii) indoor network densification is detrimental unless full coordination is implemented; (iii) deploying NeMIMO pays off under strong outdoor interference, especially for cell-edge users.
△ Less
Submitted 10 October, 2017;
originally announced October 2017.
-
Resource Scheduling for Mixed Traffic Types with Scalable TTI in Dynamic TDD Systems
Authors:
Qi Liao,
Paolo Baracca,
David Lopez-Perez,
Lorenzo Galati Giordano
Abstract:
This paper analyses the performance benefits of a user-centric scheduling approach, exploiting the flexibility of both dynamic time division duplex (TDD) and a variable transmission time interval (TTI), where the downlink to uplink ratio and TTI duration can be adapted to the traffic load. The formulation of the joint optimisation problem takes into consideration the individual requirements of eac…
▽ More
This paper analyses the performance benefits of a user-centric scheduling approach, exploiting the flexibility of both dynamic time division duplex (TDD) and a variable transmission time interval (TTI), where the downlink to uplink ratio and TTI duration can be adapted to the traffic load. The formulation of the joint optimisation problem takes into consideration the individual requirements of each single user in terms of sustainable latency and desired throughput, thus implementing a real user-centric scheduling approach. Moreover, the developed solution is evaluated in a scenario with mixed traffic types, mobile broadband (MBB) and mission critical communications (MCC), showing remarkable performance enhancement of the proposed scheme over baseline dynamic TDD schemes with a fixed TTI in terms of both achievable throughput of the MBB users and guaranteed latency for the MCC users.
△ Less
Submitted 11 September, 2017;
originally announced October 2017.
-
Massive MIMO Unlicensed for High-Performance Indoor Networks
Authors:
Adrian Garcia-Rodriguez,
Giovanni Geraci,
David Lopez-Perez,
Lorenzo Galati Giordano,
Ming Ding,
Holger Claussen
Abstract:
We propose massive MIMO unlicensed (mMIMO-U) as a high-capacity solution for future indoor wireless networks operating in the unlicensed spectrum. Building upon massive MIMO (mMIMO), mMIMO-U incorporates additional key features, such as the capability of placing accurate radiation nulls towards coexisting nodes during the channel access and data transmission phases. We demonstrate the spectrum reu…
▽ More
We propose massive MIMO unlicensed (mMIMO-U) as a high-capacity solution for future indoor wireless networks operating in the unlicensed spectrum. Building upon massive MIMO (mMIMO), mMIMO-U incorporates additional key features, such as the capability of placing accurate radiation nulls towards coexisting nodes during the channel access and data transmission phases. We demonstrate the spectrum reuse and data rate improvements attained by mMIMO-U by comparing three practical deployments: single-antenna Wi-Fi, where an indoor operator deploys three single-antenna Wi-Fi access points (APs), and two other scenarios where the central AP is replaced by either a mMIMO AP or the proposed mMIMO-U AP. We show that upgrading the central AP with mMIMO-U provides increased channel access opportunities for all of them. Moreover, mMIMO-U achieves four-fold and seven-fold gains in median throughput when compared to traditional mMIMO and single-antenna setups, respectively.
△ Less
Submitted 18 August, 2017;
originally announced August 2017.
-
Massive MIMO Unlicensed: A New Approach to Dynamic Spectrum Access
Authors:
Adrian Garcia-Rodriguez,
Giovanni Geraci,
Lorenzo Galati Giordano,
Andrea Bonfante,
Ming Ding,
David Lopez-Perez
Abstract:
Nowadays, the demand for wireless mobile services is copious, and will continue increasing in the near future. Mobile cellular operators are therefore looking at the unlicensed spectrum as an economical supplement to augment the capacity of their soon-to-be overloaded networks. The same unlicensed bands are luring internet service providers, venue owners, and authorities into autonomously setting…
▽ More
Nowadays, the demand for wireless mobile services is copious, and will continue increasing in the near future. Mobile cellular operators are therefore looking at the unlicensed spectrum as an economical supplement to augment the capacity of their soon-to-be overloaded networks. The same unlicensed bands are luring internet service providers, venue owners, and authorities into autonomously setting up and managing their high-performance private networks. In light of this exciting future, ensuring coexistence between multiple unlicensed technologies becomes a pivotal issue. So far this issue has been merely addressed via inefficient sharing schemes based on intermittent transmission. In this article, we present the fundamentals and the main challenges behind massive MIMO unlicensed, a brand-new approach for technology coexistence in the unlicensed bands, which is envisioned to boost spectrum reuse for a plethora of use cases.
△ Less
Submitted 4 April, 2017;
originally announced April 2017.
-
Enhancing Coexistence in the Unlicensed Band with Massive MIMO
Authors:
Giovanni Geraci,
Adrian Garcia-Rodriguez,
David López-Pérez,
Andrea Bonfante,
Lorenzo Galati Giordano,
Holger Claussen
Abstract:
We consider cellular base stations (BSs) equipped with a large number of antennas and operating in the unlicensed band. We denote such system as massive MIMO unlicensed (mMIMO-U). We design the key procedures required to guarantee coexistence between a cellular BS and nearby Wi-Fi devices. These include: neighboring Wi-Fi channel covariance estimation, allocation of spatial degrees of freedom for…
▽ More
We consider cellular base stations (BSs) equipped with a large number of antennas and operating in the unlicensed band. We denote such system as massive MIMO unlicensed (mMIMO-U). We design the key procedures required to guarantee coexistence between a cellular BS and nearby Wi-Fi devices. These include: neighboring Wi-Fi channel covariance estimation, allocation of spatial degrees of freedom for interference suppression, and enhanced channel sensing and data transmission phases. We evaluate the performance of the so-designed mMIMO-U, showing that it allows simultaneous cellular and Wi-Fi transmissions by kee** their mutual interference below the regulatory threshold. The same is not true for conventional listen-before-talk (LBT) operations. As a result, mMIMO-U boosts the aggregate cellular-plus-Wi-Fi data rate in the unlicensed band with respect to conventional LBT, exhibiting increasing gains as the number of BS antennas grows.
△ Less
Submitted 16 March, 2017;
originally announced March 2017.
-
Operating Massive MIMO in Unlicensed Bands for Enhanced Coexistence and Spatial Reuse
Authors:
Giovanni Geraci,
Adrian Garcia-Rodriguez,
David López-Pérez,
Andrea Bonfante,
Lorenzo Galati Giordano,
Holger Claussen
Abstract:
We propose to operate massive multiple-input multiple output (MIMO) cellular base stations (BSs) in unlicensed bands. We denote such system as massive MIMO unlicensed (mMIMO-U). We design the key procedures required at a cellular BS to guarantee coexistence with nearby Wi-Fi devices operating in the same band. In particular, spatial reuse is enhanced by actively suppressing interference towards ne…
▽ More
We propose to operate massive multiple-input multiple output (MIMO) cellular base stations (BSs) in unlicensed bands. We denote such system as massive MIMO unlicensed (mMIMO-U). We design the key procedures required at a cellular BS to guarantee coexistence with nearby Wi-Fi devices operating in the same band. In particular, spatial reuse is enhanced by actively suppressing interference towards neighboring Wi-Fi devices. Wi-Fi interference rejection is also performed during an enhanced listen-before-talk (LBT) phase. These operations enable Wi-Fi devices to access the channel as though no cellular BSs were transmitting, and vice versa. Under concurrent Wi-Fi and BS transmissions, the downlink rates attainable by cellular user equipment (UEs) are degraded by the Wi-Fi-generated interference. To mitigate this effect, we select a suitable set of UEs to be served in the unlicensed band accounting for a measure of the Wi-Fi/UE proximity. Our results show that the so-designed mMIMO-U allows simultaneous cellular and Wi-Fi transmissions by kee** their mutual interference below the regulatory threshold. Compared to a system without interference suppression, Wi-Fi devices enjoy a median interference power reduction of between 3 dB with 16 antennas and 18 dB with 128 antennas. With mMIMO-U, cellular BSs can also achieve large data rates without significantly degrading the performance of Wi-Fi networks deployed within their coverage area.
△ Less
Submitted 26 February, 2017; v1 submitted 14 December, 2016;
originally announced December 2016.
-
ASP for Minimal Entailment in a Rational Extension of SROEL
Authors:
Laura Giordano,
Daniele Theseider Dupré
Abstract:
In this paper we exploit Answer Set Programming (ASP) for reasoning in a rational extension SROEL-R-T of the low complexity description logic SROEL, which underlies the OWL EL ontology language. In the extended language, a typicality operator T is allowed to define concepts T(C) (typical C's) under a rational semantics. It has been proven that instance checking under rational entailment has a poly…
▽ More
In this paper we exploit Answer Set Programming (ASP) for reasoning in a rational extension SROEL-R-T of the low complexity description logic SROEL, which underlies the OWL EL ontology language. In the extended language, a typicality operator T is allowed to define concepts T(C) (typical C's) under a rational semantics. It has been proven that instance checking under rational entailment has a polynomial complexity. To strengthen rational entailment, in this paper we consider a minimal model semantics. We show that, for arbitrary SROEL-R-T knowledge bases, instance checking under minimal entailment is Π^P_2-complete. Relying on a Small Model result, where models correspond to answer sets of a suitable ASP encoding, we exploit Answer Set Preferences (and, in particular, the asprin framework) for reasoning under minimal entailment. The paper is under consideration for acceptance in Theory and Practice of Logic Programming.
△ Less
Submitted 8 August, 2016;
originally announced August 2016.
-
Rational Closure in SHIQ
Authors:
Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato
Abstract:
We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Magidor in [23]. We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models. We show that the rational closure of a TBo…
▽ More
We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Magidor in [23]. We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models. We show that the rational closure of a TBox can be computed in EXPTIME using entailment in SHIQ.
△ Less
Submitted 8 June, 2014;
originally announced June 2014.
-
On Rational Closure in Description Logics of Typicality
Authors:
Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato
Abstract:
We define the notion of rational closure in the context of Description Logics extended with a tipicality operator. We start from ALC+T, an extension of ALC with a typicality operator T: intuitively allowing to express concepts of the form T(C), meant to select the "most normal" instances of a concept C. The semantics we consider is based on rational model. But we further restrict the semantics to…
▽ More
We define the notion of rational closure in the context of Description Logics extended with a tipicality operator. We start from ALC+T, an extension of ALC with a typicality operator T: intuitively allowing to express concepts of the form T(C), meant to select the "most normal" instances of a concept C. The semantics we consider is based on rational model. But we further restrict the semantics to minimal models, that is to say, to models that minimise the rank of domain elements. We show that this semantics captures exactly a notion of rational closure which is a natural extension to Description Logics of Lehmann and Magidor's original one. We also extend the notion of rational closure to the Abox component. We provide an ExpTime algorithm for computing the rational closure of an Abox and we show that it is sound and complete with respect to the minimal model semantics.
△ Less
Submitted 5 May, 2013;
originally announced May 2013.
-
Reasoning about Actions with Temporal Answer Sets
Authors:
Laura Giordano,
Alberto Martelli,
Daniele Theseider Dupré
Abstract:
In this paper we combine Answer Set Programming (ASP) with Dynamic Linear Time Temporal Logic (DLTL) to define a temporal logic programming language for reasoning about complex actions and infinite computations. DLTL extends propositional temporal logic of linear time with regular programs of propositional dynamic logic, which are used for indexing temporal modalities. The action language allows g…
▽ More
In this paper we combine Answer Set Programming (ASP) with Dynamic Linear Time Temporal Logic (DLTL) to define a temporal logic programming language for reasoning about complex actions and infinite computations. DLTL extends propositional temporal logic of linear time with regular programs of propositional dynamic logic, which are used for indexing temporal modalities. The action language allows general DLTL formulas to be included in domain descriptions to constrain the space of possible extensions. We introduce a notion of Temporal Answer Set for domain descriptions, based on the usual notion of Answer Set. Also, we provide a translation of domain descriptions into standard ASP and we use Bounded Model Checking techniques for the verification of DLTL constraints.
△ Less
Submitted 17 October, 2011;
originally announced October 2011.
-
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
Authors:
Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato
Abstract:
We present tableau calculi for some logics of nonmonotonic reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for all KLM logics, namely preferential, loop-cumulative, cumulative and rational logics. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. We provide a decision procedure for the logics considered, and we…
▽ More
We present tableau calculi for some logics of nonmonotonic reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for all KLM logics, namely preferential, loop-cumulative, cumulative and rational logics. Our calculi are obtained by introducing suitable modalities to interpret conditional assertions. We provide a decision procedure for the logics considered, and we study their complexity.
△ Less
Submitted 10 November, 2006;
originally announced November 2006.