Redux' Protocol

Communication with General Agents

From Agent to Redux	From Redux to Agent
MakeRootGoal	Tell
Ask-All	Reply
CreateDecision	Sorry
MakeDecision	Error
CreateMakeDecision
RejectDecision
RejectCurrentDecision
RejectCurrentForNew
RejectOldForNew
CreateConstraint
DeclareConstraintViolation
ResolveConstraintViolation
RelaxConstraint
Insert
Uninsert
Trace	Update
UnTrace