jade.semantics.kbase.filters.std.query

Class IsdoingQueryFilter

java.lang.Object

jade.semantics.kbase.filters.KBFilter

jade.semantics.kbase.filters.KBQueryFilter

jade.semantics.kbase.filters.std.query.IsdoingQueryFilter

public class IsdoingQueryFilter
extends KBQueryFilter

This filter applies when an "not (is_doing myself plan)" formula is queried to the KBase.

Version:

0.9

Author:

Carole Adam - 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
IsdoingQueryFilter() Creates a new Filter on the pattern (B ??agent (not (is_doing ??myself ??plan)))

Method Summary

Modifier and Type	Method and Description
QueryResult	apply(Formula formula, ArrayList falsityReasons, QueryResult.BoolWrapper goOn) If the formula matches the pattern this method returns the result of the query of (not (B myself (is_doing myself plan))) instead
boolean	getObserverTriggerPatterns(Formula formula, Set set) Adds nothing in the set, returns false.

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

IsdoingQueryFilter

public IsdoingQueryFilter()

Creates a new Filter on the pattern (B ??agent (not (is_doing ??myself ??plan)))

Method Detail

apply

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

If the formula matches the pattern this method returns the result of the query of (not (B myself (is_doing myself plan))) instead

Specified by:

apply in class KBQueryFilter

Parameters:

formula - a formula on which the filter is tested

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

Returns:

a QueryResult object as described above.

See Also:

KBase.query(Formula)

getObserverTriggerPatterns

public boolean getObserverTriggerPatterns(Formula formula,
                                          Set set)

Adds nothing in the set, returns false.

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