Logical metric space is an importent frame in approximate reasoning.

• 摘要逻辑度量空间是近似推理的重要框架。