Package | Description |
---|---|
casa.jade | |
jade.semantics.kbase.filters |
Provides all generic filters needed by the default
FilterKBase provided by the JSA framework. |
jade.semantics.kbase.filters.std | |
jade.semantics.kbase.filters.std.assertion |
Provides all generic assertion filters needed by the
FilterKBase
implementation. |
Modifier and Type | Method and Description |
---|---|
void |
CasaKB.addKBAssertFilter(KBAssertFilter filter) |
void |
CasaKB.addKBAssertFilter(KBAssertFilter filter,
int index) |
Modifier and Type | Class and Description |
---|---|
class |
KBAssertFilterAdapter
Adapter of a
KBassertFilter . |
Modifier and Type | Method and Description |
---|---|
void |
FilterKBaseImpl.addKBAssertFilter(KBAssertFilter filter) |
void |
FilterKBase.addKBAssertFilter(KBAssertFilter assertFilter)
Adds an assert filter to the belief base
|
void |
FilterKBaseImpl.addKBAssertFilter(KBAssertFilter filter,
int index) |
void |
FilterKBase.addKBAssertFilter(KBAssertFilter assertFilter,
int index)
Adds an assert filter to the belief base at the specified index.
|
Modifier and Type | Class and Description |
---|---|
class |
HornClauseFilter
The
HornClauseFilter makes it possible to process the assertion of
Horn clauses (like in Prolog). |
Modifier and Type | Class and Description |
---|---|
class |
AllIREFilter
Filter for the identifying expression of the form (= (all ??X ??formula) ??set)
or (= (iota ??X ??formula) ??set).
|
class |
AndFilter
This filter asserts in the Kbase the two parts of an And formula.
|
class |
ForallFilter |
class |
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 |