jade.semantics.kbase.filters.std.assertion

Class IsdoingAssertFilter

java.lang.Object

jade.semantics.kbase.filters.KBFilter

jade.semantics.kbase.filters.KBAssertFilter

jade.semantics.kbase.filters.std.assertion.IsdoingAssertFilter

public class IsdoingAssertFilter
extends KBAssertFilter

This filter prevents from asserting (B myself (not (is_doing myself p))) and only asserts (not (B myself (is_doing myself p))) Filter added to all kinds of agents, see DefaultFilterKBaseLoader TODO: this filter is never used the pattern is false (should be encapsulated in a belief) FIXME

Version:

0.9

Author:

Carole Adam - France Telecom

Field Summary

Fields

Modifier and Type	Field and Description
protected Formula	pattern

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

myKBase

Constructor Summary

Constructors

Constructor and Description
IsdoingAssertFilter() Constructor of the filter.

Method Summary

Modifier and Type	Method and Description
Formula	apply(Formula formula) If the filter is applicable, asserts in the belief base the weaker version, and returns a TrueNode.

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

afterAssert, beforeAssert

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

protected Formula pattern

Constructor Detail

IsdoingAssertFilter

public IsdoingAssertFilter()

Constructor of the filter. Instantiates the patterns.

Method Detail

apply

public final Formula apply(Formula formula)

If the filter is applicable, asserts in the belief base the weaker version, and returns a TrueNode.

Overrides:

apply in class KBAssertFilter

Parameters:

formula - a formula to assert

Returns:

TrueNode if the filter is applicable, the given formula otherwise.