CasaKB

java.lang.Object
- jade.semantics.kbase.KBaseDecorator
- - jade.semantics.kbase.filters.FilterKBaseImpl
  - - casa.jade.CasaKB

All Implemented Interfaces:

FilterKBase, KBase, Comparable<CasaKB>
```
public class CasaKB
extends FilterKBaseImpl
implements Comparable<CasaKB>
```
Author:

Rob Kremer

Field Summary

Fields
Modifier and Type Field and Description

(package private) TransientAgent agent

(package private) String name

(package private) TreeMap<String,CasaKB> OtherAgents
- Fields inherited from class jade.semantics.kbase.filters.FilterKBaseImpl
  assertFilterList, queryFilterList
- Fields inherited from class jade.semantics.kbase.KBaseDecorator
  decorated
- Fields inherited from interface jade.semantics.kbase.filters.FilterKBase
  END, FRONT

Fields
Modifier and Type	Field and Description
`(package private) TransientAgent`	`agent`
`(package private) String`	`name`
`(package private) TreeMap<String,CasaKB>`	`OtherAgents`

Constructor Summary

Constructors
Constructor and Description

CasaKB(String agentName, TransientAgent agent)

Constructors
Constructor and Description
`CasaKB(String agentName, TransientAgent agent)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addClosedPredicate(Formula pattern)` Define a new pattern of closed formula.
`void`	`addFiltersDefinition(FiltersDefinition filtersDefinition)` METHODS TO ADD NEW FILTERS *
`void`	`addKBAssertFilter(KBAssertFilter filter)` Adds an assert filter to the belief base
`void`	`addKBAssertFilter(KBAssertFilter filter, int index)` Adds an assert filter to the belief base at the specified index.
`void`	`addKBQueryFilter(KBQueryFilter filter)` Adds a query filter to the belief base
`void`	`addKBQueryFilter(KBQueryFilter filter, int index)` Adds a query filter to the belief base at the specified index.
`void`	`addObserver(Observer obs)` Do not forget to initialise observers once added to the KBase by using `observer.update(null);` Only observers added in the `setupKBase` method are automatically initialised.
`void`	`agentAssert(String agentName, Formula formula)`
`QueryResult`	`agentQuery(String agentName, Formula formula)`
`MatchResult`	`agentQueryRef(String agentName, IdentifyingExpression exp)`
`void`	`assertFormula(Formula formula)` METHODS TO ACCESS KBASE *
`int`	`compareTo(CasaKB o)`
`Term`	`eval(Term expression)`
`Term`	`getAgentName()` Get the name of the agent (given as a FIPA-SL term representing his AID) owning this `KBase` instance.
`KBase`	`getDecorated()` Return the decorated kbase
`private static KBase`	`getDecorated(String agent)`
`void`	`getObserverTriggerPatterns(Formula formula, Set result)` Calls the getObserverTriggerPatterns method of each query filters.
`TreeMap<String,CasaKB>`	`getOtherAgentKBs()`
`KBase`	`getWrappingKBase()` The `KBase` mechanism follows the decoration design pattern.
`boolean`	`isClosed(Formula pattern, QueryResult values)` Return `true` if a given pattern of formula is closed on a given domain of values, and `false` otherwise.
`QueryResult`	`query(Formula formula)` Check wether a given fact is believed by the agent owning this `KBase` instance.
`QueryResult`	`query(Formula formula, ArrayList reasons)`
`ListOfTerm`	`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.
`Term`	`queryRef(IdentifyingExpression expression, ArrayList falsityReasons)`
`Term`	`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.
`void`	`removeClosedPredicate(Finder finder)` Remove the definition of a pattern of closed formula.
`void`	`removeFormula(Finder finder)` Removes from the belief base all formulas recognized by a given finder.
`void`	`removeKBAssertFilter(Finder filterIdentifier)` METHODS TO REMOVE FILTERS *
`void`	`removeKBQueryFilter(Finder filterIdentifier)` Removes the query filters that are identified by the specified finder.
`void`	`removeObserver(Finder finder)` Remove from this `KBase` instance all the observers that are identified by a given finder.
`void`	`removeObserver(Observer obs)` Remove from this `KBase` instance a given observer.
`void`	`retractFormula(Formula formula)` Retract a fact from the belief base.
`void`	`setAgentName(Term agent)` Modify the agent (given as a FIPA-SL term representing his AID) the beliefs stored in this `KBase` instance belong to.
`void`	`setWrappingKBase(KBase kbase)` Set the most enclosing `KBase`.
`String`	`toString()`
`String`	`toString(int indent)`
`String`	`toStringAssertFilters()`
`protected String`	`toStringAssertFilters(int indent)`
`String`	`toStringFacts()`
`protected String`	`toStringFacts(int indent)`
`private String`	`toStringHelper(Iterator i, int indent)`
`private void`	`toStringHelperFields(StringBuilder b, Class<?> cls, Object o, int indent)`
`String`	`toStringQueryFilters()`
`protected String`	`toStringQueryFilters(int indent)`
`ArrayList`	`toStrings()` DISPLAY METHODS *
`void`	`updateObservers(Formula formula)` Update the status of all observers concerned by a given formula.
`void`	`viewFilterQuery()` For debugging purpose only

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - OtherAgents
```
TreeMap<String,CasaKB> OtherAgents
```
  - name
