forseti 0.8.1

安装

$ pip install forseti

$ git clone git@github.com:MasterOdin/forseti.git
$ python setup.py install

用法

forseti附带了命题演算公式（原子、非和、或、蕴涵和等价）的内部表示。 它可以从任何公式的函数表示中生成。在内部，它将所有内容都作为公式对象，其中 可以根据需要采用其他公式（符号只能包含一个字符串）。

例如：

fromforsetiimportparserfromforseti.predicateimportAtomic,Andassertparser.parse("and(a, b)")==And(Atomic('a'),Atomic('b'))

此外，它还附带了一个内置的证明程序，可以验证命题微积分参数

fromforseti.proverimportProverprover=Prover()prover.add_formula("if(A,and(B,C))")prover.add_formula("iff(C,B)")prover.add_formula("not(C)")prover.add_goal("not(A)")assert_true(prover.run_prover())

路线图

1. 一阶逻辑证明器
2. 优化

用法

这些项目以forseti为核心：

1. Truth Tables

目标

使用forseti实现以下程序/应用程序

1. 自动定理证明器（在forseti core中完成）
2. Implement Davis-Putnam Algorithm
3. Truth Trees
4. Slate/Fitch