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. |
Class and Description |
---|
FilterKBase
Interface that defines a belief base based upon filters.
|
FilterKBaseImpl
Class that implements the filter belief base api.
|
FiltersDefinition
Sorted list of
FilterDefinition . |
KBAssertFilter
This class provides methods the developer has to subclass to create
a new filter for asserting belief into the belief base
|
KBFilter
General object that represents a belief base filter.
|
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 and Description |
---|
FilterDefinition
Used to gather the filters which deal with the same domain.
|
FilterKBase
Interface that defines a belief base based upon filters.
|
FilterKBaseImpl.Cache |
FilterKBaseImpl.Cache.CacheElement |
FilterKBaseLoader |
FiltersDefinition
Sorted list of
FilterDefinition . |
KBAssertFilter
This class provides methods the developer has to subclass to create
a new filter for asserting belief into the belief base
|
KBFilter
General object that represents a belief base filter.
|
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 and Description |
---|
FilterKBase
Interface that defines a belief base based upon filters.
|
FilterKBaseLoader |
FiltersDefinition
Sorted list of
FilterDefinition . |
KBAssertFilter
This class provides methods the developer has to subclass to create
a new filter for asserting belief into the belief base
|
KBFilter
General object that represents a belief base filter.
|
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 and Description |
---|
KBAssertFilter
This class provides methods the developer has to subclass to create
a new filter for asserting belief into the belief base
|
KBFilter
General object that represents a belief base filter.
|
Class and Description |
---|
KBFilter
General object that represents a belief base filter.
|
KBQueryFilter
This abstact class provides methods the developer has to override to create
a new filter for querying the belief base about a formula.
|