```
String name
```
  - agent
```
TransientAgent agent
```
- Constructor Detail
  - CasaKB
```
public CasaKB(String agentName,
              TransientAgent agent)
```
    Parameters:
    
    agent - TODO
    
    decorated -
    
    loader -
- Method Detail
  - getOtherAgentKBs
```
public TreeMap<String,CasaKB> getOtherAgentKBs()
```
  - getDecorated
```
private static KBase getDecorated(String agent)
```
  - compareTo
```
public int compareTo(CasaKB o)
```
    Specified by:
    
    compareTo in interface Comparable<CasaKB>
  - agentAssert
```
public void agentAssert(String agentName,
                        Formula formula)
```
  - agentQuery
```
public QueryResult agentQuery(String agentName,
                              Formula formula)
```
  - agentQueryRef
```
public MatchResult agentQueryRef(String agentName,
                                 IdentifyingExpression exp)
```
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - toString
```
public String toString(int indent)
```
  - toStringFacts
```
public String toStringFacts()
```
  - toStringFacts
```
protected String toStringFacts(int indent)
```
  - toStringQueryFilters
```
public String toStringQueryFilters()
```
  - toStringQueryFilters
```
protected String toStringQueryFilters(int indent)
```
  - toStringAssertFilters
```
public String toStringAssertFilters()
```
  - toStringAssertFilters
```
protected String toStringAssertFilters(int indent)
```
  - toStringHelper
```
private String toStringHelper(Iterator i,
                              int indent)
```
  - toStringHelperFields
```
private void toStringHelperFields(StringBuilder b,
                                  Class<?> cls,
                                  Object o,
                                  int indent)
```
  - assertFormula
```
public void assertFormula(Formula formula)
```
    Description copied from class: FilterKBaseImpl
    
    METHODS TO ACCESS KBASE *
    
    Specified by:
    
    assertFormula in interface KBase
    
    Overrides:
    
    assertFormula in class FilterKBaseImpl
    
    Parameters:
    
    formula - the formula to assert.
  - query
```
public QueryResult query(Formula formula,
                         ArrayList reasons)
```
    Specified by:
    
    query in interface KBase
    
    Overrides:
    
    query in class FilterKBaseImpl
  - query
```
public QueryResult query(Formula formula)
```
    Description copied from interface: KBase
    
    Check wether a given fact is believed by the agent owning this KBase instance.
    If the fact is not believed by the agent, the method returns null.
    
    The queried fact may include meta-references. In this case, the method returns all bindings of these meta-references, for which the corresponding instantiated fact is believed by the agent. These bindings are returned using a QueryResult instance. If the queried fact include no meta-reference and is actually believed, the returned QueryResult object is an empty list equal to QueryResult.KNOWN.
    For example, if (age john 25), (age mary 25) and (age peter 20) are believed by the agent, querying for (age ??who 25) will return a list of two MatchResult objects containing respectively the bindings (??who=john) and (??who=mary).
    
    Specified by:
    
    query in interface KBase
    
    Overrides:
    
    query in class KBaseDecorator
    
    Parameters:
    
    formula - a fact to retrieve in the belief base (may include meta- references)
    
    Returns:
    
    null (QueryResult.UNKNOWN) if the agent doesn't know about this fact,
    an empty QueryResult (QueryResult.KNOWN) if the queried fact is believed by the agent and includes no meta-reference,
    
    a not empty QueryResult, if the queried fact is believed by the agent and includes meta-reference.
  - addFiltersDefinition
