search

starling-lab / BoostSRL

BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.
https://starling.utdallas.edu
GNU General Public License v3.0
32 stars 21 forks source link

Using one of the provers in the code #24

Open brenowca opened 5 years ago

brenowca commented 5 years ago

Hi there,

I would like to easily figure out which examples are prooved and by which clause. Basically, there is a counting of positive and negative examples covered by each leaf of the trees, and I would like to see the actual examples and the leaf responsible for that.

I saw that there are some provers in the package https://github.com/starling-lab/BoostSRL/blob/master/code/src/edu/wisc/cs/will/ResThmProver/, but it is not clear to me how to use one of them to figure out which examples are covered by each clause.

Is there a simple way to find for each clause the examples (both positive and negative) that this clause proves?

Thank you guys for your time