-
Methods in jason.asSemantics that throw RevisionFailedException
Modifier and Type |
Method |
Description |
void |
Agent.abolish(Literal bel,
Unifier un) |
Removes all occurrences of bel in BB.
|
boolean |
Agent.addBel(Literal bel) |
Adds bel in belief base (calling brf) and generates the
events.
|
private void |
Agent.addInitBel(Literal b) |
|
void |
Agent.addInitialBelsInBB() |
add the initial beliefs in BB and produce the corresponding events
|
java.util.List<Literal>[] |
Agent.brf(Literal beliefToAdd,
Literal beliefToDel,
Intention i) |
This function should revise the belief base with the given literal to
add, to remove, and the current intention that triggered the operation.
|
java.util.List<Literal>[] |
Agent.brf(Literal beliefToAdd,
Literal beliefToDel,
Intention i,
boolean addEnd) |
This function should revise the belief base with the given literal to
add, to remove, and the current intention that triggered the operation.
|
boolean |
Agent.delBel(Literal bel) |
If the agent believes in bel, removes it (calling brf)
and generate the event.
|