Package | Description |
---|---|
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 | Class and Description |
---|---|
class |
CasaKB |
Modifier and Type | Method and Description |
---|---|
KBase |
CasaKB.getDecorated() |
private static KBase |
CasaKB.getDecorated(String agent) |
KBase |
CasaKB.getWrappingKBase() |
Modifier and Type | Method and Description |
---|---|
private static QueryResult |
NotFilter.notPhi(Formula phi,
KBase phiKB,
ArrayList falsityReasons) |
void |
CasaKB.setWrappingKBase(KBase kbase) |
Modifier and Type | Class and Description |
---|---|
class |
ArrayListKBaseImpl
Class that implements the belief base api.
|
class |
KBaseDecorator |
Modifier and Type | Field and Description |
---|---|
protected KBase |
KBaseDecorator.decorated
The decorated KBase
|
private KBase |
ArrayListKBaseImpl.wrappingKBase
The wrapping KBase
|
Modifier and Type | Method and Description |
---|---|
KBase |
KBaseDecorator.getDecorated()
Return the decorated kbase
|
KBase |
KBaseDecorator.getWrappingKBase() |
KBase |
KBase.getWrappingKBase()
The
KBase mechanism follows the decoration design pattern. |
KBase |
ArrayListKBaseImpl.getWrappingKBase() |
Modifier and Type | Method and Description |
---|---|
void |
KBaseDecorator.setWrappingKBase(KBase kbase) |
void |
KBase.setWrappingKBase(KBase kbase)
Set the most enclosing
KBase . |
void |
ArrayListKBaseImpl.setWrappingKBase(KBase kbase) |
Constructor and Description |
---|
ArrayListKBaseImpl(Term agentName,
KBase wrappingKBase)
Creates a new belief base.
|
KBaseDecorator(KBase decorated)
Build a KBase decorator
|
Modifier and Type | Interface and Description |
---|---|
interface |
FilterKBase
Interface that defines a belief base based upon filters.
|
Modifier and Type | Class and Description |
---|---|
class |
FilterKBaseImpl
Class that implements the filter belief base api.
|
Modifier and Type | Method and Description |
---|---|
KBase |
KBFilter.getMyKBase()
Returns the belief base
|
Constructor and Description |
---|
FilterKBaseImpl(KBase decorated)
Creates a new belief base.
|
FilterKBaseImpl(KBase decorated,
FilterKBaseLoader loader)
Creates a new belief base.
|
Modifier and Type | Field and Description |
---|---|
(package private) KBase |
BuiltInPredicateFilters.kbase |
private KBase |
CFPFilters.myKBase |
Modifier and Type | Field and Description |
---|---|
(package private) static HashMap<KBase,BuiltInPredicateFilters> |
BuiltInPredicateFilters.builtInPredicateFilters |
Modifier and Type | Method and Description |
---|---|
abstract KBase |
NestedBeliefFilters.newInstance(Term agent)
Creates a new instance of KBase.
|
Modifier and Type | Method and Description |
---|---|
private BinaryPredicate |
BuiltInPredicateFilters.handleBinaryPredicate(MatchResult match,
MetaTermReferenceNode v1,
MetaTermReferenceNode v2,
KBase kb) |
private TernaryPredicate |
BuiltInPredicateFilters.handleTernaryPredicate(MatchResult match,
MetaTermReferenceNode v1,
MetaTermReferenceNode v2,
MetaTermReferenceNode v3,
KBase kb) |
private UnaryPredicate |
BuiltInPredicateFilters.handleUnaryPredicate(MatchResult match,
MetaTermReferenceNode v1,
KBase kb)
PRIVATE METHODS
|
void |
EventMemoryFilters.init(KBase kb) |
Constructor and Description |
---|
BuiltInPredicateFilters(KBase kb)
CONSTRUCTOR: definition of all filters to access predefined ("built-in") predicates
|
CFPFilters(KBase kbase) |
Modifier and Type | Method and Description |
---|---|
Formula |
UnaryPredicate.assertFalse(Term v1,
KBase kb) |
Formula |
BinaryPredicate.assertFalse(Term v1,
Term v2,
KBase kb) |
Formula |
TernaryPredicate.assertFalse(Term v1,
Term v2,
Term v3,
KBase kb) |
Formula |
UnaryPredicate.assertTrue(Term v1,
KBase kb) |
Formula |
BinaryPredicate.assertTrue(Term v1,
Term v2,
KBase kb)
PUBLIC METHODS
|
Formula |
TernaryPredicate.assertTrue(Term v1,
Term v2,
Term v3,
KBase kb)
PUBLIC METHODS
|
protected Formula |
UnaryPredicate.doAssertFalse(Term i1,
KBase kb) |
protected Formula |
BinaryPredicate.doAssertFalse(Term i1,
Term i2,
KBase kb) |
protected Formula |
TernaryPredicate.doAssertFalse(Term i1,
Term i2,
Term i3,
KBase kb) |
protected Formula |
UnaryPredicate.doAssertTrue(Term i1,
KBase kb) |
protected Formula |
BinaryPredicate.doAssertTrue(Term i1,
Term i2,
KBase kb) |
protected Formula |
TernaryPredicate.doAssertTrue(Term i1,
Term i2,
Term i3,
KBase kb) |
protected boolean |
UnaryPredicate.doQuery(Term i1,
KBase kb) |
protected boolean |
ConstantFunction.doQuery(Term i1,
KBase kb) |
protected boolean |
UnaryFunction.doQuery(Term i1,
Term i2,
KBase kb) |
protected boolean |
MemberPredicate.doQuery(Term i1,
Term i2,
KBase kb) |
protected boolean |
LesserThanPredicate.doQuery(Term i1,
Term i2,
KBase kb) |
protected boolean |
LesserThanOrEqualPredicate.doQuery(Term i1,
Term i2,
KBase kb) |
protected boolean |
BinaryPredicate.doQuery(Term i1,
Term i2,
KBase kb) |
protected boolean |
TernaryPredicate.doQuery(Term i1,
Term i2,
Term i3,
KBase kb) |
protected boolean |
NthPredicate.doQuery(Term i1,
Term i2,
Term i3,
KBase kb) |
protected boolean |
BinaryFunction.doQuery(Term i1,
Term i2,
Term i3,
KBase kb) |
protected Set<Vector<Term>> |
TernaryPredicate.doQueryV1V2V3Values(KBase kb) |
protected Set<Vector<Term>> |
BinaryPredicate.doQueryV1V2Values(KBase kb) |
protected Set<Vector<Term>> |
TernaryPredicate.doQueryV1V2Values(Term i3,
KBase kb) |
protected Set<Vector<Term>> |
NthPredicate.doQueryV1V2Values(Term i3,
KBase kb) |
protected Set<Vector<Term>> |
TernaryPredicate.doQueryV1V3Values(Term i2,
KBase kb) |
protected Set<Term> |
UnaryPredicate.doQueryV1Values(KBase kb) |
protected Set<Term> |
ConstantFunction.doQueryV1Values(KBase kb) |
protected Set<Term> |
MemberPredicate.doQueryV1Values(Term i2,
KBase kb) |
protected Set<Term> |
BinaryPredicate.doQueryV1Values(Term i2,
KBase kb) |
protected Set<Term> |
TernaryPredicate.doQueryV1Values(Term i2,
Term i3,
KBase kb) |
protected Set<Term> |
NthPredicate.doQueryV1Values(Term i2,
Term i3,
KBase kb) |
protected Set<Vector<Term>> |
TernaryPredicate.doQueryV2V3Values(Term i1,
KBase kb) |
protected Set<Term> |
UnaryFunction.doQueryV2Values(Term i1,
KBase kb) |
protected Set<Term> |
BinaryPredicate.doQueryV2Values(Term i1,
KBase kb) |
protected Set<Term> |
TernaryPredicate.doQueryV2Values(Term i1,
Term i3,
KBase kb) |
protected Set<Term> |
NthPredicate.doQueryV2Values(Term i1,
Term i3,
KBase kb) |
protected Set<Term> |
TernaryPredicate.doQueryV3Values(Term i1,
Term i2,
KBase kb) |
protected Set<Term> |
BinaryFunction.doQueryV3Values(Term i1,
Term i2,
KBase kb) |
protected Formula |
UnaryPredicate.doRetract(Term i1,
KBase kb) |
protected Formula |
BinaryPredicate.doRetract(Term i1,
Term i2,
KBase kb) |
protected Formula |
TernaryPredicate.doRetract(Term i1,
Term i2,
Term i3,
KBase kb) |
protected Formula |
TernaryPredicate.doRetractV1V2V3Values(KBase kb) |
protected Formula |
BinaryPredicate.doRetractV1V2Values(KBase kb) |
protected Formula |
TernaryPredicate.doRetractV1V2Values(Term i3,
KBase kb) |
protected Formula |
TernaryPredicate.doRetractV1V3Values(Term i2,
KBase kb) |
protected Formula |
UnaryPredicate.doRetractV1Values(KBase kb) |
protected Formula |
BinaryPredicate.doRetractV1Values(Term i2,
KBase kb) |
protected Formula |
TernaryPredicate.doRetractV1Values(Term i2,
Term i3,
KBase kb) |
protected Formula |
TernaryPredicate.doRetractV2V3Values(Term i1,
KBase kb) |
protected Formula |
BinaryPredicate.doRetractV2Values(Term i1,
KBase kb) |
protected Formula |
TernaryPredicate.doRetractV2Values(Term i1,
Term i3,
KBase kb) |
protected Formula |
TernaryPredicate.doRetractV3Values(Term i1,
Term i2,
KBase kb) |
protected Term |
NowFunction.eval(KBase kb) |
protected abstract Term |
ConstantFunction.eval(KBase kb) |
protected Term |
YearFunction.eval(Term i1,
KBase kb) |
protected abstract Term |
UnaryFunction.eval(Term i1,
KBase kb) |
protected Term |
CardFunction.eval(Term i1,
KBase kb) |
protected Term |
SumFunction.eval(Term i1,
Term i2,
KBase kb) |
protected Term |
ProductFunction.eval(Term i1,
Term i2,
KBase kb) |
protected Term |
DivisionFunction.eval(Term i1,
Term i2,
KBase kb) |
protected Term |
DifferenceFunction.eval(Term i1,
Term i2,
KBase kb) |
protected Term |
ConcatFunction.eval(Term i1,
Term i2,
KBase kb) |
protected abstract Term |
BinaryFunction.eval(Term i1,
Term i2,
KBase kb) |
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) |
Formula |
UnaryPredicate.retract(Term v1,
KBase kb) |
Formula |
BinaryPredicate.retract(Term v1,
Term v2,
KBase kb) |
Formula |
TernaryPredicate.retract(Term v1,
Term v2,
Term v3,
KBase kb) |
Modifier and Type | Method and Description |
---|---|
private static QueryResult |
AndFilter.andPhiPsi(Formula phi,
KBase phiKB,
Formula psi,
KBase psiKB,
ArrayList falsityReasons) |
Modifier and Type | Field and Description |
---|---|
(package private) KBase |
Observer.myKBase
The KBase the observer belongs to.
|
Modifier and Type | Method and Description |
---|---|
KBase |
Observer.getMyKBase() |
Constructor and Description |
---|
EventCreationObserver(KBase kbase,
Formula observedFormula,
Formula subscribedEvent,
SemanticInterpreterBehaviour interpreter)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
Formula subscribedEvent,
SemanticInterpreterBehaviour interpreter,
boolean isOneShot)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
Formula subscribedEvent,
SemanticInterpreterBehaviour interpreter,
boolean isOneShot,
Date wakeUpDate)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
Formula subscribedEvent,
SemanticInterpreterBehaviour interpreter,
boolean isOneShot,
Long timeout)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
Formula subscribedEvent,
SemanticInterpreterBehaviour interpreter,
Date wakeUpDate)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
Formula subscribedEvent,
SemanticInterpreterBehaviour interpreter,
Long timeout)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
SemanticRepresentation subscribedEvent,
SemanticInterpreterBehaviour interpreter,
boolean isOneShot)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
SemanticRepresentation subscribedEvent,
SemanticInterpreterBehaviour interpreter,
boolean isOneShot,
Date wakeUpDate)
Creates a new Observer with a timeout
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
SemanticRepresentation subscribedEvent,
SemanticInterpreterBehaviour interpreter,
boolean isOneShot,
Long timeout)
Creates a new Observer with a timeout
|
Observer(KBase kbase,
Formula formula)
Build an Observer for the KBase given as an argument.
|
Observer(KBase kbase,
Formula formula,
Date wakeupDate)
Builds an Observer for the kbase given as an argument.
|
Observer(KBase kbase,
Formula formula,
long timeOut)
Builds an Observer for the kbase given as an argument.
|
ObserverAdapter(KBase kbase,
Formula formula)
Creates a new Observer
|
ObserverAdapter(KBase kbase,
Formula formula,
Date wakeupdate)
Creates a new Observer
|
ObserverAdapter(KBase kbase,
Formula formula,
long timeout)
Creates a new Observer with timeout
|
WaitingObserver(KBase kbase,
Formula observedFormula,
PrimitiveActionBehaviour pausedBehaviour,
Agent agent)
Creates a new WaitingObserverAdapter
|
WaitingObserver(KBase kbase,
Formula observedFormula,
PrimitiveActionBehaviour pausedBehaviour,
Agent agent,
Date wakeUp)
Creates a new WaitingObserverAdapter
|
WaitingObserver(KBase kbase,
Formula observedFormula,
PrimitiveActionBehaviour pausedBehaviour,
Agent agent,
long delay)
Creates a new WaitingObserverAdapter
|