[論文レビュー] ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm

Siddharth Chitnis, Madhu Yennamani+1 more|ArXiv.org|Jan 17, 2007

Spreadsheets and End-User Computing参考文献 7被引用数 4

ひとこと要約

ExSched は、セルに有限ドメイン制約を関連付けることで、スケジューリング、タイムテーブル作成、構成問題などの制約充足問題（CSP）をインタラクティブに、ユーザーフレンドリーに解けるようにする、Microsoft Excel プラグインである。これは、CLP(FD) への高水準インターフェースを提供し、初心者ユーザーが論理プログラミングの低レベルの複雑さを気にせずに済むように抽象化する。

ABSTRACT

We report on the development of a general tool called ExSched, implemented as a plug-in for Microsoft Excel, for solving a class of constraint satisfaction problems. The traditional spreadsheet paradigm is based on attaching arithmetic expressions to individual cells and then evaluating them. The ExSched interface generalizes the spreadsheet paradigm to allow finite domain constraints to be attached to the individual cells that are then solved to get a solution. This extension provides a user-friendly interface for solving constraint satisfaction problems that can be modeled as 2D tables, such as scheduling problems, timetabling problems, product configuration, etc. ExSched can be regarded as a spreadsheet interface to CLP(FD) that hides the syntactic and semantic complexity of CLP(FD) and enables novice users to solve many scheduling and timetabling problems interactively.

研究の動機と目的

• 論理プログラミングの専門知識がなくても、制約充足問題（CSP）を解けるユーザーフレンドリーなインターフェースを開発すること。
• 算術式に基づく従来のスプレッドシートモデルを拡張し、セルに有限ドメイン制約を組み込むこと。
• タイムテーブル作成やスケジューリングなどの 2 次元テーブルベースの問題を、なじみのある Excel 環境でインタラクティブに視覚的に解けるようにすること。
• 高水準の問題モデリングと低水準の CLP(FD) 実行の間のギャップを埋めるために、文法的・意味的複雑さを抽象化すること。

提案手法

• システムは、算術式を入力するのと同様に、ユーザーが個々のセルに有限ドメイン制約を関連付けることを可能にするように、Excel を拡張する。
• 制約は、スプレッドシートセル内に埋め込まれた高水準の制約論理プログラミング（CLP）構文で表現される。
• 基盤となるソルバは、制約の伝播と一貫性のある解の探索を実行するために、CLP(FD) 技術を活用する。
• インターフェースは段階的ソルビングとインタラクティブフィードバックをサポートし、ユーザーが制約を変更し、解の更新をリアルタイムで観察できる。
• ツールは Excel のセルベース構造と統合され、ナビゲーションやデータレイアウトの使い慣れた構造を保ちながら、制約ベースの計算を可能にする。
• 解はスプレッドシート内に直接計算され、表示され、セルの色分けやステータスインジケータによって制約の充足状態が確認され、視覚化される。

実験結果

リサーチクエスチョン

• RQ1 コードを書かずに、スプレッドシートに類似したインターフェースが制約充足問題を効果的にモデリングおよび解けるだろうか？
• RQ2 CLP(FD) の表現力は、視覚的でセルベースのインターフェースを通じてどのように抽象化され、露出されるだろうか？
• RQ3 一般用途のツールとしての ExSched は、実世界のスケジューリングおよびタイムテーブル作成問題を、インタラクティブで直感的な方法でどの程度サポートできるだろうか？
• RQ4 広く使われているアプリケーションである Excel と制約論理プログラミングを統合することで、非専門家ユーザーのアクセス性はどの程度向上するだろうか？

主な発見

• ExSched は、ユーザーがなじみのあるスプレッドシート環境を使って CSP をモデリングおよび解けるようにし、制約プログラミングへの入り口を著しく低くした。
• システムは、ユーザーがセルに直接制約を定義でき、一貫性と解の状態に関するリアルタイムフィードバックを受け取れる。
• このツールは、表現力を損なわず、視覚的でインタラクティブなインターフェースに CLP(FD) 機能を効果的に抽象化できることを示している。
• Excel に CLP(FD) を埋め込むことで、ExSched は非プログラマーが複雑なスケジューリングおよび構成問題をインタラクティブに解けるようにした。
• 制約が自然にセルに局所化される 2 次元テーブルベースの問題、たとえばタイムテーブル作成やリソース割り当てに対して、このアプローチは効果的である。
• 評価結果から、インターフェースは直感的な問題定式化と解の探索をサポートしており、初心者ユーザーにとって制約の解法を容易に可能にしている。