ASP Timetable

ASPスケジュール

ASP Timetable は、Answer Set Programming と人工知能コースの Clingo ソルバーを使用して宣言的な方法で実装された時間割アプリケーションです。時刻表作成は多くの制約を伴う古典的な AI の問題と考えられていますが、このプログラムは時刻表の生成に伴うさまざまな課題と考慮事項に取り組みます。

特徴

• 一般的な
  • Tkinter GUI を作成するために Python スクリプトによって解析および解釈された Clingo 出力
  • AnsProlog で完全に記述された生成セット
  • LANA を使用して文書化されたプログラム
• 制約
  • 学生は同時に 2 つの講義に出席することはできません
  • 講師は同時に 2 つの単元を教えることはできません
  • 部屋は一度に 1 つの講義にのみ使用できます
  • 講師は他の用事があるときは教えることができません
  • 学生と講師はすべての単元のスケジュールを持っています
• 弱い制約(このルールに対応しないセットにペナルティ ポイントを追加します)
  • 講師は希望の授業時間を設定できます
  • 時刻表には可能な限り昼休みが含まれています
  • 水曜日の午後には予定された講義はありません
• アトム( atoms.lpでユーザーが指定)
  • 学生
  • 部屋
  • 単位
  • 講師
  • 部屋の収容人数
  • 学生が取得した単位
  • 講師が教える単元
  • 講師が他の用事があるとき

スクリーンショット

Tkinter GUI のスクリーンショット

コマンドライン Clingo 出力のスクリーンショット

使用法

基本的な使い方

1. プロジェクトのクローンを作成し、プロジェクトのsrcフォルダーに移動します。

 git clone https://github.com/Adamouization/ASP-Timetable
cd ASP-Timetable/src/

2. Clingo使用して回答セットを生成し、データを解析して GUI を生成する Python スクリプトに出力をパイプします。 clingo -n 0 asp/timetable.lp asp/atoms.lp --outf=2 | python Timetable.pyここで:

   • clingo 、指定された AnsProlog ファイルを使用して回答セットの生成を実行するために使用されるコマンドです。
   • timetable.lp最適なタイムテーブルを生成するためのジェネレーター、ルール、制約、および表示オプションが含まれています
   • atoms.lpは、コース、講師、部屋などのすべてのアトムが含まれています。
   • --outf=2生成された回答セットを JSON 形式で出力します。
   • | JSON 出力を Python スクリプトにパイプします
   • python Timetable.py 、Python スクリプトを実行して JSON 出力を解析し、最適な答えからのデータを使用して Tkinter GUI を作成します。

3. タイムテーブルが ASP で生成され、GUI が Python で起動されるまで待ちます。

高度な使用法

Tkinter GUI を使用せずに clingo を使用して回答セットを生成したいだけの場合は、次のようにします。

 clingo -n 0 asp/timetable.lp asp/atoms.lp

テスト ケースを実行したいだけの場合は、このコマンドを使用する前に「src」フォルダーにいることを確認し、 ASP-Timetable/src/asp/test_casesディレクトリ内のテスト ケースに置き換えてください。

 clingo -n 0 asp/timetable.lp asp/test_cases/.lp --outf=2 | python Timetable.py

LANAドキュメントは Web ブラウザで表示できます (SeaLion Eclipse 拡張機能を使用して生成)。これを行うには、 documentationフォルダーに移動し、Web ブラウザーでindex.htmlファイルを開きます。

ライセンス

• ライセンスファイルを参照

接触

• 電子メール: [email protected]
• ウェブサイト: www.adam.jaamour.com
• ツイッター: @Adamouization