Idea Goal System: Neg Neg Goal Constraint

This is only an idea on how to restrict goals so that some problems will never occur.

Idea

We declare goals which have a freq < 0.5 as invalid, thus they must never be present in memory.
We call this constraint "Neg Neg Goal Constant", because it prevents negated negative goals.

More formally:
goals = {G | G.freq >= 0.5}

An Implementation has to maintain this constraint by negating goals if G.freq < 0.5 when the goal gets presented to the system as input or when it is derived.

Implementation status

not yet implemented