エージェント間コミュニケーションの論理的形式化に関する研究

知的で合理的なエージェントを構成する場合の基礎となる知識，信念，コミュニケーションに関して，理論的なモデルを提案し，それに基づく適用例を作成し実証した．