演題番号 | 1I4-3 |
---|---|
題目 | 敵対者に対応する協調問題解決:限量記号付き分散制約充足問題 |
著者 | 馬場 里美(九州大学) 西村 直史(九州大学) 岩崎 敦(九州大学) 櫻井 祐子(ヤフー株式会社) 横尾 真(九州大学) |
時間 | 06月17日(Wed) 17:10〜17:30 |
概要 | 通常の分散制約充足問題では全ての変数は存在限量化されている.本論文では,敵対的なエージェントが値を決定する,全称限量化された変数を含む限量記号付き分散制約充足問題を提案する.協調的なエージェントのチームは,敵対的なエージェントの選択に関わらず,制約を満足する値の組合せを求めることを目的とする.本論文では,限量記号付き分散制約充足問題の定式化を示し,本問題を解く分散アルゴリズムを提案する. |
論文 | PDFファイル |