```
public void addFiltersDefinition(FiltersDefinition filtersDefinition)
```
    Description copied from class: FilterKBaseImpl
    
    METHODS TO ADD NEW FILTERS *
    
    Specified by:
    
    addFiltersDefinition in interface FilterKBase
    
    Overrides:
    
    addFiltersDefinition in class FilterKBaseImpl
    
    Parameters:
    
    filtersDefinition - the list of filters
  - addKBAssertFilter
```
public void addKBAssertFilter(KBAssertFilter filter)
```
    Description copied from interface: FilterKBase
    
    Adds an assert filter to the belief base
    
    Specified by:
    
    addKBAssertFilter in interface FilterKBase
    
    Overrides:
    
    addKBAssertFilter in class FilterKBaseImpl
    
    Parameters:
    
    filter - an assert filter
  - addKBAssertFilter
```
public void addKBAssertFilter(KBAssertFilter filter,
                              int index)
```
    Description copied from interface: FilterKBase
    
    Adds an assert filter to the belief base at the specified index. It is possible the FRONT or END constants to put the filter at the beginning of the lits or at the end of the list.
    
    Specified by:
    
    addKBAssertFilter in interface FilterKBase
    
    Overrides:
    
    addKBAssertFilter in class FilterKBaseImpl
    
    Parameters:
    
    filter - an assert filter
    
    index - the index in the list of filters to add a new filter
  - addKBQueryFilter
```
public void addKBQueryFilter(KBQueryFilter filter)
```
    Description copied from interface: FilterKBase
    
    Adds a query filter to the belief base
    
    Specified by:
    
    addKBQueryFilter in interface FilterKBase
    
    Overrides:
    
    addKBQueryFilter in class FilterKBaseImpl
    
    Parameters:
    
    filter - a queryFilter
  - addKBQueryFilter
```
public void addKBQueryFilter(KBQueryFilter filter,
                             int index)
```
    Description copied from interface: FilterKBase
    
    Adds a query filter to the belief base at the specified index. It is possible the FRONT or END constants to put the filter at the beginning of the lits or at the end of the list.
    
    Specified by:
    
    addKBQueryFilter in interface FilterKBase
    
    Overrides:
    
    addKBQueryFilter in class FilterKBaseImpl
    
    Parameters:
    
    filter - a queryFilter
    
    index - the index in the list of filters to add a new filter
  - removeKBAssertFilter
```
public void removeKBAssertFilter(Finder filterIdentifier)
```
    Description copied from class: FilterKBaseImpl
    
    METHODS TO REMOVE FILTERS *
    
    Specified by:
    
    removeKBAssertFilter in interface FilterKBase
    
    Overrides:
    
    removeKBAssertFilter in class FilterKBaseImpl
    
    Parameters:
    
    filterIdentifier - a finder
  - removeKBQueryFilter
```
public void removeKBQueryFilter(Finder filterIdentifier)
```
    Description copied from interface: FilterKBase
    
    Removes the query filters that are identified by the specified finder.
    
    Specified by:
    
    removeKBQueryFilter in interface FilterKBase
    
    Overrides:
    
    removeKBQueryFilter in class FilterKBaseImpl
    
    Parameters:
    
    filterIdentifier - a finder
  - addObserver
```
public void addObserver(Observer obs)
```
    Description copied from class: FilterKBaseImpl
    
    Do not forget to initialise observers once added to the KBase by using observer.update(null); Only observers added in the setupKBase method are automatically initialised.
    
    Specified by:
    
    addObserver in interface KBase
    
    Overrides:
    
    addObserver in class FilterKBaseImpl
    
    Parameters:
    
    obs - the observer to add
  - getObserverTriggerPatterns
