メッセージ通信を用いた分散型結論発見(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)  [in Japanese] Distributed consequence finding with message communication  [in Japanese]

知識が地理的に分散している状態において, 個々が持つ情報を他人に知られたくないという理由から問題を解く際に知識を一つに集めることができない場合がある.本研究の目的はそのような状況においても情報を一つに集めず, 個々が協力し合って問題を解決するというものである.そこで本研究では結論発見に対して完全な手法を2つ提案する.一つ目はAmirとMcIlraithが行った定理証明の手法を拡張するものであり, 2つ目はより協調的な問題解決手法である.実験により, 2つの提案手法の比較・考察を行う.

When knowledge is geographically distributed, individual information might not be able to be collected to one agent because it does not want to be known to others. We aim that individual agents cooperate each other to solve the problem without collecting information to one agent in such a situation. This paper proposes two complete algorithms to the consequence finding. The first one extends the technique of theorem proving from distributed knowledge bases by Amir and McIlraith. The second one is a more cooperative method than the first one. We compare these two methods with experiments.