Package | Description |
---|---|
casa.conversation2 | |
casa.jade | |
jade.semantics.kbase |
Provides the classes to handle the belief base of JSA agents.
|
jade.semantics.kbase.filters.std.query |
Provides all generic query filters needed by the
FilterKBase
implementation. |
jade.semantics.lang.sl.grammar |
Provides the hierarchy of classes implementing the abstract grammar of the
FIPA-SL language.
|
jade.semantics.lang.sl.parser |
Provides the classes used by the JSA engine to parse and unparse FIPA-SL
expressions.
|
Modifier and Type | Method and Description |
---|---|
protected boolean |
SubscribeServerConversation.okToObserve(IdentifyingExpression exp) |
Modifier and Type | Field and Description |
---|---|
private IdentifyingExpression |
SingleValueDefinition.IOTA_VALUE |
(package private) IdentifyingExpression |
SingleNumValueDefinition.IOTA_VALUE |
(package private) IdentifyingExpression |
SingleNumValueDefinition.IOTA_VALUE_GT |
(package private) IdentifyingExpression |
SingleNumValueDefinition.IOTA_VALUE_NOT_GT |
Modifier and Type | Method and Description |
---|---|
MatchResult |
CasaKB.agentQueryRef(String agentName,
IdentifyingExpression exp) |
ListOfTerm |
CasaKB.queryRef(IdentifyingExpression expression) |
Term |
CasaKB.queryRef(IdentifyingExpression expression,
ArrayList falsityReasons) |
Term |
CasaKB.queryRefSingleTerm(IdentifyingExpression expression) |
Modifier and Type | Method and Description |
---|---|
ListOfTerm |
KBaseDecorator.queryRef(IdentifyingExpression expression) |
ListOfTerm |
KBase.queryRef(IdentifyingExpression expression)
Return a list of objects satisfying a given logical description (expressed
as an Identifying Referential Expression), which is believed by the agent
owning this
KBase instance. |
ListOfTerm |
ArrayListKBaseImpl.queryRef(IdentifyingExpression expression)
|
Term |
KBaseDecorator.queryRef(IdentifyingExpression expression,
ArrayList falsityReasons) |
Term |
KBase.queryRef(IdentifyingExpression expression,
ArrayList falsityReasons) |
Term |
ArrayListKBaseImpl.queryRef(IdentifyingExpression expression,
ArrayList falsityReasons) |
Term |
KBaseDecorator.queryRefSingleTerm(IdentifyingExpression expression) |
Term |
KBase.queryRefSingleTerm(IdentifyingExpression expression)
Return a term satisfying a given logical description (expressed
as an Identifying Referential Expression), which is believed by the agent
owning this
KBase instance. |
Term |
ArrayListKBaseImpl.queryRefSingleTerm(IdentifyingExpression expression)
Allways returns a single term depending on the IRE
and the result list returned by queryRef.
|
Modifier and Type | Method and Description |
---|---|
private void |
IREFilter.getPattern(IdentifyingExpression ire)
Creates the formulaPattern and the TermPattern by changing into meta variables
all the variables that appear in the term of the identifying expression.
|
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 | Class and Description |
---|---|
class |
AllNode |
class |
AnyNode |
class |
IotaNode |
class |
SomeNode |
Modifier and Type | Method and Description |
---|---|
IdentifyingExpression |
IdentifyingContentExpressionNode.as_identifying_expression() |
Modifier and Type | Method and Description |
---|---|
void |
IdentifyingContentExpressionNode.as_identifying_expression(IdentifyingExpression s) |
Constructor and Description |
---|
IdentifyingContentExpressionNode(IdentifyingExpression as_identifying_expression) |
Modifier and Type | Method and Description |
---|---|
IdentifyingExpression |
SLParser.IdentifyingExpression(ArrayList variables) |