Package | Description |
---|---|
casa.jade | |
jade.content.abs | |
jade.domain.FIPAAgentManagement | |
jade.lang.acl |
This package contains the support for the FIPA Agent Communication Language (ACL)
including the ACLMessage class, the parser, the encoder, and
an helper class for representing templates of ACL messages.
|
jade.semantics.interpreter | |
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.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.
|
jade.semantics.lang.sl.parser |
Provides the classes used by the JSA engine to parse and unparse FIPA-SL
expressions.
|
jade.semantics.lang.sl.tools |
Provides useful classes to handle FIPA-SL expressions.
|
Modifier and Type | Class and Description |
---|---|
class |
CASAkbFiltersDefinition
Filter definitions to match patterns like (B Alice exp) and put or get the
expression in Alice's own (sub) belief base
|
class |
SingleNumValueDefinition
General class that defines single value predicat.
|
class |
SingleValueDefinition
General class that defines single value predicate.
|
Modifier and Type | Method and Description |
---|---|
ArrayList |
CasaKB.toStrings() |
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. |
private static QueryResult |
NotFilter.notPhi(Formula phi,
KBase phiKB,
ArrayList falsityReasons) |
QueryResult |
CasaKB.query(Formula formula,
ArrayList reasons) |
Term |
CasaKB.queryRef(IdentifyingExpression expression,
ArrayList falsityReasons) |
Modifier and Type | Field and Description |
---|---|
private ArrayList |
AbsObjectImpl.orderedKeys
This list keeps the keys in the same order as they were added
|
Modifier and Type | Field and Description |
---|---|
private ArrayList |
Envelope.intendedReceiver |
private ArrayList |
Envelope.properties |
private ArrayList |
Envelope.stamps |
private ArrayList |
Envelope.to |
Modifier and Type | Method and Description |
---|---|
private ArrayList |
Envelope.getIntendedReceivers() |
private ArrayList |
Envelope.getProperties() |
private ArrayList |
Envelope.getTo() |
Modifier and Type | Method and Description |
---|---|
private void |
Envelope.setIntendedReceivers(ArrayList al) |
private void |
Envelope.setProperties(ArrayList al) |
private void |
Envelope.setTo(ArrayList al) |
Modifier and Type | Field and Description |
---|---|
private ArrayList |
ACLMessage.dests |
private ArrayList |
ACLMessage.reply_to |
Modifier and Type | Method and Description |
---|---|
private ArrayList |
ACLMessage.getReceivers() |
private ArrayList |
ACLMessage.getReplyTo() |
Modifier and Type | Method and Description |
---|---|
private void |
ACLMessage.setReceivers(ArrayList al) |
private void |
ACLMessage.setReplyTo(ArrayList al) |
Modifier and Type | Method and Description |
---|---|
void |
Finder.removeFromList(ArrayList list)
Removes an object of the list if it is identified.
|
Modifier and Type | Field and Description |
---|---|
private ArrayList |
ArrayListKBaseImpl.closedPredicateList
List of patterns which are closed
|
private ArrayList |
ArrayListKBaseImpl.observers
List of observers
|
private ArrayList |
QueryResult.results |
Modifier and Type | Method and Description |
---|---|
static ArrayList |
QueryResult.addReasons(ArrayList reasons,
ArrayList list) |
private ArrayList |
ArrayListKBaseImpl.DataStorage.getFacts(Formula phi) |
ArrayList |
QueryResult.getResults() |
ArrayList |
KBaseDecorator.toStrings() |
ArrayList |
KBase.toStrings()
|
ArrayList |
ArrayListKBaseImpl.toStrings()
For debugging purpose only
|
ArrayList |
ArrayListKBaseImpl.DataStorage.toStrings()
Return the content of the DataStorage as a array of strings
|
Modifier and Type | Method and Description |
---|---|
void |
QueryResult.addAll(ArrayList results)
This method add all the results if not already in the results list.
|
static ArrayList |
QueryResult.addReasons(ArrayList reasons,
ArrayList list) |
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.
|
Term |
KBaseDecorator.queryRef(IdentifyingExpression expression,
ArrayList falsityReasons) |
Term |
KBase.queryRef(IdentifyingExpression expression,
ArrayList falsityReasons) |
Term |
ArrayListKBaseImpl.queryRef(IdentifyingExpression expression,
ArrayList falsityReasons) |
Constructor and Description |
---|
QueryResult(ArrayList results)
Constructor.
|
Modifier and Type | Class and Description |
---|---|
class |
FiltersDefinition
Sorted list of
FilterDefinition . |
Modifier and Type | Field and Description |
---|---|
protected ArrayList |
FilterKBaseImpl.assertFilterList
List of assertion filters
|
protected ArrayList |
FilterKBaseImpl.queryFilterList
List of query filters
|
protected ArrayList |
FilterKBaseImpl.Cache.CacheElement.reasons |
Modifier and Type | Method and Description |
---|---|
ArrayList |
KBQueryFilter.toStrings() |
ArrayList |
FilterKBaseImpl.toStrings()
DISPLAY METHODS *
|
Modifier and Type | Method and Description |
---|---|
protected void |
FilterKBaseImpl.Cache.add(Formula formula,
QueryResult result,
ArrayList reasons) |
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) |
private void |
FilterKBaseImpl.toStrings(ArrayList result,
ArrayList strings) |
Constructor and Description |
---|
CacheElement(Formula formula,
QueryResult result,
ArrayList reasons) |
FiltersDefinition(ArrayList list)
Creates a new FilterDefinition witha list of filters.
|
Modifier and Type | Class and Description |
---|---|
class |
BuiltInPredicateFilters |
class |
CFPFilters |
class |
EventMemoryFilters |
class |
NestedBeliefFilters |
Modifier and Type | Field and Description |
---|---|
private ArrayList |
EventMemoryFilters.eventMemory
List of events already done
|
private ArrayList |
CFPFilters.proposals |
Modifier and Type | Method and Description |
---|---|
private ArrayList |
EventMemoryFilters.getEventMemory()
Returns the event memory
|
ArrayList |
HornClauseFilter.HornClauseQueryFilter.toStrings() |
Modifier and Type | Method and Description |
---|---|
QueryResult |
HornClauseFilter.HornClauseQueryFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn) |
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
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. |
Modifier and Type | Field and Description |
---|---|
(package private) ArrayList |
Observer.observedFormulas
Stores the formulas to be observed.
|
Modifier and Type | Method and Description |
---|---|
ActionExpression |
SLParser.ActionExpression(ArrayList variables) |
AtomicFormula |
SLParser.AtomicFormula(ArrayList variables) |
Content |
SLParser.Content(ArrayList variables) |
ContentExpression |
SLParser.ContentExpression(ArrayList variables) |
Formula |
SLParser.Formula(ArrayList variables) |
Node |
SLParser.FunctionalTermOrPredicate(int which,
ArrayList variables,
int quantifierIndex) |
private Variable |
SLParser.getVariableFromContext(String varName,
int quantifierIndex,
ArrayList vars) |
IdentifyingExpression |
SLParser.IdentifyingExpression(ArrayList variables) |
Parameter |
SLParser.Parameter(ArrayList variables,
int quantifierIndex) |
ListOfParameter |
SLParser.Parameters(ArrayList variables,
int quantifierIndex) |
private void |
SLParser.restoreSize(ArrayList list,
int size) |
Term |
SLParser.Term(ArrayList variables,
int quantifierIndex) |
ListOfTerm |
SLParser.Terms(ArrayList variables,
int quantifierIndex) |
TermSequence |
SLParser.TermSequence(ArrayList variables,
int quantifierIndex) |
TermSet |
SLParser.TermSet(ArrayList variables,
int quantifierIndex) |
Variable |
SLParser.Variable(ArrayList variables,
int quantifierIndex) |
Modifier and Type | Field and Description |
---|---|
(package private) ArrayList |
SLMatcher.VariableMappings._variables |
Modifier and Type | Method and Description |
---|---|
private static Node |
SL.get(ArrayList mrefs,
Node mref) |
static void |
SL.linkSameMetaReferences(Node expr,
ArrayList mrefs) |
private static void |
SL.linkSameMetaReferences(Node parent,
Node current,
int index,
ArrayList mrefs) |