![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Using OWA Operators to Integrate Group Attitudes towards Consensus
Nowadays decisions that affect organizations or big amounts of people are normally made by a group of experts, rather than a single decision maker. These decisions would require more than a majority rule to be...
-
Chapter and Conference Paper
The Relationship of Filters in Lattice Implication Algebra
In this paper, we focus on the properties of filters in lattice implication algebra. We study the relationship of associative filter and implicative filter, n-fold associative filter and n-fold implicative fil...
-
Chapter and Conference Paper
Further Research of Generated Filters in Lattice Implication Algebra
In this paper we combining LHIA research the generated filters of lattice implication algebra. Firstly some new properties of lattice implication algebra are discussed. Then a structure of generated filter of ...
-
Chapter and Conference Paper
α-Quasi-Lock Semantic Resolution Method for Linguistic Truth-Valued Lattice-Valued Propositional Logic \(\mathcal{L}_{V(n\times2)}\) P(x)
On the basis of α-quasi-lock semantic resolution method in lattice-valued propositional logic ( \(\mathcal{L}_{n}\times\mathcal{L}_{2}\) ...
-
Chapter and Conference Paper
Duality in Lattice Implication Algebra
According to the general form of principle of duality in the sense of class [1], this paper tries to study the dual operators of operators in lattice implication algebra [2], especially the dual operator of im...
-
Chapter and Conference Paper
An ETL Strategy for Real-Time Data Warehouse
Real-time data warehouse as an extension of traditional data warehouse, it is effectively shortening the delay of information and providing timely and accurate decision support to decision makers. The ETL proc...
-
Chapter and Conference Paper
The Identification of Convex Function on Riemannian Manifold
The necessary and sufficient condition of convex function is significant in nonlinear convex programming. This paper presents the identification of convex function on Riemannian manifold by use of Penot genera...
-
Chapter and Conference Paper
Algorithm to Find Ground Instances in Linguistic Truth-Valued Lattice-Valued First-Order Logic \( \mathcal{L}_{{V({n} \times 2)}}F(X) \)
α-Resolution-based automated reasoning in linguistic truth-valued lattice-valued first-order logic $$ \mathcal{L}_{V(n \times 2)...
-
Chapter and Conference Paper
Comparisons Among α-Generalized Resolution Methods in \(\fancyscript{L}_{n \times 2}\) F(X)
This paper analyzes the characteristics of α-generalized semantic resolution, α-generalized linear resolution, and α-generalized lock resolution from their validity, complexity, and practicability in ...
-
Chapter and Conference Paper
A Femtocell Self-Configuration Deployment Scheme in Hierarchical Networks
More Femtocells will be deployed in existing cell networks, improving system capacity and enhancing indoor coverage. However new Femtocells will introduce a series of several interferences, whether which are w...
-
Chapter and Conference Paper
\(\alpha \) -Generalized Lock Resolution with Deleting Strategies in \(\fancyscript{L}_n\) F(X)
This paper focuses on refined non-clausal resolution methods in a Łukasiewicz first order logic \(\fancyscript{L}_n\) ...
-
Chapter and Conference Paper
A Rule-Based Inference Method Using Dempster–Shafer Theory
The Dempster–Shafer theory of evidence for attribute aggregation provides a method to deal with uncertainty reasoning. In this paper, uncertainty reasoning method based on rule-base with certainty interval is ...
-
Chapter and Conference Paper
Multi-UAV Cooperative Moving Target Search Based on Improved Pigeon-Inspired Optimization
Aiming at the problem of multi-UAV cooperative moving target search, a cooperative search decision based on improved pigeon-inspired optimization is designed. Firstly, based on the independence of moving targe...