tarski是一个描述、建模和操作人工智能规划问题的框架。
tarski的Python项目详细描述
Tarski-一个人工智能规划建模框架
什么是塔斯基
Tarski是一个规范、建模和操作 AI planning问题。 tarski是用python编写的，包含了主要建模语言的解析器 （例如，PDDL， FSTRIPS， RDDL， 以及执行常见任务的模块，如可达性分析和一阶表示的基础。
安装
您可以使用安装最新的Tarski版本
pip install tarski
如果您想使用github存储库中提供的最新代码，请使用
pip install -U git+https://github.com/aig-upf/tarski.git
开发
如果开发tarski，我们建议从github存储库克隆并安装dev
（avirtual environment上pip的-e标志：
git clone https://github.com/aig-upf/tarski
cd tarski
pip install -e .
这将以“可编辑模式”安装项目，这意味着对文件的任何修改 立即反映在installed库中。
测试
塔斯基的所有测试都位于tests目录下（令人震惊！）是的。
要运行它们，只需要在根目录上运行pytest（pip install pytest）。
您还可以运行tox（pip install tox）来运行一些额外的检查（例如，样式检查）。
软件要求
Tarski要求python>；=3.5。
上面的安装说明将为您透明地安装许多附加依赖项，其中
numpy、scipy和pyrddl。
已知限制
目前，tarski能够解析pddl、功能条和rddl中指定的问题，
但是（1）还不支持派生谓词的解析，以及（2）
不支持用于定义复合类型的pddleither关键字，而且这种情况不太可能发生。
此外，出于与旧标准基准测试兼容的原因，解析器表示所有谓词，
函数（包括常量）和pddl类型（即fol sorts），小写。
欢迎加入QQ群-->： 979659372
