7 Result(s)
within
Computer Science
Artificial Intelligence
Database Management
Da Ruan
Chapter
-
Chapter and Conference Paper
α-Satisfiability and α-Lock Resolution for a Lattice-Valued Logic LP(X)
This paper focuses on some automated reasoning issues for a kind of lattice-valued logic LP(X) based on lattice-valued algebra. Firstly some extended strategies from classical logic to LP(X) are investigated in o...
-
Chapter and Conference Paper
Imputing Missing Values in Nuclear Safeguards Evaluation by a 2-Tuple Computational Model
Nuclear safeguards evaluation aims to verify that countries are not misusing nuclear programs for nuclear weapons purposes. Experts of the International Atomic Energy Agency (IAEA) evaluate many indicators by ...
-
Chapter and Conference Paper
On Compactness and Consistency in Finite Lattice-Valued Propositional Logic
In this paper, we investigate the semantical theory of finite lattice-valued propositional logic based on finite lattice implication algebras. Based on the fuzzy set theory on a set of formulas, some propositi...
-
Chapter and Conference Paper
A Hybrid Approach for Fault Tree Analysis Combining Probabilistic Method with Fuzzy Numbers
Conventional fault tree analysis in safety analysis of complex engineering systems calculates the occurrence probability of the top undesired event using probabilistic failure rates. However, it is often very ...
-
Chapter and Conference Paper
On a New Class of Implications in Fuzzy Logic
We define and study a new class of implications determined only by a negation. We examine under which conditions the most popular eight axioms for implications are satisfied. We obtain the intersection of the ...
-
Chapter and Conference Paper
A New Decision Tree Construction Using the Cloud Transform and Rough Sets
Many present methods for dealing with the continuous data and missing values in information systems for constructing decision tree do not perform well in practical applications. In this paper, a new algorithm,...
-
Chapter and Conference Paper
On a Mathematical Relationship Between the Fixed Point and the Closed Itemset in Association Rule Mining
Association rule mining is one of important research topics in knowledge discovery and data mining. Recent promising direction of association rule mining is mainly to mine closed itemsets. Based on the Galois ...
