Ich war ein wenig verwirrt darüber, wie Prover9, der von nltk verwendete Theorem-Zertifizierer, in der einführenden Verarbeitung natürlicher Sprache installiert wird. Notieren Sie sich dies.
Erster DL
$ wget http://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz
Und auftauen
$ tar xvzf LADR-2009-11A.tar.gz
Ändern Sie den Namen ein wenig
$ mv LADR-2009-11A prover9
$ cd prover9/
Installation
$ make all
Ich werde gebeten, dies einzugeben, also werde ich gehen
$ make test1
$ make test2
$ make test3
Stellen Sie zum Schluss eine symbolische Verknüpfung her und vervollständigen Sie diese
$ sudo ln -s /home/vagrant/prover9/bin/prover9 /usr/local/bin/
Ich konnte es mit nltk sicher verwenden.
sample.py
# -*- coding: utf-8 -*-
#from __future__ import division
import nltk,re
lp = nltk.LogicParser()
SnF = lp.parse('SnF')
NotFnS = lp.parse('-FnS')
R = lp.parse('SnF -> -FnS')
prover=nltk.Prover9()
print prover.prove(NotFnS,[SnF,R])
Recommended Posts