文件名称：DPLL:Python中命题逻辑的布尔可满足性
文件大小：7KB
文件格式：ZIP
更新时间：2024-05-30 07:50:52
Python
DPLL：Python中命题逻辑的布尔可满足性 安德鲁·S·戈登（Andrew S.Gordon）2015年6月和9月 我是2015年Spring在南加州大学（University of Southern California）举行的大师级人工智能课程的联合讲师，参加了八场关于形式逻辑的讲座。 对于他们的逻辑程序设计作业，我让所有352名学生将命题逻辑语句转换为合取范式，然后使用DPLL算法确定其可满足性。 为了确保编程任务可行，我用Python编写了自己的解决方案。 在提交的解决方案中，我的解决方案当然不是最好的，但是我对编写的代码有一定的同情。 课程结束后，我编写了一个简单的解析器，以便可以将我的代码应用到我更喜欢的LISP样式表示法中。 对我来说，这是一次很棒的学习练习，因为我以前从未与LEX和YACC一起工作过，因此需要为我正在从事的另一个项目学习它。 有了解析器，我有了一个方便
【文件预览】：
DPLL-master
----dpll.py(5KB)
----tests.txt(325B)
----cnf.py(6KB)
----tests.lisp(254B)
----LICENSE(1KB)
----README.md(3KB)
----propparse.py(1KB)