Gene structure - cond start stop

[Botsareus]

QUOTE(Botsareus @ Nov 8 2007, 11:11 AM)

Lets say the robot does .dx .up and .shoot within a single condition...



start
*.nrg 1000 >
10 .dx store
10 .up store
-1 .shoot store
stop

Would be sufficient.

I have a better idea, just stay with me, it gets complex. I will start from a simpe example. Then intermediate. then advanced.
I use "A" thru "Z" as code fragments:
If "A" is a 'condition it means something like: *.nrg 1000 >
If "A" is a 'action it means something like: -1 .shoot store
If you don't understand, quote what part you don't understand and I will try to explain in detail.
Introducing a new command called "conditionless"


example1: simple

A 'action
B 'condition
C 'action
D 'action
conditionless
E 'action
F 'action

the top of the dna is automaticaly conditionless, therefor the above means in the old db:

cond
start
A
stop
cond
B
start
C
D
stop
cond
start
E
F
stop

example2: very long but intermediate

A 'condition
B 'condition
C 'action
D or 'condition
E 'action
F and 'condition
G 'action
conditionless
H 'action
I 'condition
J 'action
K 'action
L 'action
conditionless
M 'action
N 'action
O 'action
P 'condition
Q 'action
R or 'condition
S 'condition
T 'action
UU or 'condition
V or 'condition
W 'action
X 'condition
Y or 'condition
Z 'action

means in old db:

cond
A
B
and
start
C
stop
cond
A
B
and
D
or
start
E
stop
cond
A
B
and
D
or
F
and
start
G
stop
cond
start
H
stop
cond
I
start
J
K
L
stop
cond
start
M
N
O
stop
cond
P
start
Q
stop
cond
P
R
or
S
and
start
T
stop
cond
P
R
or
S
and
UU
or
V
or
start
W
stop
cond
X
Y
or
start
Z
stop

example3: advanced example

A 'condition
B 'condition
C and 'condition
D 'action

means:

cond
A
B
C
and
and
start
D
stop

example 3b:

A 'condition
B 'condition
C and 'condition
or
D 'action

means:

cond
A
B
C
and
or
start
D
stop

example4: more advanced example

A 'condition
B 'condition
C and 'condition
D 'action
or
E 'action

means:

cond
A
B
C
and
and
start
D
stop
cond
A
B
C
and
or
start
E
stop

example5:  even more advanced example

A 'condition
B 'action
C 'condition
D and 'condition
E 'action
or
F 'action

means:

cond
A
start
B
stop
cond
C
D
and
start
E
stop
cond
A
C
D
and
or
start
F
stop

thank you for your time...

[Numsgil]

That's basically how the system Eric's describing works Bots.  Instead of a conditionless command, you would just use cond to reset the boolean stack (I got that correct, right?)

[EricL]

Yup.  It's already implemented in recent buddy drops.  Works well.

[Numsgil]

I might need to write some abusive DNA now just to try it out

[EricL]

I might need to write some abusive DNA now just to try it out

Please do!  I've done a little testing, but not exhaustive.  My suspicsion is that this is a very powerful and profound change whose impact won't be fully explored or fully understood for months.

[Peksa]

Looks very nice!

Just to check, if I understood this completely, would this work?

start
*.body *.nrg >
*.nrg 500 >
50 .strbody store
and
-50 .strbody store
stop


EDIT:
Oh, what about else? Would this work?

start
*.eye5 50 >
.shoot dec
else
314 rnd .aimsx store
stop

[EricL]

Just to check, if I understood this completely, would this work?

' Cooments below


start                 ' No cond section.  If stores followed this, their success would depend on boolean logic above
*.body *.nrg >        'Result of this is pushed on boolean stack.  Call it A.
*.nrg 500 >            'Result of this is pushed on boolean stack.  Call it B
50 .strbody store    ' store will occcur if B is True.  Will not if B is False.  There is no implicit AND of A and B
and                       'A is ANDed with B.  Result is pushed on Boolean stack.
-50 .strbody store  ' This store will happen if A AND B is True.
stop

EDIT:
Oh, what about else? Would this work?

start
*.eye5 50 >                ' Call this C
.shoot dec                   ' happens if C is true
else
314 rnd .aimsx store   ' Never happens.  Currently Else applies only to Cond section, which is missing here.
stop


But the same running boolean state works within else statements.  For example:


cond
false
start
1 *50 store
else
2 *50 store
2 1 <
3 *50 store
stop

memory location 50 will end up with a value of 2.

[Gobo]

Is there a way to clear the boolean stack within a gene's body?

[EricL]

Is there a way to clear the boolean stack within a gene's body?

There isn't an explicit clear stack command.  A bunch of boolean logic operators which pop values would do it.  Something like 20 OR's for example, enough that you pop whatever is there and bottom the stack out so that the result of the last one is true.  

Another start won't do it.  It clears the stack after a Cond by ANDing it all up, but if the current state is the gene body already, it doesn't do anything.

EDIT:  Adding a Clear command might be usefull....

[Numsgil]

I added a general purpose clear command that dumps both stacks to the DNA for Darwinbots 3, so I agree

Not sure if we need a single command for each stack or a single one for both stacks though.

[EricL]

I think we need two.  I can imagine cases where you want to clear the boolean stack for genome flow control reasons but keep your integer stack state.

I'm curious what do you mean by dumping the stack to DNA?

[Numsgil]

oops, heh, typo.  I meant "that dumps both stacks from the DNA".

[Gobo]

It would be also nice to have a command that drops the top value from the boolean stack. It is an extremely important functionality, since it has sense of ENDIF. As for now, I couldn't express it with less than three commands: true or and. I think it's highly expensive (moreover difficult to evolve!) for such basic operation.

[EricL]

Sounds good to me.  So, I'll add four new commands:

clearbool   - empties the boolean stack.
clearint      - empties the integer stack
popbool     - pops a value off the boolean stack.
popint       - pops a value off the integer stack

Okay?

[Botsareus]

I don't like the idea of using cond bla start for else statements.
Here is what I propose:

*.eye5 50 > ' Call this C
.shoot dec ' happens if C is true
else
314 rnd .aimsx store 'happens if C is false

A 'condition
B 'condition
C and 'condition
D 'action
or
E 'action
else
F 'action

means:

cond
A
B
C
and
and
start
D
stop
cond
A
B
C
and
or
start
E
stop
cond
A
B
C
and
or
else
start
F
stop

look here:
cond
A
B
C
and
or
else
start
F
stop

If B or C is false, and A is false then run F

Sounds good to me.  So, I'll add four new commands:

clearbool   - empties the boolean stack.
clearint      - empties the integer stack
popbool     - pops a value off the boolean stack.
popint       - pops a value off the integer stack

Okay?

I like the conditionless command better because then you don't have to worry about were to put the stop. I will add it myself when I get a chance to program on the outside.

I love the clearbool , clearint  commands because I will need them in my extreamly complex sexrepro system.

As far as popbool and popint commands see this post with updates: http://www.darwinbots.com/Forum/index.php?showtopic=2266