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.query |
Provides all generic query filters needed by the
FilterKBase
implementation. |
Modifier and Type | Method and Description |
---|---|
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. |
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. |
Modifier and Type | Method and Description |
---|---|
QueryResult |
HornClauseFilter.HornClauseQueryFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn) |
Modifier and Type | Method and Description |
---|---|
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
QueryResult.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. |