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. |
jade.semantics.kbase.filters.std.query |
Provides all generic query filters needed by the
FilterKBase
implementation. |
Modifier and Type | Class and Description |
---|---|
class |
CasaQueryFilter |
class |
IfFilter
This filter applies when a "not formula" is queried from the belief Base.
|
class |
NotFilter
This filter applies when a "not formula" is queried from the belief Base.
|
class |
OntologyFilter
This filter applies when a "formula" is queried from the belief Base.
|
Modifier and Type | Class and Description |
---|---|
class |
KBAssertFilter
This class provides methods the developer has to subclass to create
a new filter for asserting belief into the belief base
|
class |
KBAssertFilterAdapter
Adapter of a
KBassertFilter . |
class |
KBQueryFilter
This abstact class provides methods the developer has to override to create
a new filter for querying the belief base about a formula.
|
class |
KBQueryFilterAdapter
Adapter of
KBQueryFilter |
Modifier and Type | Field and Description |
---|---|
private KBFilter |
FilterDefinition.filter
A belief base filter
|
Modifier and Type | Method and Description |
---|---|
KBFilter |
FilterDefinition.getFilter()
Returns the filter.
|
Modifier and Type | Method and Description |
---|---|
private void |
FilterKBaseImpl.addKBFilter(KBFilter filter,
int index)
Adds a new
KBFilter . |
void |
FiltersDefinition.defineFilter(int index,
KBFilter filter)
Adds a new filter in the list.
|
void |
FiltersDefinition.defineFilter(KBFilter filter)
Adds a new filter at the begining of the list
|
Constructor and Description |
---|
FilterDefinition(int index,
KBFilter filter)
Builds a Filter definition with the filter filter at the index
index
|
Modifier and Type | Class and Description |
---|---|
class |
HornClauseFilter
The
HornClauseFilter makes it possible to process the assertion of
Horn clauses (like in Prolog). |
(package private) class |
HornClauseFilter.HornClauseQueryFilter
Private class, which implements the query filter installed for each
asserted Horn clause.
|
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 |
Modifier and Type | Class and Description |
---|---|
class |
ExistsFilter
This filter applies when an "exists formula" is asserted in the belief Base.
|
class |
IREFilter
This filter applies when the query relates to the equality between an
identifying expression and a term.
|
class |
IsdoingQueryFilter
This filter applies when an "not (is_doing myself plan)"
formula is queried to the KBase.
|
class |
OrFilter
This filter applies when an "or formula" is asserted in the KBase.
|