Edson, Actually there two versions of Waltz that I found. One of the them is using salience on a couple of rules. I think I tried it but it did not help me but you might want to try it yourself. The rules I think are the same but "salience" version cheats on checking "not" conditions I guess. -Alex
On 4/7/06, Edson Tirelli <[EMAIL PROTECTED]> wrote: > Alex, > > All results are different. Sorry for the long e-mail. > I commited leaps and reteoo tests to a subdirectory of integration > tests... there are still some garbage code commented out, but it is > useful for tests. Will remove later. > Follows: > > LEAPS: > ----------- > Waltz started > Stage: duplicate > Draw 5222 5216 > Draw 5222 7416 > Draw 122 5222 > Draw 2216 5216 > Draw 5216 6413 > Draw 7416 7401 > Draw 6413 6404 > Draw 3213 6413 > Draw 6404 7401 > Draw 2601 7401 > Draw 107 2601 > Draw 2216 3213 > Draw 3213 3204 > Draw 2216 2207 > Draw 3204 6404 > Draw 2207 3204 > Draw 107 2207 > Draw 122 107 > Stage: detect junctions > Stage: find initial boundary > Stage: find second boundary > Stage: labeling > Plot B 107 2601 > Plot + 107 2207 > Plot B 2207 2216 > Plot B 2216 5216 > Plot + 2216 3213 > Plot B 3213 6413 > Plot + 3213 3204 > Plot B 3204 6404 > Plot B 3204 2207 > Plot B 107 122 > Plot B 7416 5222 > Plot B 5222 122 > Plot + 5222 5216 > Plot B 5216 6413 > Plot B 6413 6404 > Plot - 6404 7401 > Plot + 7401 2601 > Stage: plot remaining edges > Plot + 7401 7416 > Plot B 7416 7401 > Stage: done > ---------------- > > RETEOO: > ---------------- > Waltz started > Stage: duplicate > Draw 5222 5216 > Draw 5222 7416 > Draw 122 5222 > Draw 2216 5216 > Draw 5216 6413 > Draw 7416 7401 > Draw 6413 6404 > Draw 3213 6413 > Draw 6404 7401 > Draw 2601 7401 > Draw 107 2601 > Draw 2216 3213 > Draw 3213 3204 > Draw 2216 2207 > Draw 3204 6404 > Draw 2207 3204 > Draw 107 2207 > Draw 122 107 > Stage: detect junctions > Stage: find initial boundary > Stage: find second boundary > Stage: labeling > Plot B 107 2601 > Plot + 107 2207 > Plot B 2207 2216 > Plot B 2207 3204 > Plot B 107 122 > Plot B 7416 5222 > Plot B 7416 7401 > Stage: plot remaining edges > Plot B 2601 7401 > Plot B 122 5222 > Plot B 5222 5216 > Plot B 5222 122 > Plot B 5216 5222 > Plot B 5216 2216 > Plot B 5216 6413 > Plot B 6413 5216 > Plot B 6413 6404 > Plot B 6413 3213 > Plot B 7401 6404 > Plot B 7401 2601 > Plot B 3213 6413 > Plot B 3213 2216 > Plot B 3213 3204 > Plot B 2216 5216 > Plot B 2216 3213 > Plot B 6404 6413 > Plot B 6404 7401 > Plot B 6404 3204 > Plot B 3204 3213 > Plot B 3204 6404 > Stage: done > --------------------- > > Jess: > --------------------- > draw 5222 5216 > draw 5222 7416 > draw 122 5222 > draw 2216 5216 > draw 5216 6413 > draw 7416 7401 > draw 6413 6404 > draw 3213 6413 > draw 6404 7401 > draw 2601 7401 > draw 107 2601 > draw 2216 3213 > draw 3213 3204 > draw 2216 2207 > draw 3204 6404 > draw 2207 3204 > draw 107 2207 > draw 122 107 > plot B 107 122 > plot B 107 2601 > plot B 7416 5222 > plot B 5222 122 > plot + 5222 5216 > plot + 5216 6413 > plot + 6413 6404 > plot + 6404 7401 > plot + 6404 3204 > plot + 3204 2207 > plot + 2207 2216 > plot - 2216 3213 > plot - 3204 3213 > plot B 7416 7401 > plot B 7401 2601 > plot - 3213 6413 > plot + 2216 5216 > plot + 2207 107 > plot - 6413 3213 > plot + 5216 2216 > plot + 107 2207 > DONE > ---------------------- > > > Alexander Bagerman wrote: > > >Mark (or Edson?) > >What do you see when you run it under Leaps? Does it match Jess or > >Reteoo or Leaps has its own version? > >-Alex > > > >On 4/7/06, Mark Proctor <[EMAIL PROTECTED]> wrote: > > > > > >> All, > >> > >> I finished today both, the porting of Waltz to jess and the > >>corrections on our DRL version of the rules. I believe our DRL is now > >>correct. Was not able to find any problem. > >> Although, our results are different from jess. In the *simplest* > >>case (18 lines), I think both our answer is correct and jess' answer is > >>correct, even being different answers. But, when I tried with larger > >>data bases, our answer does not seems to be correct as it plots almost > >>all edges as "Boundary" edges. > >> > >> The reason for this is that we trigger rules in a different sequence > >>from jess. From what I could gather and looking at some classes inside > >>jess, the criteria it uses for triggering rules is: > >> > >>1. Salience > >>2. Recency, where tuple recency it uses is the sum of all facts > >>recencies inside the tuple > >>3. was not able to determine. Seems to be a not deterministic criteria. > >> > >> This makes impossible for us to compare performance, as we are > >>clearly following different execution paths compared to jess. > >> > >> What are the next steps on this? Should we implement the second > >>criteria above? > >> Unless I'm missing something here, the test is extremelly data > >>sensitive and seems to be designed to work with the resolution criterias > >>jess/clips use. > >> > >> Thoughts? > >> Edson > >> > >> --- > >> Edson Tirelli > >> Auster Solutions do Brasil > >> @ www.auster.com.br > >> +55 11 5096-2277 / +55 11 9218-4151 > >> > >> > >> > >> > >> > >> > >> > >> > > > > > > > > > > > -- > --- > Edson Tirelli > Auster Solutions do Brasil > @ www.auster.com.br > +55 11 5096-2277 / +55 11 9218-4151 > > >
