AutomaticReasoning IntelligentSystems
1.0.0
這是我在 UDC（西班牙）電腦科學學士學位大二和大三時為智慧型系統、知識表示和自動推理課程開發的專案集合。這些項目如下：
使用答案集編程的具有多種聲音的自動佳能作曲家考慮到了許多旋律限制和偏好。它使用的工具有 gringo、clasp、python 和 lilypond。提供了一個簡短的範例音訊文件，該文件是使用所提供的首選項文件之一創建的。使用 Python、clasp、gringo 和 lilypond。
推箱子解算器透過啟發式搜尋來解決推箱子遊戲。在直接從 Russell&Norvig03 的書中提取的一些程式碼的幫助下，我和我的合作夥伴開發了特定的領域和合適的啟發式方法。可以使用貪婪、BSF、DSF 和 A* 來執行搜尋。目標是讓玩家 (@) 向上、向下、向左、向右移動以收集目標 (.)。牆壁 (#) 無法移動，但物件 ($) 可以。所選的啟發式是距離目標的最小距離。
Hitori 謎題解算器可根據遊戲規則將 Hitori 謎題的簡化版本轉換為一組 CNF 布林子句，呼叫命題可滿足性 (SAT) 解算器並建立解。使用 Python 和 picosat。
帶有答案集的機率推理，用於計算《生活大爆炸》遊戲《石頭、布、剪刀、蜥蜴、史波克》中發生的不同事情的機率。使用 P-log。
定理證明器項目，使用名為 Prover9 的謂詞演算定理證明器檢查結論是否從前提得出。該軟體接受一階邏輯中的公式列表，並透過使用解析度進行反駁來確定公式是否有效。
8謎題解算器透過啟發式搜尋找到遊戲的解決方案。在直接從 Russell&Norvig03 的書中提取的一些程式碼的幫助下，我們開發了特定的領域和合適的啟發式方法。可以使用貪婪、BSF、DSF 和 A* 來執行搜尋。嘗試過的最好的啟發式方法是出租車距離。
羅馬尼亞路線圖搜索，找到從阿拉德到布加勒斯特的路線（最好是最短的路線）。在直接從 Russell&Norvig03 的書中提取的一些程式碼的幫助下，我們開發了特定的領域和合適的啟發式方法。可以使用貪婪、BSF、DSF 和 A* 來執行搜尋。使用的啟發式是直線距離。
如需要求、錯誤回報和好笑話，請聯絡 Daniel Ruiz Perez。
此儲存庫中的軟體可根據 GNU 通用公共授權版本 3 取得。
