Algebraic modeling language とは

Algebraic Modeling Language(AML)は、大規模な数学的計算(すなわち大規模な最適化タイプの問題)の複雑な問題を記述し、解決するための高水準コンピュータプログラミング言語です。 AIMMS、AMPL、GAMS、MathProg、Mosel、OPLなどの代数モデリング言語の特長の1つは、構文の最適化問題の数学的表記法との類似点です。これにより、セット、インデックス、代数式、強力な疎インデックスおよびデータ処理変数、任意の名前の制約などの特定の言語要素によってサポートされる、最適化のドメインにおける問題の非常に簡潔で読みやすい定義が可能になります。モデルの代数的定式化には、それをどのように処理するかのヒントは含まれていません。
AMLはこれらの問題を直接解決しません。その代わりに、適切な外部アルゴリズムを呼び出して解決策を得る。これらのアルゴリズムはソルバーと呼ばれ、次のような数学的な問題を処理できます。
 線形問題整数問題(混合整数)二次問題混合相補問題平衡制約付きの数学プログラム制約付き非線形システム一般非線形問題非線形問題非線形プログラム非線形整数問題グローバル最適化問題確率的最適化問題