Package jason.stdlib

Class succeed_goal

java.lang.Object
jason.asSemantics.DefaultInternalAction
jason.stdlib.succeed_goal
All Implemented Interfaces:
InternalAction, java.io.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:
intend, desire, drop_all_desires, drop_all_events, drop_all_intentions, drop_intention, drop_desire, fail_goal, intention, suspend, suspended, resume, Serialized Form