jade.semantics.kbase.filters.std.query

Class AndFilter

java.lang.Object

jade.semantics.kbase.filters.KBFilter

jade.semantics.kbase.filters.KBQueryFilter

jade.semantics.kbase.filters.std.query.AndFilter

public class AndFilter
extends KBQueryFilter

This filter applies when an "and formula" is asserted in the belief Base.

Version:

0.9

Author:

Vincent Pautret - France Telecom

Field Summary

Fields

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

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

myKBase

Constructor Summary

Constructors

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

Method Summary

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

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

Constructor Detail

AndFilter

public AndFilter()

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 (and ??phi ??psi)) and ??agent equals the given agent, this method returns a QueryResult holding the joined MatchResults of ??phi and ??psi, that is the MatchResults that satisfy ??phi as well as ??psi. 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

andPhiPsi

private static QueryResult andPhiPsi(Formula phi,
                                     KBase phiKB,
                                     Formula psi,
                                     KBase psiKB,
                                     ArrayList falsityReasons)