Authors:
Yang Song
and
Satoshi Tojo
Affiliation:
Japan Advanced Institute of Science and Technology, Japan
Keyword(s):
Weak Kleene Logic, Strong Kleene Logic, Many-valued Logic, Multi-agent System, Agent Communication.
Abstract:
We often employ epistemic logic to express the epistemic states of agents. However, it is often too complicated to build a Kripke model because we should consider all possibilities of the knowledge between agents. In this paper, we employ a many-valued logic to express the epistemic states of agents. Thus far, the representations usually show the epistemic state of a single agent, however, we apply the logic to the multi-agent system. Here, we consider that there exist three kinds of epistemic states of known, truth-value unknown, and content unknown. Furthermore, we introduce two kinds of agent communication in our semantics, i.e., teaching and asking, and show how the epistemic states of agents will change.