文件名称：spock:Python 的逻辑编程
文件大小：69KB
文件格式：ZIP
更新时间：2024-07-22 21:15:56
Python
＃＃这是什么？ Spock是一个用于逻辑的 Python 库。 这并不是一个完整的实现，在这一点上它肯定不是写得非常快。 这主要是一个实验，可能对某人有用作为参考。 一阶逻辑的后端代码大多是从 Russel & Norvig 的“人工智能：一种现代方法”中窃取的，甚至那里的方法也只是为了说明而不是为了工业实力。 这段代码很好地说明了逻辑，但在 python 中说明的逻辑很差。 Spock包括一些改进，使其更加 Pythonic。 我还修复了我发现的错误，并实现了边距最初太窄而无法包含的内容（例如 WalkSAT）。 约束求解代码也是经过重新排列和更新的 AI:MA 代码。 我添加了用于快速绘制和解决约束问题的实用程序类，因此更易于使用。 ##Spock 特点:: 一阶逻辑 [通过 AI:MA] 代理逻辑（义务、决定）[遵循 Shoham '94] 时间逻辑（非常粗糙，非常在*
【文件预览】：
spock-master
----test_requirements.txt(131B)
----utils.py(21KB)
----tox.ini(618B)
----setup.cfg(39B)
----setup.py(1KB)
----README.md(2KB)
----.gitignore(82B)
----fabfile.py(3KB)
----spock()
--------simplex.py(2KB)
--------aima()
--------__init__.py(274B)
--------belief.py(2KB)
--------lfi.py(2KB)
--------obligations.py(2KB)
--------tests()
--------constraints.py(3KB)
--------version.py(40B)
--------bin()
--------doctrine.py(3KB)