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

Maruyama, Yoshihiro

doi:10.5591/978-1-57735-516-8/IJCAI11-173

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

Yoshihiro Maruyama

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 1008-1012.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-173

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 finally argue that fuzzy reasoning sheds new light on old epistemic issues such as coordinated attack problem.

Yoshihiro Maruyama. 2011. Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 1008–1012. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-173

@inproceedings{ijcai2011p173,
  title     = {Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs},
  author    = {Maruyama, Yoshihiro},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {1008--1012},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-173},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-173},
}

TY  - CPAPER
TI  - Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs
AU  - Maruyama, Yoshihiro
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 1008
EP  - 1012
DO  - 10.5591/978-1-57735-516-8/IJCAI11-173
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-173
ER  -