J'étais un peu confus sur la façon d'installer Prover9, le certificateur de théorème utilisé par nltk, dans le traitement d'introduction du langage naturel, alors prenez-en note.
Premier DL
$ wget http://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz
Et dégivrer
$ tar xvzf LADR-2009-11A.tar.gz
Changer un peu le nom
$ mv LADR-2009-11A prover9
$ cd prover9/
Installation
$ make all
On me demande d'entrer ceci, donc je suis désolé
$ make test1
$ make test2
$ make test3
Enfin, faites un lien symbolique et complétez
$ sudo ln -s /home/vagrant/prover9/bin/prover9 /usr/local/bin/
J'ai pu l'utiliser avec nltk en toute sécurité.
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