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 获得。有关详细信息，请参阅许可证文件。
