分散制約最適化問題 : 擬似木に基づくハイブリッド型の解法の提案(理論,<特集>ソフトウェアエージェントとその応用論文)
スポンサーリンク
概要
- 論文の詳細を見る
分散制約最適化問題はマルチエージェントシステムにおける協調問題解決の基本的な枠組みである.この問題では,擬似木に基づく探索型の厳密解法の開発が重要である.これらの解法におけるメモリ使用量は,変数の数に対して多項式のオーダで抑えられるが,最適解を求めるのに多くの時間を要するという問題点がある.そのため,分散制約最適化問題では,どのようにして,擬似木に基づく探索型の厳密解法の実行時間を短縮するかが重要な課題となっている.本論文では,探索型の代表的な厳密解法と近似解法を組合せたハイブリッド型の解法を提案する.実験では,本解法が既存の探索型の厳密解法と比べ,より高速に求解可能であることを示す.更に,擬似木に基づく近似解法と擬似木に基づく探索型の厳密解法は相性が良いことを実験により検証する.
- 2013-12-01
著者
-
井上 克巳
国立情報学研究所
-
横尾 真
Nttコシュニケーション科学基礎研究所
-
横尾 真
九州大学大学院 システム情報科学府
-
櫻井 祐子
九州大学大学院システム情報科学府
-
沖本 天太
新領域融合研究センター(TRIC)
-
山本 将
九州大学大学院システム情報科学府
関連論文
- アブダクションとインダクション(論理に基づく推論研究の動向)
- 解集合プログラミング(論理に基づく推論研究の動向)
- *-SAT:SATの拡張(最近のSAT技術の発展)
- SATソルバーの基礎(最近のSAT技術の発展)
- 特集「最近のSAT技術の発展」にあたって(最近のSAT技術の発展)
- 特集「最近のSAT技術の発展」にあたって
- セキュアキーワード広告オークションプロトコルの提案(メカニズムデザイン,ソフトウェアエージェントとその応用論文)
- 特集「論理に基づく推論研究の動向」にあたって
- 匿名の開環境下における協力ゲームについて(参加型シミュレーション,マルチエージェントの理論と応用)
- 1-D-6 特性関数の簡略記述法を用いた提携構造の形成(離散・組合せ最適化(2))
- 架空名義操作不可能な組合せオークションの割当規則の特性(メカニズムデザイン,ソフトウェアエージェントとその応用論文)
- 摂動完全均衡に基づくマルチエージェント部分観測可能マルコフ決定過程のプラン構築(モデル/理論,ソフトウェアエージェントとその応用論文)
- キーワード広告におけるゲーム理論・オークション理論(Web技術,ビジネスモデルとAI)
- Take-it-or-Leave-it方式の再配分オークションメカニズムの提案(メカニズムデザイン,ソフトウェアエージェントとその応用論文)
- 開環境での協力ゲームにおける公平な配分を実現する解概念の提案(PhDセッション)
- 2-E-9 匿名の開環境における協力ゲームについて(ゲーム理論(2))
- 開放型プロダクションシステムにおけるデータ依存関係の管理
- 適切な掲載数を決定するキーワード広告オークションプロトコルの提案(エージェント)
- 組合せオークションのための架空名義操作不可能なメカニズムの特性(メカニズムデザインと電子市場(1))
- クラーク税を用いた戦略的操作不可能な費用分担メカニズムの提案(メカニズムデザインと電子市場(1))
- Take-It-or-Leave-Itに基づく再配分オークションメカニズムの提案(メカニズムデザインと電子市場(1))
- セキュアキーワード広告オークションプロトコルの提案(メカニズムデザインと電子市場(2))
- 自動メカニズムデザインによる架空名義入札に頑健な組合せオークションメカニズムの構築(メカニズムデザインと電子市場(2))
- 非準線形効用を対象とした架空名義入札に頑健な複数ユニットオークションプロトコルの提案(「エージェント基礎」及び一般)
- 適切な掲載数を決定するキーワード広告オークションの提案(オークションとメカニズムデザイン)
- 任意の評価値に対する架空名義入札に頑健なダブルオークションプロトコル
- 平均的に予算非負なダブルオークションプロトコル
- 架空名義入札に頑健な組合せオークションプロトコルにおけるバンドルの設計方法
- AAMAS 2002(会議報告)
- 架空名義入札に頑健な複数ユニットオークションプロトコル
- 逐次型オークションの入札戦略決定手法 : 準線形効用と予算制約の導入
- 架空名義入札に頑健な組合せオークションプロトコル
- 競合状況における投機的計算の導入に関する考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- インターネットオークションの理論
- 架空名義入札に頑健なダブルオークションプロトコル
- 2-D-1 数理計画法を用いたメカニズムデザインの自動化 : 架空名義入札に頑健な組合せオークションメカニズムの設計(離散・組合せ最適化(5))
- アブダクションとインダクション
- SOLにおけるタブ口証明反転法とその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 極小限定モデルの解集合プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 複数のSATソルバを用いたジョブショップスケジューリング問題の解法(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 優先的解集合の論理プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- [招待論文]結論発見手続きとその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 一般節理論における解釈からの学習に関する一考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 解集合プログラミング
- 論理プログラミングから解集合プログラミングへ(論理と推論技術の展開)
- CF帰納法の効率的実装とパスウェイ推論への応用 (特集「知識発見の諸科学への応用」および一般)
- PrologからJavaへのトランスレータ処理系とその応用
- CF帰納法の理論的再構築について(「自動化:推論,発見,学習,データマイニング」及び一般)
- 極小限定を用いた帰納推論
- 効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)
- ペナルティ関数法によるSAWフィルタのロバスト最適設計
- 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(セッション : 社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
- CF帰納法における一般化に関する考察第2報(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
- メッセージ通信を用いた分散型結論発見(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
- 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
- CF 帰納法における一般化に関する考察:第2報(一般(知識処理), 「社会システムにおける知能」及び一般)
- 再構成可能なハードウェアを用いた充足可能性問題の解法
- メッセージ通信を用いた分散型結論発見(一般(知識処理), 「社会システムにおける知能」及び一般)
- 開環境での協力ゲームにおける解の簡略記述法
- ダイアグラムに基づく法的論争支援システム
- 再構成可能なハードウェアを用いた充足可能性問題の解法
- 再構成可能なハードウェアを用いた充足可能性問題の解法
- 再構成可能なハードウェアを用いた充足可能性問題の解法
- アフォーダンス理論による人工技能への接近 : 記憶と身体性
- 今西進化論に基づく遺伝アルゴリズムによるモジュール配置問題の多様な最適解の探索
- 今西進化論に基づく遺伝アルゴリズムによる多様なパレート最適解の抽出法 - 多目的資源分割問題を実例として -
- JAWSの発展とエージェント分野への寄与(エージェント)
- Eighteenth International Joint Conference on Artificial Intelligence(IJCAI-2003)(会議報告)
- 全米人工知能会議AAAI-94報告
- 8.パネル討論:エージェントの社会的インパクト(社会に向き合うエージェントシステム)
- 会議報告 IJCAI-01
- 特集「エージェント技術とその応用」の編集にあたって(特集・エージェント技術とその応用)
- 多状態コミットメント探索とその評価
- 多状態コミットメント実時間A^*アルゴリズムの性能解析
- 多状態コミットメント探索の性能評価
- ヒューリスティック探索へのn-状態コミットメントの導入
- ヒューリスティック探索への n-状態コミットメントの導入
- 制約充足テクニックを用いた移動体通信の周波数割当問題の解法
- 分散制約充足におけるnogood学習の効果
- 複雑な局所問題に対応する分散制約充足アルゴリズム
- 分散不完全制約充足問題
- 制約充足テクニックを用いた移動体通信の周波数割当問題の解法
- 分散breakout : 反復改善型分散制約充足アルゴリズム(並列処理)
- CF帰納法における一般化に関する考察
- エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
- タブローに基づく論理的帰結発見手続きSOL
- アクション言語Aにおける行動規則の学習
- 非決定性アクション言語NA上のプランニング手続き
- 投機的計算を行う協調型マルチエージェントシステムの構築に関する一手法 (小特集 使えるAI基礎技術)
- ユーザの嗜好を取り入れた文書評価を行うWeb上の情報検索 (小特集 使えるAI基礎技術)
- 補題の利用による効率的なSOL導出の実現
- アクション言語Aにおける行動規則の学習
- プランニンググラフとSATプランニング(「プランニング技術の進展と新たな応用展開」)
- 「SATソルバー」(私のブックマーク)
- モデル生成を用いた代謝ネットワークにおける極小活性パスウェイの列挙
- O-041 システムズ・レジリエンス(サービス・クラウド,O分野:情報システム)
- 多目的分散制約最適化問題における厳密/非厳密解法の提案(理論,ソフトウェアエージェントとその応用論文)
- 分散制約最適化問題 : 擬似木に基づくハイブリッド型の解法の提案(理論,ソフトウェアエージェントとその応用論文)
- N-016 サイバーセキュリティ問題の分散型多元制約最適化によるモデル化と解法(N分野:教育・人文科学,一般論文)