出版社：The Japanese Society for Artificial Intelligence
摘要：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.
关键词：multi-agent reasoning ; E -knowledge and I -knowledge ; knowledge and time ; model elimination
