-
Article
Reliability analysis of mobile agent control system with multiple alternative plans
With the advancement of artificial intelligence technologies, mobile agents are becoming more commonly used in a variety of industries that require high reliability from their control systems. In an uncertain ...
-
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
\(\alpha \) -Paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality
In this paper, \(\alpha \) α -paramodulation and
-
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
Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization
Based on the in-depth analysis of the essence and key features of vague phenomena, this paper focuses on establishing the axiomatical foundation of membership degree theory using for modeling vague phenomena, ...
-
Article
Heuristic routing algorithm toward scalable distributed generalized assignment problem
Distributed generalized assignment problem (D-GAP) is very popular in scalable multi-agent systems. However, existing algorithms are either not effective or efficient in large-scale or highly dynamic domains o...
-
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
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area. The present ...
-
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
An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy
An improved adaptive genetic algorithm is proposed for solving 3-SAT problems based on effective restart and greedy strategy in this paper. Several new characteristics of the algorithm are developed. According...
-
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...