Uncertainty reasoning based on lattice-valued first-order logic L/sub vfl/

Uncertainty reasoning is one of the important issues of many research fields, such as artificial intelligence, knowledge-based systems, data mining etc.. This paper proposes the theory of uncertainty reasoning in the "If...then..." type uncertainty reasoning mode based on the lattice-valued first-order logic L/sub vfl/. The "If...then..." rule presented here is the rule in which both antecedent and consequence are L-type lattice-valued formula sets. Two uncertainty reasoning methods, which are reasonable due to their strict semantic interpretation and strict syntactical deduction, are proposed in the lattice-valued first-order logic L/sub vfl/.