多值逻辑中程序语义的计算与比较

可以赋予逻辑程序的不同语义对应于关于其原子所做出的不同假设。因此，固有语义对应于假设每个无法从规则推理出的原子为假，而 Kleene 语义则对应于假设每个无法从规则推理出的原子为未知。本文提出通过引入参数化语义来统一和扩展这种基于假设的方法。该参数保存一个值，用于假设所有无法从规则推理出的原子的逻辑值。我们工作于具有双格结构的多值逻辑中，考虑由 Fitting 定义的逻辑程序的类。遵循 Fitting 方法，我们定义一个简单算子，允许我们计算参数化语义，并比较和组合不同参数值获得的语义。Fitting 提出的语义对应于值 false。我们还展示了我们的ethods 能否捕获并扩展常规逻辑程序的常规语义，从而实现它们的计算统一。