In this paper we consider the probability logic over Łukasiewicz logic with rational truth-constants, denoted FP(RPL), and we explore two possible approaches to reason from inconsistent FP(RPL) theories on classical events in a non-trivial way. The first one amounts to replace the logic RPL, that is explosive, by its paraconsistent companion RPL \(^\leq \) . The second one consists of suitably weakening the formulas in an inconsistent theory T, depending on the degree of inconsistency of T. We also discuss the possibility of applying a similar approach to reason about probability over the paraconsistent logic RCi along the lines of Bueno-Soler and Carnielli’s approach to paraconsistent probability.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

An Approach to Inconsistency-Tolerant Reasoning About Probability Based on Łukasiewicz Logic

  • Tommaso Flaminio,
  • Lluis Godo,
  • Sara Ugolini,
  • Francesc Esteva

摘要

In this paper we consider the probability logic over Łukasiewicz logic with rational truth-constants, denoted FP(RPL), and we explore two possible approaches to reason from inconsistent FP(RPL) theories on classical events in a non-trivial way. The first one amounts to replace the logic RPL, that is explosive, by its paraconsistent companion RPL \(^\leq \) . The second one consists of suitably weakening the formulas in an inconsistent theory T, depending on the degree of inconsistency of T. We also discuss the possibility of applying a similar approach to reason about probability over the paraconsistent logic RCi along the lines of Bueno-Soler and Carnielli’s approach to paraconsistent probability.