Package jason.stdlib

Class succeed_goal

All Implemented Interfaces:
InternalAction, Serializable
Direct Known Subclasses:
done, fail_goal

@Manual(literal=".succeed_goal(goal)", hint="remove goals from the agent circumstance as if a plan for such goal had successfully finished", argsHint="the goals to be removed", argsType="literal", examples=".succeed_goal(go(X,3)): stops any attempt to achieve goals such as !go(1,3) as if it had already been achieved", seeAlso={"jason.stdlib.intend","jason.stdlib.desire","jason.stdlib.drop_all_desires","jason.stdlib.drop_all_events","jason.stdlib.drop_all_intentions","jason.stdlib.drop_intention","jason.stdlib.drop_desire","jason.stdlib.fail_goal","jason.stdlib.intention","jason.stdlib.suspend","jason.stdlib.suspended","jason.stdlib.resume"}) public class succeed_goal extends DefaultInternalAction

Internal action: .succeed_goal(G).

Description: remove goals G from the agent circumstance as if a plan for such goal had successfully finished. G is a goal if there is a triggering event +!G in any plan within any intention; also note that intentions can be suspended hence appearing in E, PA, or PI as well.
The meta-event ^!G[state(finished)] is produced.

Example:

  • .succeed_goal(go(X,3)): stops any attempt to achieve goals such as !go(1,3) as if it had already been achieved.
(Note: this internal action was introduced in a DALT 2006 paper, where it was called .dropGoal(G,true).)
See Also: