Package jade.semantics.kbase.filters.std.assertion

Provides all generic assertion filters needed by the FilterKBase implementation.

See: Description

Class Summary

Class	Description
AllIREFilter	Filter for the identifying expression of the form (= (all ??X ??formula) ??set) or (= (iota ??X ??formula) ??set).
AndFilter	This filter asserts in the Kbase the two parts of an And formula.
ForallFilter
IsdoingAssertFilter	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

Package jade.semantics.kbase.filters.std.assertion Description

Provides all generic assertion filters needed by the FilterKBase implementation.