文件名称：warthog:Scala中的逻辑框架
文件大小：612KB
文件格式：ZIP
更新时间：2024-06-05 03:18:30
Scala
疣猪逻辑 Warthog是用于命题，一阶，高阶，时间和描述逻辑的逻辑工具箱。 目前，它已在蒂宾根大学的自动推理课程教学中使用。 我们的愿景是为流形逻辑生成一个综合框架，并集成外部证明和知识汇编工具（例如SAT求解器，自动定理证明，描述逻辑推理器，BDD软件包，DNNF编译器，ASP环境等）。 目标是在Scala中表示和操纵公式，然后将其输入到您选择的工具中，从而允许例如将一般命题公式转换为CNF，将其输入到SAT求解器，然后输入到DNNF编译器，将结果投影到变量的子集，并根据其构建BDD。