| 講演名 | 1996/10/1 制約論理の実用システムへの応用 : 乗務員交番作成システム(CLARS) 坂口 隆, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 現実の計画問題を解くためには条件の追加や変更、これに伴う既存解からの再計画などが要求される。手続き的なアルゴリズムによる解法では克服困難なこれらの要求に対し、論理プログラミングでの宣言的な記述による定式化が非常に有効である。しかし宣言的な言語(例えばProlog)は解空間の全数探索をベースにしているため規模の大きな組合せ問題には適用できなかったが、制約論理は、制約充足理論、および並列処理によって解空間を効率的に縮小して制約解消を行うことにより、複雑な制約を持った実用規模の問題を効率的に解くことができる。本稿では制約論理プログラミングの有効性と特徴および乗務員交番作成システム(CLARS)の開発への適用事例を述べる。 |
| 抄録(英) | For a practical scheduling problem, we are claimed additions and/or changes of conditions and rescheduling with them. While procedural approaches are difficult to overcome the demand, a declarative formulation by logic programming is very effective. Generally declarative languages, i.e. Prolog, implemented to solve problems by searching whole of the search space of the problem cannot be applied to large combinatorial problems. Constraint logic can solve constraints by reducing the search space based on constraint satisfaction and parallel processing, therefore it is useful to practical problems with complicated constraints. We have applied constraint logic to the development of a system for train crew rostering problem (CLARS) and proved to solve practical problems. This paper describes the effectiveness, the basic features and the application of constraint logic programming in CLARS. |
| キーワード(和) | 制約論理 / 制約充足 / 計画システム / 乗務員交番作成 / 最適化 |
| キーワード(英) | constraint logic / constraint satisfaction / scheduling system / crew rostering / optimization |
| 資料番号 | SS96-20 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1996/10/1(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 制約論理の実用システムへの応用 : 乗務員交番作成システム(CLARS) |
| サブタイトル（和） | |
| タイトル（英） | Application of Constraint Logic to A Practical System : Train Crew Rostering System(CLARS) |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 制約論理 / constraint logic |
| キーワード(2)（和/英） | 制約充足 / constraint satisfaction |
| キーワード(3)（和/英） | 計画システム / scheduling system |
| キーワード(4)（和/英） | 乗務員交番作成 / crew rostering |
| キーワード(5)（和/英） | 最適化 / optimization |
| 第 1 著者 氏名（和/英） | 坂口 隆 / Takashi SAKAGUCHI |
| 第 1 著者 所属（和/英） | 鉄道総合技術研究所輸送システム開発推進部 Transport Systems Development Division, Railway Technical Research Institute |
| 発表年月日 | 1996/10/1 |
| 資料番号 | SS96-20 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 283 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |