A
- the (maximally generic) automaton model for which the caches stores information. For example, for a Mealy
cache this would be MealyMachine<?,I,?,O>
. This type determines what the cache
contents can be checked against by a cache consistency test
I
- input symbol typeO
- output symbol typepublic interface LearningCache<A,I,O>
The idea of a cache is to save (potentially expensive) queries to the real system under learning by storing the results of previous queries. This is particularly useful as many learning algorithms pose redundant queries, i.e., pose the same query twice or more times in different contexts.
A learning cache provides a cache consistency test
, which is an equivalence
query realization that only checks a given hypothesis against the contents of the cache.
Modifier and Type | Interface and Description |
---|---|
static interface |
LearningCache.DFALearningCache<I>
Specialization of the
LearningCache interface for DFA learning. |
static interface |
LearningCache.MealyLearningCache<I,O>
Specialization of the
LearningCache interface for Mealy machine learning. |
Modifier and Type | Method and Description |
---|---|
EquivalenceOracle<A,I,O> |
createCacheConsistencyTest()
Creates a cache consistency test.
|
EquivalenceOracle<A,I,O> createCacheConsistencyTest()
The created cache consistency test is backed by the cache contents. This method does not need to be invoked repeatedly when the cache contents change.
Copyright © 2018. All rights reserved.