Alex,
Can you send me both versions? The version I'm using has salience in
a couple rules, and it seems to be correct.
[]s
Edson
Alexander Bagerman wrote:
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
--
---
Edson Tirelli
Auster Solutions do Brasil
@ www.auster.com.br
+55 11 5096-2277 / +55 11 9218-4151