```
public void getObserverTriggerPatterns(Formula formula,
                                       Set result)
```
    Description copied from interface: FilterKBase
    
    Calls the getObserverTriggerPatterns method of each query filters. At least, the pattern corresponding to the observed formula is returned.
    
    Specified by:
    
    getObserverTriggerPatterns in interface FilterKBase
    
    Overrides:
    
    getObserverTriggerPatterns in class FilterKBaseImpl
    
    Parameters:
    
    formula - an observed formula
  - toStrings
```
public ArrayList toStrings()
```
    Description copied from class: FilterKBaseImpl
    
    DISPLAY METHODS *
    
    Specified by:
    
    toStrings in interface KBase
    
    Overrides:
    
    toStrings in class FilterKBaseImpl
    
    Returns:
    
    the list of believed facts in this belief base.
  - viewFilterQuery
```
public void viewFilterQuery()
```
    Description copied from class: FilterKBaseImpl
    
    For debugging purpose only
    
    Overrides:
    
    viewFilterQuery in class FilterKBaseImpl
  - getDecorated
```
public KBase getDecorated()
```
    Description copied from class: KBaseDecorator
    
    Return the decorated kbase
    
    Overrides:
    
    getDecorated in class KBaseDecorator
    
    Returns:
    
    the decorated kbase
  - addClosedPredicate
```
public void addClosedPredicate(Formula pattern)
```
    Description copied from interface: KBase
    
    Define a new pattern of closed formula.
    If there is no instance of this pattern, which is already believed by the agent owning the belief base, this is equivalent to assert (= (all ??VARS ??pattern) (set)), where ??VAR is a sequence of all meta-references occurring in the pattern.
    
    Specified by:
    
    addClosedPredicate in interface KBase
    
    Overrides:
    
    addClosedPredicate in class KBaseDecorator
    
    Parameters:
    
    pattern - the pattern of formula to declare as closed.
    
    See Also:
    
    KBase.isClosed(Formula, QueryResult)
  - getAgentName
```
public Term getAgentName()
```
    Description copied from interface: KBase
    
    Get the name of the agent (given as a FIPA-SL term representing his AID) owning this KBase instance. Note that a KBase instance stores the beliefs of only one agent, even if these beliefs may concern beliefs on other agents.
    
    Specified by:
    
    getAgentName in interface KBase
    
    Overrides:
    
    getAgentName in class KBaseDecorator
    
    Returns:
    
    the name of the agent believing the facts stored in this KBase object.
  - getWrappingKBase
```
public KBase getWrappingKBase()
```
    Description copied from interface: KBase
    
    The KBase mechanism follows the decoration design pattern. A KBase instance can be enclosed within another KBase instance, wich can in turn be enclosed in another KBase instance and so on.
    
    Specified by:
    
    getWrappingKBase in interface KBase
    
    Overrides:
    
    getWrappingKBase in class KBaseDecorator
    
    Returns:
    
    the most enclosing KBase instance, on which to proceed assertion and query operations. This also corresonds to the KBase instance attached to the semantic capabilities of an agent. It can be this KBase object.
  - isClosed
```
public boolean isClosed(Formula pattern,
                        QueryResult values)
```
    Description copied from interface: KBase
    Return true if a given pattern of formula is closed on a given domain of values, and false otherwise.
    A pattern of formula is considered as closed on a set of values if and only if:
    - its instantiation with each value is believed by the agent owning the belief base,
    - the agent believes that its instantiation with any other value is necessarily false.
    Closed formulas are particularly useful to deal with the iota and the all IRE quantifiers. For example, the belief (B ??myself (= (all ?x (age ?x 25)) (set john mary))) is actually stored in the belief base as the formula (age ??x 25) closed on the domain (john, mary). This makes it possible to retrieve implicit entailments such as (B ??myself (not (age peter 25))) (without the closed formula mechanism, one could only entail (not (B ??myself (age peter 25)))).
    Consequent to the formal definition of the underlying logical model for agents' beliefs, all patterns of mental attitudes of the agent owning the belief base (that is all patterns logically equivalent to a formula of the form (B ??myself ??PHI)) are necessarily closed. In other words, agents know exactly what are all their mental attitudes, they cannot not be aware of them.
    
    Closed formulas can be defined and undefined using the KBase.addClosedPredicate(Formula) and KBase.removeClosedPredicate(Finder) methods.
    Specified by:
    
    isClosed in interface KBase
    
    Overrides:
    
    isClosed in class KBaseDecorator
    
    Parameters:
    
    pattern - the pattern of closed formula to check.
    
    values - the domain of values to used to check the closure. null value does not check the values, only the registration of the pattern as a closed formula.
    
    Returns:
    
    true if the pattern is closed on the given domain, false otherwise.
  - queryRef
