Rules

Rules from 19NAR2 are all implemented [19NAR2 wiki]

procedural

neg ded

a =/> --b.
b!
|-
--a. justification: We need a way to propagate neg-goals so that the agent avoids these situations.
example: if we have X =/> --alive. and goal is alive! :|: then we shouldn't do X
implementation status: implemented in master

a =/> b. --b! |-ded --a! justification: We need to propagate neg goals implementation status: not yet implemented

revision

case pos+pos or neg+neg
a =/> b.
a =/> b.
|-
a =/> b.

a =|> b.
a =|> b.
|-
a =|> b.
(=|> is currently not implemented)

case neg+pos
a =/> b.
--(a =/> b).
|-
a =/> b.
justification:neg goals need to be handled specificially because exp() of the sentence will be to low for the task to get selected. so we just flip it with -- negation
implemented: this case isn't currently implemented