27 Result(s)
within
Engineering
Computational Intelligence
Mathematical Logic and Foundations
Yang XU
-
Article
Open AccessResearch on the Minimum Size of Received Signal Strength Difference Localization Network
The received signal strength difference (RSSD) localization is a kind of method to locate emission sources by measuring the differences of received signal strength level between the monitoring stations and is ...
-
Article
Open AccessA Novel Combinational ATP Based on Contradiction Separation for First-Order Logic
At present, most of the first-order logic theorem provers use a binary-resolution method, which can effectively solve the general first-order logic problems to a certain extent. However, the cooperative proces...
-
Article
Open AccessA Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search
Most of the advanced first-order logic automated theorem proving (ATP) systems adopt binary resolution methods as the core inference mechanism, where only two clauses are involved and a complementary pair of l...
-
Article
Open AccessA Novel Method Based on Extended Uncertain 2-tuple Linguistic Muirhead Mean Operators to MAGDM under Uncertain 2-Tuple Linguistic Environment
The present work is focused on multi-attribute group decision-making (MAGDM) problems with the uncertain 2-tuple linguistic information (ULI2-tuple) based on new aggregation operators which can capture interrelat...
-
Article
Correction to: Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization
I recently found that several errors occur in the statement of Definition 5.2 in Section 5 in the paper “Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization”.
-
Article
Open AccessFurther Complete Solutions to Four Open Problems on Filter of Logical Algebras
This paper focuses on the investigation of filters of pseudo BCK-algebra and BL-algebra, important and popular generic commutative and non-commutative logical algebras. By characterizing Boolean filter and implic...
-
Article
Open AccessA New Rewarding Mechanism for Branching Heuristic in SAT Solvers
Decision heuristic strategy can be viewed as one of the most central features of state-of-the-art conflict-driven clause-learning SAT solvers. Variable state independent decaying sum (VSIDS) still is the domin...
-
Article
Open AccessA Hybrid Learnt Clause Evaluation Algorithm for SAT Problem
It is of great the oretical and practical significance to develop the efficient SAT solvers due to its important applications in hardware and software verifications and so on, and learnt clauses play the cruci...
-
Article
Open AccessA Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
Clause learning is the key component of modern SAT solvers, while conflict analysis based on the implication graph is the mainstream technology to generate the learnt clauses. Whenever a clause in the clause d...
-
Article
Open Accessα-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic system ℒP(X) based on lattice implication algebra. Firstly, the noti...
-
Article
Open AccessRedefined soft relations and soft functions
Soft set theory, proposed by Molodtsov, has been regarded as an effective mathematical tool to deal with uncertainties. In this paper, the notion of soft relation is introduced which is a generalization of the...
-
Article
Open AccessGA-Based Feature Selection Method for Imbalanced Data with Application in Radio Signal Recognition
This paper presents an improved genetic algorithm (GA) based feature selection method for imbalanced data classification, which is then applied to radio signal recognition of ground-air communication. The prop...
-
Article
Open AccessSemantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
This paper deals with propositional fuzzy modal logic with evaluated syntax based on MV-algebras. We focus on its semantical theory from the viewpoint of Pavelka’s graded semantics of propositional fuzzy logic...
-
Article
Open Accessα-Minimal Resolution Principle For A Lattice-Valued Logic
Based on the academic ideas of resolution-based automated reasoning and the previously established research work on binary α-resolution based automated reasoning schemes in the framework of lattice-valued logi...
-
Article
Open AccessA Method for Multi-attribute Decision Making Under Uncertainty Using Evidential Reasoning and Prospect Theory
In this paper, a method for multi-attribute decision making under uncertainty is proposed, the uncertainty is represented by certitude structure. In fact, there are both quantitative and qualitative attributes...
-
Article
Open AccessThe validity degree vectors of formulae in two-valued predicate logic
By means of infinite product of uniformly distributed probability spaces of cardinal n, the concept of n-validity degrees and validity degree vectors of formulae in two-valued predicate logic are introduced. It i...
-
Article
Open AccessOn (M,N)-S I (implicative) filters in R0-algebras
Molodtsov’s soft set theory provides a general mathematical framework for dealing with uncertainty. This paper aims to put forward a new soft set—(M,N)-soft intersection set, which is a generalization of soft int...
-
Article
Open Accessα-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
Based on the general form of α-resolution principle for a lattice-valued logic with truth-values defined in a lattice-valued logical algebra structure - lattice implication algebra, the further extended α-resolut...
-
Article
Open AccessThe Fuzzy Map** Aggregation Operator Based on Rimer and its Application
A fuzzy map** aggregation operator based on RIMER and its application in Chinese word semantic proofing system for special domain are discussed deeply in this paper. Firstly, the fuzzy map** aggregation op...
-
Article
Open Accessα-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)
This paper is focused on α-generalized semantic resolution automated reasoning method in linguistic truth-valued lattice-valued propositional logic. Concretely, α-generalized semantic resolution for lattice-value...
