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