Package | Description |
---|---|
casa |
The casa package is the main package for CASA (Collaborative Agent System
Architecture), which is an infrastructure for agent based systems.
|
casa.jade | |
jade.semantics.kbase |
Provides the classes to handle the belief base of JSA agents.
|
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.builtins | |
jade.semantics.kbase.filters.std.query |
Provides all generic query filters needed by the
FilterKBase
implementation. |
jade.semantics.kbase.observers |
Provides the classes to handle the observer mechanism on the belief base of
JSA agents.
|
Modifier and Type | Method and Description |
---|---|
QueryResult |
TransientAgent.query(String formula) |
Modifier and Type | Field and Description |
---|---|
(package private) QueryResult |
OwlOntologyTiming.TableRow.result |
Modifier and Type | Method and Description |
---|---|
QueryResult |
CasaKB.agentQuery(String agentName,
Formula formula) |
QueryResult |
OntologyFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn) |
QueryResult |
NotFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern (B ??agent (not ??phi)) and
??agent equals the given agent, this method returns a
QueryResult holding
the MatchResults of ??phi, that is the MatchResults
that satisfy ??phi. |
QueryResult |
IfFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern (B ??agent (not ??phi)) and
??agent equals the given agent, this method returns a
QueryResult holding
the MatchResults of ??phi, that is the MatchResults
that satisfy ??phi. |
private static QueryResult |
NotFilter.notPhi(Formula phi,
KBase phiKB,
ArrayList falsityReasons) |
QueryResult |
CasaKB.query(Formula formula) |
QueryResult |
CasaKB.query(Formula formula,
ArrayList reasons) |
QueryResult |
OntologyFilter.searchOntology(OntologyFilter.Predicate predicate)
This function generated all possible queries form an query using
agent's ontology and outputs the QueryResult
|
Modifier and Type | Method and Description |
---|---|
boolean |
CasaKB.isClosed(Formula pattern,
QueryResult values) |
Constructor and Description |
---|
TableRow(String pred,
String code,
QueryResult result,
long... time) |
Modifier and Type | Field and Description |
---|---|
static QueryResult |
QueryResult.KNOWN |
static QueryResult |
QueryResult.UNKNOWN |
Modifier and Type | Method and Description |
---|---|
QueryResult |
KBaseDecorator.query(Formula formula) |
QueryResult |
KBase.query(Formula formula)
Check wether a given fact is believed by the agent owning this
KBase
instance. |
QueryResult |
ArrayListKBaseImpl.query(Formula formula) |
private QueryResult |
ArrayListKBaseImpl.DataStorage.query(Formula pattern)
Tries to match the formula on each data stored in the base.
|
QueryResult |
KBaseDecorator.query(Formula formula,
ArrayList reasons) |
QueryResult |
KBase.query(Formula formula,
ArrayList reasons) |
QueryResult |
ArrayListKBaseImpl.query(Formula formula,
ArrayList reasons)
Queries directly the belief base.
|
QueryResult |
QueryResult.union(QueryResult other)
Returns the union between this list of match results and the other one given as an argument
|
Modifier and Type | Method and Description |
---|---|
boolean |
KBaseDecorator.isClosed(Formula pattern,
QueryResult values) |
boolean |
KBase.isClosed(Formula pattern,
QueryResult values)
Return
true if a given pattern of formula is closed on a
given domain of values, and false otherwise. |
boolean |
ArrayListKBaseImpl.isClosed(Formula pattern,
QueryResult b) |
QueryResult |
QueryResult.union(QueryResult other)
Returns the union between this list of match results and the other one given as an argument
|
Constructor and Description |
---|
QueryResult(QueryResult queryResult)
Constructor.
|
Modifier and Type | Field and Description |
---|---|
protected QueryResult |
FilterKBaseImpl.Cache.CacheElement.result |
Modifier and Type | Method and Description |
---|---|
QueryResult |
KBQueryFilterAdapter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
TO BE REWRITTEN TO BE REWRITTEN TO BE REWRITTEN
By default, this method returns false as first element in the array,
meaning the filter is not applicable, and null as second element.
|
abstract QueryResult |
KBQueryFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
Returns a
QueryResult object, similar to the one returned by the query
operation of the KBase interface. |
QueryResult |
FilterKBaseImpl.query(Formula formula,
ArrayList reasons) |
Modifier and Type | Method and Description |
---|---|
protected void |
FilterKBaseImpl.Cache.add(Formula formula,
QueryResult result,
ArrayList reasons) |
Constructor and Description |
---|
CacheElement(Formula formula,
QueryResult result,
ArrayList reasons) |
Modifier and Type | Method and Description |
---|---|
QueryResult |
HornClauseFilter.HornClauseQueryFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn) |
Modifier and Type | Method and Description |
---|---|
QueryResult |
UnaryPredicate.query(Term v1,
KBase kb) |
QueryResult |
BinaryPredicate.query(Term v1,
Term v2,
KBase kb) |
QueryResult |
TernaryPredicate.query(Term v1,
Term v2,
Term v3,
KBase kb) |
protected QueryResult |
BuiltInPredicate.querySingleValues(MetaTermReferenceNode v1,
Set<Term> values) |
protected QueryResult |
BuiltInPredicate.queryTupleValues(MetaTermReferenceNode[] metaRefs,
Set<Vector<Term>> values) |
Modifier and Type | Method and Description |
---|---|
private static QueryResult |
AndFilter.andPhiPsi(Formula phi,
KBase phiKB,
Formula psi,
KBase psiKB,
ArrayList falsityReasons) |
QueryResult |
OrFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern (B ??agent (or ??phi ??psi)) and
??agent equals the given agent term, this method returns the union
of the whole of solutions of the first part of the formula and
the whole of solutions of the second part of the formula.
|
QueryResult |
IsdoingQueryFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern
this method returns the result of the query of
(not (B myself (is_doing myself plan))) instead
|
QueryResult |
IREFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If if the formula matches the pattern (B ??agent (= ??ire ??term))
or (B ??agent (not (= ??ire ??term)) and ??agent equals the given agent term,
this method returns a
QueryResult corresponding to the solution
to the question. |
QueryResult |
ForallFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern (B ??agent (forall ??var ??phi))
and ??agent equals the given agent and ??phi is a mental attitude of this
agent, the method returns
KNOWN if the answer to the
query on the opposite of incoming formula (not (phi)) is null and
(not (phi)) is a closed formula. |
QueryResult |
ExistsFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern (B ??agent (exists ??var ??phi))
and ??agent equals the given agent term, this method returns a
QueryResult that corresponds to the answer to the query on
the incoming formula. |
QueryResult |
AndFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern (B ??agent (and ??phi ??psi)) and
??agent equals the given agent, this method returns a
QueryResult holding
the joined MatchResults of ??phi and ??psi, that is the MatchResults
that satisfy ??phi as well as ??psi. |
private QueryResult |
IREFilter.notPatternProcess(Formula formula,
ListOfNodes listOfNodes,
Term termPattern,
Formula formulaPattern,
IdentifyingExpression ire,
Term term)
Returns a QueryResult corresponding to the answer to the query.
|
private QueryResult |
IREFilter.patternProcess(Formula formula,
ListOfNodes listOfNodes,
Term termPattern,
Formula formulaPattern,
IdentifyingExpression ire,
Term term)
Returns a QueryResult corresponding to the answer to the query.
|
Modifier and Type | Method and Description |
---|---|
private void |
ExistsFilter.cleanMatches(QueryResult results,
String varName)
Deletes the variable with the name given as argument from all
MatchResult of the given QueryResult.
|
Modifier and Type | Field and Description |
---|---|
(package private) QueryResult |
Observer.lastQueryResultOnDirectlyObserved
Store the last queried value of the DIRECTLY_OBSERVED formula.
|
Modifier and Type | Method and Description |
---|---|
void |
WaitingObserver.action(QueryResult result)
Method invoked when the observer is triggered.
|
abstract void |
ObserverAdapter.action(QueryResult value)
Should be overridden.
|
void |
EventCreationObserver.action(QueryResult value)
Interprets the subscribed event and removes the suitable
observer if it should be done only one time (isOneShot = true).
|