文献

J-GLOBAL ID：201802228190630555   整理番号：18A2113495

制約プログラミングライブラリにおける自己信頼による探索法の構築【JST・京大機械翻訳】

Building Search Methods with Self-Confidence in a Constraint Programming Library

著者 (2件)： Pothitos Nikolaos (Department of Informatics and Telecommunications, National and Kapodistrian University of Athens, Panepistimiopolis, 157 84 Athens, Greece) ,  Stamatopoulos Panagiotis (Department of Informatics and Telecommunications, National and Kapodistrian University of Athens, Panepistimiopolis, 157 84 Athens, Greece)
資料名： International Journal on Artificial Intelligence Tools  (International Journal on Artificial Intelligence Tools)
巻： 27  号： 4  ページ： 1860003  発行年： 2018年 
JST資料番号： W3716A  ISSN： 0218-2130  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： シンガポール (SGP)  言語： 英語 (EN)

抄録/ポイント： 1990年代後半に,制約プログラミング(CP)は,それを解決するためにプロセスから問題の宣言を分離することを約束した。本研究では,任意の制約充足問題(CSP)に対する解を求める探索法を定義するためのモジュール法を実装し,提示することにより,この方向を提供することを試みた。ユーザはそれらのCSPを宣言し,それは既に場所における探索法のポートフォリオを用いて解くことができる。任意のCSPに対するプラグイン可能な探索法フレームワークとは別に,探索法に対するプラグイン可能なヒューリスティックスを導入した。著者らは,通常の発見的手法とランダム性をスムーズに結合する,効率的な確率的ヒューリスティックスのパラダイムを見出した。著者らは,通常のヒューリスティックスに対する韻律の因子を考察し,通常のヒューリスティックスの信頼性(信頼性)の推定に従って,各時間を微調整した。著者らは,数学的に,ダイソベディンス因子が減少する一方で,確率的発見法が決定論的正規発見的方法を近似することを数学的に証明した。著者らの代数的証拠は,現実の寿命問題に関する経験的評価によって支持される:新しい探索方法,すなわち,この発見的方法を利用するPOPsは,通常のよく知られた構成的探索法よりも優れている。Copyright 2018 World Scientific Publishing Company All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 制約充足問題 ,  ポートフォリオ ,  代数学 ,  確率論 ,  信頼性 ,  残留性有機汚染物質 ,  *制約プログラミング ,  発見的方法
準シソーラス用語： 決定論 ,  ランダム性 ,  プラグイン ,  *探索法 , 【Automatic Indexing@JST】

著者キーワード (5件)： ランダム性 ,  確率論的方法 ,  不一致 ,  構成的探索 ,  CSP

分類 (2件)： 人工知能  (JE08000Z) ,  その他のオペレーションズリサーチの手法  (KA03070E)

タイトルに関連する用語 (6件)： 制約プログラミング ,  ライブラリ ,  自己 ,  信頼 ,  探索法 ,  構築