Multi-Agent Cooperative Reasoning Using E-knowledge and I-knowledge
Lifeng He, Yuyan Chao, Tsuyoshi Nakamura, Hidenori Itoh · Transactions of the Japanese Society for Artificial Intelligence · 2002
This paper presents a method for multi-agent cooperative reasoning with E-knowledge and I-knowledge. We explain the meanings of E-knowledge and I-knowledge and show their importance for multi-agent cooperative reasoning. We consider how to translate E-knowledge and I-knowledge statements with the possible-world semantics into their corresponding statements in first order logic. Communication among agents is also incorporated into our method. An example is given to show how to use E-knowledge and I-knowledge to describe and solve multi-agent cooperative reasoning problems.