格值逻辑的推理系统及其在AI中的应用

THE SYSTEM OF LATTICE—VALUED LOGIC’S INFERENOE AND THE USE IN AI

格值逻辑（ＬＶＬ）是本文作者于１９８６年引进的人工智能领域中的一种非经典逻辑。本文改进了ＬＶＬ中的推理模式，相应地给出了改进后的ＬＶＬ系统中可信度的更新算法。

Lattice－Valued Logice （LVL） that was set up by the writers in 1986 is a kind of non－classical Logic（AI）. In this paper，inference model in LVL is improved，and the renewed algorithm of theimproved system degree of credibility is given.