public abstract class NestedBeliefFilters extends FiltersDefinition
Modifier and Type | Field and Description |
---|---|
private Term |
agentPattern |
private Formula |
bPattern |
private HashMap |
nestedKBases |
private Formula |
notBPattern |
Constructor and Description |
---|
NestedBeliefFilters() |
NestedBeliefFilters(Term agentPattern) |
Modifier and Type | Method and Description |
---|---|
private boolean |
checkOrInstantiate(Term term,
Term value) |
boolean |
handleNestedBeliefFrom(Term agent) |
private boolean |
isPositiveMentalAttitude(Formula formula,
Term term) |
abstract KBase |
newInstance(Term agent)
Creates a new instance of KBase.
|
defineFilter, defineFilter, getFilterDefinition
private HashMap nestedKBases
private Term agentPattern
private Formula bPattern
private Formula notBPattern
public NestedBeliefFilters()
public NestedBeliefFilters(Term agentPattern)
public boolean handleNestedBeliefFrom(Term agent)
public abstract KBase newInstance(Term agent)
agent
- the agent the beliefs of the new instance of KBase belongs to