[bddbddb-devel] Repost: (Mangled Encoding) -findbestorder problem
Status: Beta
Brought to you by:
joewhaley
|
From: Alan R. <ala...@gm...> - 2007-11-27 14:11:28
|
Hi, this is a repost of last weeks topic, it seems to have been
mangled on the SF page:
I am having trouble getting the solver to run the machine learning
algorithm. I have taken a trivial app and run:
[alan@soma-dt resources]$ java -cp $CLASSPATH:resources/:. -Xmx1024m -
Dpa.dumppath=results/ -Dpa.specialmapinfo=yes -Dpa.dumpunmunged=yes -
Dpa.signaturesinlocs=yes joeq.Main.GenRelations Driver
This produces the relations as expected. I then want to take
pacs2.datalogsupplied in bddbdb_examples and run it. I comment out
the .bddnodes &
.bddcache & .bddvarorder directives (same error if I don't do this) in
pacs2.datalog and then run:
[alan@soma-dt resources]$ java -cp $CLASSPATH:resources/:. -Xmx1024m -
Dpa.dumppath=results/ -Dfindbestorder -Dfbotrials=700 -Dbddnodes=100000
-Dbddvarorder= net.sf.bddbddb.Solver pacs2.datalog
This gives me:
(the entire output is attached, libbuddy.so is not loading for me, I get an
'unsatisifed link error : addRef' when I put in the directory I am executing
from. I haven't tried to solve this.)
Exception in thread "main" java.lang.NullPointerException
at net.sf.bddbddb.order.TrialData
Repository.buildAttribInstances(
TrialDataRepository.java:79)
at net.sf.bddbddb.order.TrialDataRepository.getAttribDataGroup(
TrialDataRepository.java:153)
at net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(
FindBestDomainOrder.java:777)
at net.sf.bddbddb.FindBestDomainOrder.hasOrdersToTry(
FindBestDomainOrder.java:602)
at net.sf.bddbddb.FindBestDomainOrder.findBestDomainOrder(
FindBestDomainOrder.java:2065)
at net.sf.bddbddb.BDDInferenceRule.evalRelations(
BDDInferenceRule.java:480)
at net.sf.bddbddb.BDDInferenceRule.update(BDDInferenceRule.java:373)
at net.sf.bddbddb.ir.BDDInterpreter.interpret(BDDInterpreter.java
:70)
at net.sf.bddbddb.ir.BDDInterpreter.interpret(BDDInterpreter.java
:50)
at net.sf.bddbddb.BDDSolver.solve(BDDSolver.java:395)
at net.sf.bddbddb.Solver.run(Solver.java:388)
at net.sf.bddbddb.Solver.main2(Solver.java:441)
at net.sf.bddbddb.Solver.main(Solver.java:1108)
What am I doing wrong here - I cannot seem to get the results that Luke was
getting in his email regarding the same?
Thanks,
Alan
--
T: +353 91 512601
Dept. of Information Technology.
National University of Ireland, Galway
|