AutomaticReasoning IntelligentSystems
1.0.0
これは、私が UDC (スペイン) でコンピュータ サイエンスの理学士号を取得した 2 年目と 3 年目に、インテリジェント システムと知識表現と自動推論のコースのために開発したプロジェクトのコレクションです。プロジェクトは次のとおりです。
多くのメロディーの制限や好みを考慮したアンサー セット プログラミングを使用した、複数の声を備えた自動カノン作曲家。これは、gringo、clasp、python、lilypond というツールを使用します。提供されている環境設定ファイルの 1 つを使用して作成された、短いオーディオ ファイルの例が提供されています。 Python、clasp、gringo、lilypond を使用します。
倉庫番ゲームを解くヒューリスティック探索による倉庫番ソルバー。 Russell&Norvig03 の本から直接抽出したコードを利用して、パートナーと私は特定のドメインと適切なヒューリスティックを開発しました。 Greedy、BSF、DSF、および A* を使用して検索を実行できます。目的は、プレーヤー (@) を上下左右に動かして、ゴール (.) を収集することです。壁 (#) は移動できませんが、オブジェクト ($) は移動できます。選択されたヒューリスティックは、目標までの最小距離です。
ヒトリ パズル ソルバーは、ゲームのルールに基づいてヒトリ パズルの簡易バージョンを CNF ブール句のセットに変換し、命題充足可能性 (SAT) ソルバーを呼び出して解決策を作成します。 Python とピコサットを使用します。
解答セットを使用した確率的推論。ビッグバン セオリー ゲーム ジャンケン、トカゲ、スポックで起こるさまざまな出来事の確率を計算します。 Pログを使用します。
Prover9 と呼ばれる述語計算用の定理証明器を使用して、前提から結論が導かれるかどうかを確認する定理証明器プロジェクト。このソフトウェアは、一次論理の数式のリストを受け取り、解決策を使用した反論によって数式が有効であるかどうかを判断します。
8ゲームの解決策を見つけるヒューリスティック検索によるパズルソルバー。 Russell&Norvig03 の本から直接抽出したいくつかのコードを利用して、特定のドメインと適切なヒューリスティックを開発しました。 Greedy、BSF、DSF、および A* を使用して検索を実行できます。試した最良のヒューリスティックはタクシーの距離でした。
ルーマニア ロードマップ検索。アラドからブカレストまでのルート (できれば最短ルート) を検索します。 Russell&Norvig03 の本から直接抽出したいくつかのコードを利用して、特定のドメインと適切なヒューリスティックを開発しました。 Greedy、BSF、DSF、および A* を使用して検索を実行できます。使用されたヒューリスティックは直線距離でした。
リクエスト、バグレポート、ジョークについては、Daniel Ruiz Perez までご連絡ください。
このリポジトリのソフトウェアは、GNU General Public License バージョン 3 に基づいて利用できます。詳細については、LICENSE ファイルを参照してください。
