度量知识库的不一致程度可以帮助我们处理矛盾。目前存在着多种不一致度量的定义,其中一类定义基于多值语义。基于不同的多值语义(包括三值语义、四值语义、极小不一致语义和准经典语义),又可以定义不同的度量。本文仔细分析了这些定义之间的关系,发现基于三值语义、四值语义和极小不一致语义的不一致度量是等价的,但是跟基于准经典语义的度量不同。然后,我们研究了不一致度量的计算问题。计算复杂度分析显示,计算基于多值语义的度量通常是不易计算的。为了解决这个问题,本文给出了两个归约算法,把基于四值语义(三值语义,极小不一致语义)和准经典语义的度量归约为部分极大可满足问题。部分极大可满足问题是已经有一些高效的求解器可用,我们实现了这两个归约算法,并在一些基准测试数据集上,使用不同的求解器进行了实验,初步的实验结果表明了算法的有效性,可以度量大规模的知识库。