资源论文Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs

Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs

2019-11-12 | |  48 |   46 |   0
Abstract We formalize reasoning about fuzzy belief and fuzzy common belief, especially incomparable beliefs, in multi-agent systems by using a logical system based on Fitting’s many-valued modal logic, where incomparable beliefs mean beliefs whose degrees are not totally ordered. Completeness and decidability results for the logic of fuzzy belief and common belief are established while implicitly exploiting the duality-theoretic perspective on Fitting’s logic that builds upon the author’s previous work. A conceptually novel feature is that incomparable beliefs and qualitative fuzziness can be formalized in the developed system, whereas they cannot be formalized in previously proposed systems for reasoning about fuzzy belief. We believe that belief degrees can ultimately be reduced to truth degrees, and we call this “the reduction thesis about belief degrees”, which is assumed in the present paper and motivates an axiom of our system. We ?nally argue that fuzzy reasoning sheds new light on old epistemic issues such as coordinated attack problem.

上一篇:Existential Closures for Knowledge Compilation? Pierre Marquis

下一篇:Causal Learnability Loizos Michael

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...