```
public ListOfTerm queryRef(IdentifyingExpression expression)
```
    Description copied from interface: KBase
    
    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.
    Formally, given an IRE ??IRE quantified by either iota or any, the method returns a list of one single term ??o such that: (B ??myself (= ??IRE ??o)) is true.
    Given an IRE ??IRE quantified by either all or some, the method returns a set ??set of zero or more terms (given as a ListOfTerm object) such that: (B ??myself (= ??IRE ??set)) is true.
    
    If no term satisfy the previous formulas, then the method returns null (which actually means that either the agent does not know the specified objects or there is no such objects).
    
    Specified by:
    
    queryRef in interface KBase
    
    Overrides:
    
    queryRef in class KBaseDecorator
    
    Parameters:
    
    expression - an Identifying Referential Expression describing one or more objects to find within the agent's beliefs.
    
    Returns:
    
    a list of terms containing all the objects satisfying the input IRE according the the agent's beliefs, or null if there is no such object in the agent's beliefs.
  - queryRef
```
public Term queryRef(IdentifyingExpression expression,
                     ArrayList falsityReasons)
```
    Specified by:
    
    queryRef in interface KBase
    
    Overrides:
    
    queryRef in class KBaseDecorator
  - queryRefSingleTerm
```
public Term queryRefSingleTerm(IdentifyingExpression expression)
```
    Description copied from interface: KBase
    
    Return a term satisfying a given logical description (expressed as an Identifying Referential Expression), which is believed by the agent owning this KBase instance.
    Formally, given an IRE ??IRE quantified by either iota or any, the method returns either a term ??o such that (B ??myself (= ??IRE ??o)) is true or null if (not (exists ?o (B ??myself (= ??IRE ?o)))).
    Given an IRE ??IRE quantified by either all or some, the method returns a set ??set of zero or more terms such that: (B ??myself (= ??IRE ??set)) is true.
    
    Specified by:
    
    queryRefSingleTerm in interface KBase
    
    Overrides:
    
    queryRefSingleTerm in class KBaseDecorator
    
    Parameters:
    
    expression - an Identifying Referential Expression describing one or more objects to find within the agent's beliefs.
    
    Returns:
    
    a term satisfying the input IRE according the the agent's beliefs, or null if there is no such object according to the agent's beliefs.
    
    See Also:
    
    KBase.queryRef(IdentifyingExpression)
  - eval
```
public Term eval(Term expression)
```
    Specified by:
    
    eval in interface KBase
    
    Overrides:
    
    eval in class KBaseDecorator
    
    Parameters:
    
    expression - a term to evaluate
    
    Returns:
    
    a term, which is logically equal to the given expression
  - removeClosedPredicate
```
public void removeClosedPredicate(Finder finder)
```
    Description copied from interface: KBase
    
    Remove the definition of a pattern of closed formula. This pattern is identified by a Finder object.
    
    Specified by:
    
    removeClosedPredicate in interface KBase
    
    Overrides:
    
    removeClosedPredicate in class KBaseDecorator
    
    Parameters:
    
    finder - a finder identifying the pattern of closed formula to remove.
    
    See Also:
    
    KBase.isClosed(Formula, QueryResult)
  - removeFormula
```
public void removeFormula(Finder finder)
```
    Description copied from interface: KBase
    
    Removes from the belief base all formulas recognized by a given finder.
    
    Specified by:
    
    removeFormula in interface KBase
    
    Overrides:
    
    removeFormula in class KBaseDecorator
    
    Parameters:
    
    finder - a finder to identify formulas to remove from the belief base.
  - removeObserver
