casa.jade

Class NotFilter

java.lang.Object

jade.semantics.kbase.filters.KBFilter

jade.semantics.kbase.filters.KBQueryFilter

casa.jade.CasaQueryFilter

casa.jade.NotFilter

public class NotFilter
extends CasaQueryFilter

This filter applies when a "not formula" is queried from the belief Base.

Field Summary

Fields

Modifier and Type	Field and Description
private Formula	pattern Pattern that must match to apply the filter
private Formula	pattern1

Fields inherited from class jade.semantics.kbase.filters.KBFilter

myKBase

Constructor Summary

Constructors

Constructor and Description
NotFilter() Creates a new Filter on the pattern (and ??phi ??psi)

Method Summary

Modifier and Type	Method and Description
QueryResult	apply(Formula formula, ArrayList falsityReasons, QueryResult.BoolWrapper goOn) If the formula matches the pattern (B ??agent (not ??phi)) and ??agent equals the given agent, this method returns a QueryResult holding the MatchResults of ??phi, that is the MatchResults that satisfy ??phi.
boolean	getObserverTriggerPatterns(Formula formula, Set set) Adds in the set, the patterns for the formula phi and for the formula psi.
private static QueryResult	notPhi(Formula phi, KBase phiKB, ArrayList falsityReasons)

Methods inherited from class casa.jade.CasaQueryFilter

getFormula, getNode, getSymbol, getTerm, getVariable

Methods inherited from class jade.semantics.kbase.filters.KBQueryFilter

toStrings

Methods inherited from class jade.semantics.kbase.filters.KBFilter

getMyKBase, setMyKBase

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

pattern

private Formula pattern

Pattern that must match to apply the filter

pattern1

private Formula pattern1

Constructor Detail

NotFilter

public NotFilter()

Creates a new Filter on the pattern (and ??phi ??psi)

Method Detail

apply

public QueryResult apply(Formula formula,
                         ArrayList falsityReasons,
                         QueryResult.BoolWrapper goOn)

If the formula matches the pattern (B ??agent (not ??phi)) and ??agent equals the given agent, this method returns a QueryResult holding the MatchResults of ??phi, that is the MatchResults that satisfy ??phi. Else it returns QueryResult.UNKNOWN

Specified by:

apply in class KBQueryFilter

Parameters:

formula - a formula on which the filter is tested

agent - a term that represents the agent is trying to apply the filter

Returns:

a QueryResult as described above.

See Also:

KBase.query(Formula)

getObserverTriggerPatterns

public boolean getObserverTriggerPatterns(Formula formula,
                                          Set set)

Adds in the set, the patterns for the formula phi and for the formula psi.

Specified by:

getObserverTriggerPatterns in class KBQueryFilter

Parameters:

formula - an observed formula

set - set of patterns. Each pattern corresponds to a kind a formula which, if it is asserted in the base, triggers the observer that observes the formula given in parameter.

Returns:

: FIXME missing javadoc, explain what does the returned boolean mean

notPhi

private static QueryResult notPhi(Formula phi,
                                  KBase phiKB,
                                  ArrayList falsityReasons)