TY - GEN
T1 - A Reasoning System for Fuzzy Distributed Knowledge Representation in Multi-Agent Systems
AU - Maruyama, Yoshihiro
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2021/7/11
Y1 - 2021/7/11
N2 - Knowledge does not necessarily exist only within a single agent; it may exist collectively within a number of agents combined together (cf. the wisdom of the crowd), and this sort of knowledge is called distributed knowledge. In light of bounded rationality and uncertainty, distributed knowledge can be incomplete, and there may be gradations in the certainty of distributed knowledge, that is, knowledge may be distributed within a system of agents up to some degree of certainty only. Fagin, Halpern, Moses, and Vardi gave an axiomatic system for reasoning about distributed knowledge, and developed a special technique to prove its fundamental properties such as completeness. Here we extend their classic results so as to incorporate fuzzy distributed knowledge; in addition we prove several other properties of fuzzy modal systems such as the finite model property and Gödel-style translation theorems.
AB - Knowledge does not necessarily exist only within a single agent; it may exist collectively within a number of agents combined together (cf. the wisdom of the crowd), and this sort of knowledge is called distributed knowledge. In light of bounded rationality and uncertainty, distributed knowledge can be incomplete, and there may be gradations in the certainty of distributed knowledge, that is, knowledge may be distributed within a system of agents up to some degree of certainty only. Fagin, Halpern, Moses, and Vardi gave an axiomatic system for reasoning about distributed knowledge, and developed a special technique to prove its fundamental properties such as completeness. Here we extend their classic results so as to incorporate fuzzy distributed knowledge; in addition we prove several other properties of fuzzy modal systems such as the finite model property and Gödel-style translation theorems.
KW - distributed knowledge
KW - epistemic logic
KW - finite model property
KW - fuzzy logic
KW - fuzzy modal logic
KW - Gödel translation
UR - http://www.scopus.com/inward/record.url?scp=85114674867&partnerID=8YFLogxK
U2 - 10.1109/FUZZ45933.2021.9494454
DO - 10.1109/FUZZ45933.2021.9494454
M3 - Conference contribution
AN - SCOPUS:85114674867
T3 - IEEE International Conference on Fuzzy Systems
BT - IEEE CIS International Conference on Fuzzy Systems 2021, FUZZ 2021 - Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2021 IEEE CIS International Conference on Fuzzy Systems, FUZZ 2021
Y2 - 11 July 2021 through 14 July 2021
ER -