```
public void removeObserver(Finder finder)
```
    Description copied from interface: KBase
    
    Remove from this KBase instance all the observers that are identified by a given finder.
    
    Specified by:
    
    removeObserver in interface KBase
    
    Overrides:
    
    removeObserver in class KBaseDecorator
    
    Parameters:
    
    finder - a finder that identifies the observers to remove.
  - removeObserver
```
public void removeObserver(Observer obs)
```
    Description copied from interface: KBase
    
    Remove from this KBase instance a given observer.
    
    Specified by:
    
    removeObserver in interface KBase
    
    Overrides:
    
    removeObserver in class KBaseDecorator
    
    Parameters:
    
    obs - the observer to remove.
  - retractFormula
```
public void retractFormula(Formula formula)
```
    Description copied from interface: KBase
    
    Retract a fact from the belief base. Actually, this method should be a shortcut for the assertion of (not (B ??myself formula)). In other words, retracting p actually means that (not (B ??myself p)) is true.
    The retracted formula may include meta-references, in this case, all stored facts that match the input formula are retracted. For example, if (age john 25), (age mary 25) and (age peter 20) are believed by the agent, retracting (age ??person 25) will result in dropping the first two facts from the belief base.
    
    Specified by:
    
    retractFormula in interface KBase
    
    Overrides:
    
    retractFormula in class KBaseDecorator
    
    Parameters:
    
    formula - the formula to retract.
  - setAgentName
```
public void setAgentName(Term agent)
```
    Description copied from interface: KBase
    
    Modify the agent (given as a FIPA-SL term representing his AID) the beliefs stored in this KBase instance belong to.
    
    Specified by:
    
    setAgentName in interface KBase
    
    Overrides:
    
    setAgentName in class KBaseDecorator
    
    Parameters:
    
    agent - the agent the beliefs of this KBase object belong to.
  - setWrappingKBase
```
public void setWrappingKBase(KBase kbase)
```
    Description copied from interface: KBase
    
    Set the most enclosing KBase. This method is for internal use only, and should never be called by the JSA programmer.
    
    Specified by:
    
    setWrappingKBase in interface KBase
    
    Overrides:
    
    setWrappingKBase in class KBaseDecorator
  - updateObservers
```
public void updateObservers(Formula formula)
```
    Description copied from interface: KBase
    
    Update the status of all observers concerned by a given formula. Updating an observer means requesting it to check whether its monitored formula has become believed by the agent owning the belief base (and trigger the associated action if needed). An observer is concerned by a formula if asserting this formula may change the truth value of its monitored formula.
    A null formula forces all observers to be updated.
    
    This operation is needed to trigger the observers even when an assertion does not lead to an actual assertion in the belief base.
    
    Specified by:
    
    updateObservers in interface KBase
    
    Overrides:
    
    updateObservers in class KBaseDecorator
    
    Parameters:
    
    formula - a formula that has just been asserted.
    
    See Also:
    
    Observer

Class CasaKB

Field Summary

Fields inherited from class jade.semantics.kbase.filters.FilterKBaseImpl

Fields inherited from class jade.semantics.kbase.KBaseDecorator

Fields inherited from interface jade.semantics.kbase.filters.FilterKBase

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

OtherAgents

name

agent

Constructor Detail

CasaKB

Method Detail

getOtherAgentKBs

getDecorated

compareTo

agentAssert

agentQuery

agentQueryRef

toString

toString

toStringFacts

toStringFacts

toStringQueryFilters

toStringQueryFilters

toStringAssertFilters

toStringAssertFilters

toStringHelper

toStringHelperFields

assertFormula

query

query

addFiltersDefinition

addKBAssertFilter

addKBAssertFilter

addKBQueryFilter

addKBQueryFilter

removeKBAssertFilter

removeKBQueryFilter

addObserver

getObserverTriggerPatterns

toStrings

viewFilterQuery

getDecorated

addClosedPredicate

getAgentName

getWrappingKBase

isClosed

queryRef

queryRef

queryRefSingleTerm

eval

removeClosedPredicate

removeFormula

removeObserver

removeObserver

retractFormula

setAgentName

setWrappingKBase

updateObservers