Picking up justifications in Java-ish implementation

Pierre Grenon <[email protected]> Wed, 23 Aug 2017 13:20:34 +0100
Newsgroups gmane.comp.ai.powerloom
Message-ID <CAAkf34zE-y0kxsyo=nxgC=V+aSFyemZ1KOkBOcVno8gJBxWotg@mail.gmail.com>
Hi,

apologies if this is discussed somewhere and I missed it or if it's a
dumb one to ask.

I'm trying to catch 'whys' to show them in a makeshift GUI and I'm
struggling with this.

I'm coding in clojure so I use the PLM jars and I'm inexpertly
wrapping functions or APIs as I find and need them. But I can't seem
to find a way to catch justifications to reuse them as strings and I'm
a little confused by how to go about it between either the
documentation or the javadoc.

Exhibit A: https://www.isi.edu/isd/LOOM/PowerLoom/documentation/manual/manual_11.html

explain-why ((label STRING) (style KEYWORD) (maxdepth INTEGER) (stream
OUTPUT-STREAM))
get-why-justification ((label STRING)) : JUSTIFICATION

and I think the arguments escape me as I get:

EvaluationException While evaluating '(EXPLAIN-WHY)':
Undefined operator: `EXPLAIN-WHY'
edu.isi.stella.Cons.evaluateConsTree (Cons.java:8474)

(I add something similar when wrapping plain 'why' until I added a
module as argument without really knowing why I did that.)

Exhibit B: https://www.isi.edu/isd/LOOM/PowerLoom/documentation/powerloom-4.0.2-javadoc/edu/isi/powerloom/logic/Justification.html

Of which I have no clue what to try using -- naively, perhaps I was
looking for something with 'why'...

Sorry for the vague message in a bottle, as I'mstarting to dig an ever
deeper hole, I'm wondering first if I'm missing something obvious?

Or do you happen to have any code example using the intended APIs?

Many thanks,
Pierre