【24h】

If I don't know, should I infer? Reasoning around ignorance in a many-valued framework

机译:如果我不知道,我应该推断吗?在多值框架中围绕无知进行推理

获取原文
获取原文并翻译 | 示例

摘要

Many-valued logic allows to reason with partial truth measured by degrees on a discrete scale, but it suffers from an ambiguous interpretation of the middle truth level, considered as intermediate truth or as ignorance, i.e. inability to assess truth. The L extension introduces an additional value, outside the truth scale, to distinguish between these two notions. This paper studies L from a logical perspective, examining how to reason in this framework: it discusses the definition of appropriate semantics for the logical connectives and it considers an inference task, proposing a Modus Ponens variant for L.
机译:多值逻辑允许使用离散量度上的度数来推理部分真实性,但是它受到对中间真实性水平的模棱两可的解释,被认为是中间真实性或无知,即无法评估真实性。 L扩展引入了真值范围之外的附加值,以区分这两个概念。本文从逻辑的角度研究了L,研究了如何在此框架中进行推理:讨论了逻辑连接词的适当语义的定义,并考虑了推理任务,提出了L的Modus Ponens变体。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号