27 Result(s)

Article

Computational Intelligence in Knowledge Engineering

Tianrui Li, Yang Xu in International Journal of Computational Intelligence Systems (2008)

Article

A Linguistic-Valued Weighted Aggregation Operator to Multiple Attribute Group Decision Making with Quantitative and Qualitative Information

In selecting an optional alternative in an environment of multiple attribute group decision making, different attributes of the alternative are often considered as with quantitative and qualitative information...

**aobing Li, Da Ruan, Jun Liu, Yang Xu in International Journal of Computational Int… (2008)

Article

α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic

This paper focuses on efficient non-clausal resolution-based automated reasoning methods and algorithms for a lattice-ordered linguistic truth-valued logic, which corresponds to extensions of α-lock resolution...

**ngxing He, Yang Xu, Jun Liu, Shuwei Chen in International Journal of Computational Int… (2012)

Article

Combination of interval set and soft set

Soft set theory and interval set theory are all mathematical tools for dealing with uncertainties. This paper is devoted to the discussion of soft interval set and its application. The notion of soft interval ...

Keyun Qin, Dan Meng, Zheng Pei, Yang Xu in International Journal of Computational Int… (2013)

Article

A Combination Algorithm of Multiple Lattice-Valued Concept Lattices

With the rapid development of network technology, especially in the internet area, distributed computation and parallel processing of data are urgently needed. This paper studies the combination operation of t...

Li Yang, Yuhui Wang, Yang Xu in International Journal of Computational Intelligence Systems (2013)

Article

Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)

One of key issues for α-n(t) ary resolution automated reasoning based on lattice-valued logic with truth-value in a lattice implication algebra is to investigate the α-n(t) ary resolution of some generalized lite...

Yi Liu, Hairui Jia, Yang Xu in International Journal of Computational Intelligence Systems (2013)

Article

IFI-ideals of lattice implication algebras

The notion of IFI—ideal is introduced in lattice implication algebras. Firstly, the equivalent conditions of IF—ideals and IFI—ideals are given in lattice implication algebras. Then the proposition of IFI—ideal i...

Hua Zhu, Jianbin Zhao, Yang Xu in International Journal of Computational Int… (2013)

Article

α-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...

Jiafeng Zhang, Yang Xu, **ngxing He in International Journal of Computational Int… (2014)

Article

The 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...

** Qiu, Ming Jian, Jun Liu, Yi Wang… in International Journal of Computational Int… (2014)

Article

α-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...

**aomei Zhong, Yang Xu, Jun Liu, Shuwei Chen in International Journal of Computational Int… (2014)

Article

On (M,N)-S I (implicative) filters in R₀-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...

Jianming Zhan, Yang Xu, Young Bae Jun in International Journal of Computational Int… (2014)

Article

α-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...

Weitao Xu, Wenqiang Zhang, Dexian Zhang… in International Journal of Computational Int… (2015)

Article

Redefined 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...

Keyun Qin, Qiong Liu… in International Journal of Computational Intelligence Systems (2015)

Article

GA-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...

Limin Du, Yang Xu, Jun Liu, Fangli Ma in International Journal of Computational Int… (2015)

Article

Semantics 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...

**aodong Pan, Yang Xu in International Journal of Computational Intelligence Systems (2015)

Article

α-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...

Hairui Jia, Yang Xu, Yi Liu, Jun Liu in International Journal of Computational Int… (2015)

Article

A 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...

Liuqian **, **n Fang, Yang Xu in International Journal of Computational Int… (2015)

Article

The 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...

**aoyan Qin, Yang Xu, Yi Liu in International Journal of Computational Intelligence Systems (2015)

Article

A 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...

Qingshan Chen, Yang Xu, Jun Liu, **ngxing He in International Journal of Computational Int… (2017)

Article

Further 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...

Wei Wang, Pengxi Yang, Yang Xu in International Journal of Computational Int… (2018)